refal การใช้

Unlike other functional programming languages, Refal is based on pattern matching.
He developed the Refal programming language, the theory of metasystem transitions and the notion of supercompilation.
Using the REFAL language he has implemented a Supercompiler, a unified method for program transformation and optimization based on a metasystem transition.
Moreover, inherent in the definition of a normal algorithm used in a number of ideas aimed at handling symbolic information programming languages-for example, in Refal.
If the result of a function application includes a subexpression in angle brackets ( as it will after the third sentence of our example is applied ), the result is further processed by Refal by invoking the function identified by the first symbol in the brackets.