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
[ Parent
| on HN ]
There are no comments on this comment yet.