Programming language Refal, invented by
ValentinTurchin.
Declarative (functional, applicative) language. No destructive assignment. Powerful pattern matching. Sequence as native datatype (has functionality of nested double-linked lists, not s-expressions). Proper tail-recursion.
Used for research on supercompilation (
SuperCompiler).
Home page:
http://www.refal.org/index_e.htm
Typical applications: transformation of tree-structured data (like e.g. XML documents, see
http://www.refal.org/english/xmlref_1.htm)
Refal implementors (run-time system, development tools, libraries, documentation):
- Alexandr Konyshev
- Andrei Klimov
- Andrei Nemytykh
- Aleksandr Korlyukov
- Andrei Slepuhin
- Nikolai Kondratiev
- <please add missing names and links to home pages>
CategoryProgrammingLanguage FunctionalProgrammingLanguage