undefined | Better HN

0 pointscodygman10y ago0 comments

> The fact that Lisps don't normally come with ADTs (incl. clojure) is a real shame.

Was going to say Shen does, but then again I only see pattern matching. Anyway, you might want to check it out:

http://www.shenlanguage.org/

I do agree purescript is awesome though :)

0 comments

Shen is executable sequent calculus. It's data types are sequents, the conditions specified as arbitrary lisp (shen). Wikipedia seems to classify Shen as having algebraic data types, although it's type system isn't derived from ML or Cateogry Theory.

j / k navigate · click thread line to collapse

0 pointscodygman10y ago0 comments

> The fact that Lisps don't normally come with ADTs (incl. clojure) is a real shame.

Was going to say Shen does, but then again I only see pattern matching. Anyway, you might want to check it out:

http://www.shenlanguage.org/

I do agree purescript is awesome though :)

0 comments

emidln10y ago

j / k navigate · click thread line to collapse