Write Yourself a Scheme in 48 Hours

Re:Write Yourself a Scheme in 48 Hours by chrisdew on Friday March 27, 2015 @07:48AM (#9275700)

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

[ Parent | on HN ]

Re:Write Yourself a Scheme in 48 Hours by beering on Friday March 27, 2015 @08:49AM (#9275897)

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

[ Parent | on HN ]

Re:Write Yourself a Scheme in 48 Hours by S4M on Friday March 27, 2015 @07:55AM (#9275726)

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.

[ Parent | on HN ]

Re:Write Yourself a Scheme in 48 Hours by pseudonom- on Friday March 27, 2015 @08:39AM (#9275868)

> Haskell's type system

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

[ Parent | on HN ]

Re:Write Yourself a Scheme in 48 Hours by S4M on Friday March 27, 2015 @09:01AM (#9275934)

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

[ Parent | on HN ]

Re:Write Yourself a Scheme in 48 Hours by pseudonom- on Friday March 27, 2015 @09:23AM (#9276065)

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

[ Parent | on HN ]

Re:Write Yourself a Scheme in 48 Hours by Moyamo on Friday March 27, 2015 @10:28AM (#9276448)

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.

[ Parent | on HN ]