4 ms·

You should try typed Racket!

• fithisux 4y ago
  Will do. I have also found that 3 days ago https://github.com/zdimension/hm-infer-scheme https://github.com/zdimension/hm-infer-scheme fantastic for research
  • freilanzer 4y ago
    CL is decent in this regard: http://alhassy.com/TypedLisp http://alhassy.com/TypedLisp
    • freilanzer 4y ago
      I meant regarding types, I think the equivalent to the other link would be Coalton: https://github.com/coalton-lang/coalton https://github.com/coalton-lang/coalton
    • bilqis 4y ago
      I don’t have much experience with CL, but I was always a bit put off by a mixture of different paradigms it has, ie it’s not being a pure or kinda pure functional language.
      • freilanzer 4y ago
        That's an advantage for me, tbh.