Oh of course, and that also explains the use of GADTs since they are one route t... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

jdn on July 29, 2013 | parent | context | favorite | on: CIS 194: Introduction to Haskell (Spring 2013)

Oh of course, and that also explains the use of GADTs since they are one route to dependent types in Haskell. I'm not sure what he's done there is fully legit, but maybe not as loony as at first thought.

tel on July 29, 2013 [–]

It plays fast and loose on notation, but is perfectly kosher in GHC (not Haskell2010 or Haskell98).

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact