Hacker News Reader

I'm guessing it has something to do with the keyword "either" and Haskell types, but I'm otherwise clueless. Every time I look at Haskell I run the other way.

View on HN

I think it was "value judgement" (dependent types allow dispatching over a value in the type system)

Reply on news.ycombinator.com