An Interface to LFPL Prototype Compiler Borel
This form allows you to try out Christian Kirkegaard's prototype
implementation of an extension of the programming language described
in Martin Hofmann's paper
A type system for bounded space
and functional in-place update
presented at ESOP'00.
Things to note about Borel
-
It is a successer of the compiler by Nicholas Brown and it
extends it in several aspects.
-
It provides ML-style datatypes.
-
It optimizes for tail recursion.
-
It has a built-in list type and additional
constructs
snoc and concat. The
former one is for making a list by adding an element to
another list's end (works reciprocally to cons)
and the latter one for concatenating two lists.
-
For the concrete syntax see pages 30-34 of Christian
Kirkegaard's
project dissertation
and the
examples.
Type a program
or start with the
examples
(reverse.brl, mirror.brl, breadth.brl)
:
Other compilers available:
by Nick Brown
,
by Robert Atkey
Back to the main project page.
Michal Konečnư
Last modified: Fri Feb 21 14:30:18 GMT 2003