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.
• For example, the execution of a program written in the Refal language is described as a sequence of " steps " of a so-called abstract Refal machine; the state of the machine is a " view " ( an arbitrary Refal expression without variables ).
• For example, the execution of a program written in the Refal language is described as a sequence of " steps " of a so-called abstract Refal machine; the state of the machine is a " view " ( an arbitrary Refal expression without variables ).
• For example, the execution of a program written in the Refal language is described as a sequence of " steps " of a so-called abstract Refal machine; the state of the machine is a " view " ( an arbitrary Refal expression without variables ).