News for hackers. Stuff that matters.
Re:An Introduction to Type Level Programming in Haskell by 12thwonder on Friday September 10, 2021 @01:26AM (#28478097)
Throwing away is easy but remember, you have to do the runtime check instead of compile time check, and that is not so easy in a lot of cases

There are no comments on this comment yet.