News for hackers. Stuff that matters.

A comment on Clojure's core.typed vs Haskell. Parent comment

Re:Clojure's core.typed vs Haskell by tel on Monday September 30, 2013 @04:48PM (#6472276)
Typeable is interesting in theory and generic traversals are a godsend, but usually I find that when I'm reaching for that particular hammer I should check twice.
[ Parent | on HN ]
Re:Clojure's core.typed vs Haskell by brandonbloom on Monday September 30, 2013 @05:28PM (#6472495)
I'll agree it's best to avoid fully open unions when you can, but some (super useful) things truly don't work that way. Check out http://okmij.org/ftp/Computation/monads.html#ExtensibleDS for a cool example.
[ Parent | on HN ]
Re:Clojure's core.typed vs Haskell by tel on Monday September 30, 2013 @05:31PM (#6472512)
I always think of Control.Exception as the poster child for open unions.
[ Parent | on HN ]
Re:Clojure's core.typed vs Haskell by brandonbloom on Monday September 30, 2013 @08:08PM (#6473172)
Perfect, since exceptions are a subset of effects! Check out http://math.andrej.com/eff/ and its literature.
[ Parent | on HN ]