News for hackers. Stuff that matters.

A comment on Class Hierarchies? Don't Do That. Parent comment

Re:Class Hierarchies? Don't Do That by tel on Sunday March 30, 2014 @06:24PM (#7498236)
Note that GADTs are a bit overkill for this. All you really need is ExistentialQuantification. GADTs are ExistentialQuantification + TypeEqualities.
[ Parent | on HN ]

There are no comments on this comment yet.