4 ms·
Has anyone merged Haskell and Scheme, such that I can write strongly typed Haskell code with the (lack of) Scheme syntax, and its macros? (I hope that Template
by chrisdew 12y ago
Has anyone merged Haskell and Scheme, such that I can write strongly typed Haskell code with the (lack of) Scheme syntax, and its macros?
(I hope that Template Haskell would make this possible.)
- S4M 12y agoThere 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.
- beering 12y agoThere is Typed Racket, which is not Haskell but still pretty cool.
- Moyamo 12y agoI've heard of something called Liskell and Lisk (two different projects). I haven't tried either of them, so I don't know if they are usable.