[Savannah-hackers] submission of The FL Compiler Project - savannah.nongnu.org

[jameson]

A package was submitted to savannah.nongnu.org
This mail was sent to address@hidden, address@hidden


Christoph Reichenbach <address@hidden> described the package as follows:
License: gpl
Other License: 
Package: The FL Compiler Project
System name: flc
Type: non-GNU

Description:
The FL compiler project is an attempt to build a compiler for a fully
statically typed pure functional language built on top of a linear
type system and extended by explicit notions compile-time decidable
meta-programming, allowing of namespace modifications and function
wrappers. Using a linear type system in combination with these
wrappers immediately gives rise to state transformer monads (as such,
the language is somewhat related to existing languages such as Haskell
and Clean). The compiler will (initially) be purely translational
(see dependencies) and focus on getting stuff done rather than getting
it done well, as this is part of a M.Sc. thesis work.
At this time, no source code is available. Any source will be licensed
under the terms of the GNU General Public License, v2 or later.

Other Software Required:
The system is being implemented in the Eli compiler construction toolkit 
(http://www.cs.colorado.edu/~eliuser/), which is available
under the terms of the GNU GPL. It will initially compile to Standard ML; 
\"The\"
standard ML distribution is available under a BSD-ish license 
(http://cm.bell-labs.com/cm/cs/what/smlnj/). Further dependancies might include 
a theorem prover; if the need for this arises, existing free solutions will be 
used.

Other Comments: