News for hackers. Stuff that matters.

A comment on Typo: A programming language that runs in Haskell's type system. Parent comment

Re:Typo: A programming language that runs in Haskell's type ... by th0114nd on Thursday August 08, 2013 @11:13AM (#6179396)
I think wishful thinking twisted the title in my head, into reading of a lisp with a type system like Haskell's.
[ Parent | on HN ]
Re:Typo: A programming language that runs in Haskell's type ... by paradoja on Thursday August 08, 2013 @12:45PM (#6180092)
This may be near your wishes: http://docs.racket-lang.org/ts-guide/
[ Parent | on HN ]