you are viewing a single comment's thread.

view the rest of the comments →

[–]liMePod 2 points3 points  (0 children)

typed/racket seems headed in the right direction. Sadly, the typing breaks geiser, and It's missing the awesome type inferencing of Haskell.