Gourt > Computers > Programming > Languages > Refal
REFAL (for REcursive Functions Algorithmic Language) is a functional programming language targeted at symbol manipulation: string processing, translation, artificial intelligence. Refal-5 is a dialect of Refal developed at the City College of New York and supported by Refal Systems Inc.
REFAL is one of the oldest members of the Functional languages; it was first implemented by Valentin Turchin in 1968 in Russia. REFAL combines mathematical simplicity with the practicality needed for writing large programs.
Unlike typical functional languages (such as Lisp) and like some symbolic computation languages (such as Mathematica), REFAL is based on pattern-matched term-rewriting. Its designers claim that the typical REFAL program is on the average two to three times shorter than the analogous program in Lisp and yet more readable. It is also claimed that REFAL is conceptually simpler when compared to Prolog since its pattern matching/replacing works forwards (i.e., starting from the givens) instead of backwards (i.e., starting from the goal), as is the case in Prolog. Some claim that this is a more natural approach to writing algorithms and that it also makes them easier to test and debug.
More on [ REFAL programming language ]
Transformation Tools :: Compilers
Functional :: Compiled
Functional :: Languages
Open Source :: Languages
HNews: Refal programming language http://bit.ly/8Hkq23
tek_news (Tech news (BOT)) Fri, 18 Dec 2009 15:02:49 -0000
HNews: Refal programming language http://bit.ly/8Hkq23
Refal programming language http://ff.im/d60gr
antest (antest) Fri, 18 Dec 2009 14:30:31 -0000
Refal programming language http://ff.im/d60gr
Refal programming language http://bit.ly/8d0kc2
newsycombinator (news.yc Popular) Fri, 18 Dec 2009 14:00:55 -0000
Refal programming language http://bit.ly/8d0kc2
Refal programming language http://bit.ly/6v6px9
hackernws (hackernews) Fri, 18 Dec 2009 13:55:31 -0000
Refa
Refal/Supercompilation Community - Recursive functions algorithmic language, for symbol manipulation: string processing, translation, artificial intelligence. News, biography, history, documents, training, applications, fora, links. English, Russian. [Open Source, BSD-like]
About Valentin Turchin - On Refal's creator: photo, contact information, curriculum vitae, research interests, some publications. [Principia Cybernetica Web]
404
Andrei Klimov's Page - Important Refal-related document: The ScpJ Project: Supercompiler for Java; also curriculum vitae, some interesting papers, photos. [Keldysh Institute of Applied Mathematics]
Leonid Belous - Projects with downloads: Refal-РНР, Refal-SciTE. [Open Source, BSD-like]
Mikhail Burtsev - Curriculum vitae, publications, philosophy, links.
Meta Description: [ Home page of Mikhail Burtsev mbur@narod.ru. Домашняя страничка Михаила Бурцева. ]
Refal-5 - Several downloads. Refal-5: Programming Guide and Reference Manual (by V. Turchin): online, zipfile; Refal-5 compiler executables and documents for varied operating systems. Refal-C translator.
404
Refal-6 - Refal-5 dialect and extension. Brief description, downloads: DOS and Win32 zip file, documents in Russian, C source files for executable (R-code interpreter), Refal-6 source files for Refal-6 compiler.
SuperCompilers, LLC - Business set up in 1998 to commercialize and spread Refal technology, by applying it to more complex and commercially viable Java language. Related documents, services, products.
| Homeboys - The opposites ft. Wen Regal & Reverse | |
| Next Video | |
