Comment by bilqis 3 years ago You should try typed Racket! 5 comments bilqis Reply fithisux 3 years ago Will do. I have also found that 3 days agohttps://github.com/zdimension/hm-infer-schemefantastic for research freilanzer 3 years ago CL is decent in this regard: http://alhassy.com/TypedLisp bilqis 3 years 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. 1 reply → freilanzer 3 years ago I meant regarding types, I think the equivalent to the other link would be Coalton: https://github.com/coalton-lang/coalton
fithisux 3 years ago Will do. I have also found that 3 days agohttps://github.com/zdimension/hm-infer-schemefantastic for research freilanzer 3 years ago CL is decent in this regard: http://alhassy.com/TypedLisp bilqis 3 years 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. 1 reply → freilanzer 3 years ago I meant regarding types, I think the equivalent to the other link would be Coalton: https://github.com/coalton-lang/coalton
freilanzer 3 years ago CL is decent in this regard: http://alhassy.com/TypedLisp bilqis 3 years 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. 1 reply → freilanzer 3 years ago I meant regarding types, I think the equivalent to the other link would be Coalton: https://github.com/coalton-lang/coalton
bilqis 3 years 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. 1 reply →
freilanzer 3 years ago I meant regarding types, I think the equivalent to the other link would be Coalton: https://github.com/coalton-lang/coalton
Will do. I have also found that 3 days ago
https://github.com/zdimension/hm-infer-scheme
fantastic for research
CL is decent in this regard: http://alhassy.com/TypedLisp
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.
1 reply →
I meant regarding types, I think the equivalent to the other link would be Coalton: https://github.com/coalton-lang/coalton