Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
tumult
on June 2, 2010
|
parent
|
context
|
favorite
| on:
Excellent video explaining GADTs in Haskell
You can actually encode his example in just regular Haskell98 using type classes, without having to use GADTs:
http://www.cs.rutgers.edu/~ccshan/tagless/jfp.pdf
Though, it comes with some loss of clarity. And might hurt your brain.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Though, it comes with some loss of clarity. And might hurt your brain.