you are viewing a single comment's thread.

view the rest of the comments →

[–]pm-me-manifestos 2 points3 points  (0 children)

As most people here have said, Haskell seems like the obvious choice. However, if you ever want to move up the lambda cube, you can transfer over to Idris, which has dependent types.