Home » forums » LtU Forum

Efficient Interpretation by Transforming Data Types and Patterns to Functions

This paper [pdf] describes an efficient interpreter for lazy functional languages like Haskell and Clean. The interpreter is based on the elimination of algebraic data types and pattern-based function definitions by mapping them to functions using a new efficient variant of the Church encoding. The transformation is simple and yields concise code.

By Isaac Gouy at 2009-01-21 19:07 | LtU Forum | previous forum topic | next forum topic | other blogs | 4317 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Isn't this just Scott

Isn't this Scott encoding?

By Kevin Millikin at Wed, 2009-01-21 20:16 | login or register to post comments