[racket] Pure functional Racket

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20110706/4c744a6b/attachment.html>