undefined | Better HN

0 pointsbilqis3y ago0 comments

You should try typed Racket!

0 comments

fithisux3y ago

Will do. I have also found that 3 days ago

https://github.com/zdimension/hm-infer-scheme

fantastic for research

freilanzer3y ago

CL is decent in this regard: http://alhassy.com/TypedLisp

bilqisOP3y 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.

freilanzer3y ago

That's an advantage for me, tbh.

freilanzer3y ago

I meant regarding types, I think the equivalent to the other link would be Coalton: https://github.com/coalton-lang/coalton

j / k navigate · click thread line to collapse

0 comments

fithisux3y ago

Will do. I have also found that 3 days ago

https://github.com/zdimension/hm-infer-scheme

fantastic for research

freilanzer3y ago

CL is decent in this regard: http://alhassy.com/TypedLisp

bilqisOP3y 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.

freilanzer3y ago

That's an advantage for me, tbh.

freilanzer3y ago

I meant regarding types, I think the equivalent to the other link would be Coalton: https://github.com/coalton-lang/coalton

j / k navigate · click thread line to collapse