Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Scheme with HM type system sounds fun. I've used ocaml a fair bit and I really find that the sweet spot for effectiveness of types vs arguing with the compiler. Racket and common lisp both have optional type systems but neither ever really clicked with me.


Have you tried Alexis King's Hackett? It was an experiment in coercing Haskell semantics into lisp syntax and it came out really nicely.

https://lexi-lambda.github.io/hackett/


Totally new to me, thanks! It looks really fun.


Common Lisp has Coalton [1]. It's basically a functional Lisp embedded within Common Lisp which has HM types and a bit more modern constructs than CL.

[1] https://coalton-lang.github.io/




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: