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

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.)



There is Typed Racket, which is not Haskell but still pretty cool.


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/


> Haskell's type system

Shen's type system is probably better described just as expressive.

http://shenlanguage.org/learn-shen/types/types_sequent_calcu... gives a sense of the flavor.


Thanks for the link. Out of interest, have you play with Shen yourself? Did you build something with it?


I've only messed around in the REPL. https://www.youtube.com/watch?v=lMcRBdSdO_U gives a fairly practical introduction.


I'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.




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

Search: