3 ms·
There is Shen[0]that has Haskell's type system with Lisp syntax, but I don't think it's much used - I haven't tried it myself. [0] http://shenlanguage.org/ htt
by S4M 12y ago
There is Shen[0]that has Haskell's type system with Lisp syntax, but I don't think it's much used - I haven't tried it myself.
[0] http://shenlanguage.org/ http://shenlanguage.org/
- pseudonom- 12y ago> Haskell's type system Shen's type system is probably better described just as expressive. http://shenlanguage.org/learn-shen/types/types_sequent_calculus.html http://shenlanguage.org/learn-shen/types/types_sequent_calcu... gives a sense of the flavor.
- S4M 12y agoThanks for the link. Out of interest, have you play with Shen yourself? Did you build something with it?
- pseudonom- 12y agoI've only messed around in the REPL. https://www.youtube.com/watch?v=lMcRBdSdO_U https://www.youtube.com/watch?v=lMcRBdSdO_U gives a fairly practical introduction.