3 ms·
> Haskell's type system Shen's type system is probably better described just as expressive. http://shenlanguage.org/learn-shen/types/types_sequent_calculus.ht
by 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.