TXL (programming language): Difference between revisions

Revision as of 13:55, 24 March 2008

Revision as of 09:03, 21 April 2009

Line 3:

|logo =

|paradigm = [[Pattern-matching]] and [[Term-rewriting]]

|designer = [[Charles Halpern-Hamu]] and [[JamesJim Cordy]]

|developer = [[Charles Halpern-Hamu]] and [[JamesJim Cordy]]

}}

'''TXL''' is a special-purpose [[programming language]] originally designed by [[Charles Halpern-Hamu]] and [[JamesJim Cordy]] at the [[University of Toronto]] in 1985. The acronym "TXL" originally stood for "Turing eXtender Language" after the language's original purpose, the specification and rapid prototyping of variants and extensions of the [[Turing (programming language)|Turing]] programming language, but no longer has any meaningful interpretation.

Modern TXL is specifically designed for creating, manipulating and rapidly prototyping language-based descriptions, tools and applications using source transformation. It is a hybrid [[Functional programming|functional]] / [[rule-based programming|rule-based]] language using first order functional programming at the higher level and term rewriting at the lower level. The [[formal semantics]] and implementation of TXL are based on formal [[term rewriting]], but the term structures are largely hidden from the user due to the example-like style of pattern specification.