Experiments with higher-kinded types and object algebras in C# - GitHub - tgrospic/object-algebras: Experiments with higher-kinded types and object algebras in C#
Typeclassopedia - HaskellWiki haskell.org - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from haskell.org Daily Mail and Mail on Sunday newspapers.
Skribilo: The Ultimate Document Programming Framework nongnu.org - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from nongnu.org Daily Mail and Mail on Sunday newspapers.
William Byrd explains the ideas behind logic programming languages (like Prolog) and relational programming. Also: miniKanren and core.logic, program synthesis, and much more.
GADTs for dummies
For a long time, I didn t understand what GADTs were or how they could be used. It was sort of a conspiracy of silence people who understood GADTs thought
that everything was obvious and didn t need further explanation, but I still
couldn t understand them.
Now that I have an idea of how it works, I think that it was really obvious. :) So, I want to share my understanding of GADTs. Maybe the way I realized how GADTs work could help
someone else. See also Generalised algebraic datatype
Contents
data Either a b = Left a | Right b
declares type constructor Either and two data constructors Left