[racket] Pure functional Racket

The HtDP teaching languages BSL, BSL+, ISL, and ISL+ are purely functional. There is a typed version of ASL on PLaneT; I am sure it would be trivial to adapt the type system to the purely functional ones. That's the best starting point we can offer. Not even Lazy is purely functional. 

If you'd be interested in contributing a Functional Racket, we'd be happy to help you with advice. I think it is a great idea. 

-- Matthias

p.s. Also look at frtime. It isn't functional but functional reactive. 


On Jul 6, 2011, at 4:35 PM, Cesar Barata wrote:

> Hi all,
> 
> I would like to know if there's any Racket language that enforces pure funcional programming like Haskell does.
> I thought that using the "Languages as libraries" nature of Racket to provide a pure funcional language would be really useful to achieve a clean separation of pure modules and impure ones. Integration with typed and/or lazy racket would also be great.
> 
> Thank you.
> 
> -- 
> Cesar Barata.
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/users