A video that explains GADTs
Dear Haskell enthusiast,
I made a video that explains what GADTs are and how to use them in Haskell. Apparently, I have adopted the style of Khan Academy.
Now, this is not just a video, but also an experiment in pedagogy and I would very much like to hear your comments about content, quality, etc!
What’s more, I have also written an equivalent explanation in text form. Which one is better to learn from, which one do you prefer and why?
In other words, choose one - or both - of the following links
- An explanation of GADTs - video on vimeo (alternative download on archive.org)
- An explanation of GADTs - text
and tell me what you think.
Comments
Some HTML formatting is allowed.