3 ms·
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.
by giraffe_lady 2y ago
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.
- Y_Y 2y agoHave 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/ https://lexi-lambda.github.io/hackett/
- giraffe_lady 2y agoTotally new to me, thanks! It looks really fun.
- brabel 2y agoCommon 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/ https://coalton-lang.github.io/