Functional compiler
Encyclopedia
A functional compiler is a compiler
for a functional programming language. Functional compilers perform such transformation on source code which transform it to continuation-passing style
or administrative normal form
and need to handle tail call
s correctly.
Compiler
A compiler is a computer program that transforms source code written in a programming language into another computer language...
for a functional programming language. Functional compilers perform such transformation on source code which transform it to continuation-passing style
Continuation-passing style
In functional programming, continuation-passing style is a style of programming in which control is passed explicitly in the form of a continuation. Gerald Jay Sussman and Guy L. Steele, Jr...
or administrative normal form
Administrative normal form
In computer science, administrative normal form is a canonical form of programs, which was introduced by Flanagan et al. 1993 to serve as an intermediate representation in functional compilers to make subsequent transformations to machine code more direct.In ANF, all arguments to a function must...
and need to handle tail call
Tail call
In computer science, a tail call is a subroutine call that happens inside another procedure and that produces a return value, which is then immediately returned by the calling procedure. The call site is then said to be in tail position, i.e. at the end of the calling procedure. If a subroutine...
s correctly.
Further reading
- Simon Peyton JonesSimon Peyton JonesSimon Peyton Jones is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional languages...
(1987). The Implementation of Functional Programming Languages - R. Douence and P. Fradet. "A systematic study of functional language implementations". ACM Transactions on Programming Languages and Systems, 20(2):344–387, March 1998.
- Several proceedings on Implementation of functional languages in the Lecture Notes in Computer ScienceLecture Notes in Computer ScienceLecture Notes in Computer Science is a series of computer science books that has been published by Springer Science+Business Media since 1973....
series.