Re:An Introduction to Type Level Programming in Haskell
by quickthrower2 on Friday September 10, 2021 @12:47AM
(#28477912)
If you have types it is easy to refactor the code. So the throwing away bit is actually easier!
[ Parent
| on HN ]
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