[<<][haskell][>>][..]
Tue May 29 16:29:24 EDT 2018

Typechecker fights

What does this actually accomplish?

Making sure you get the wrapping/unwrapping right such that behaviors
tagged onto specific types can do their thing.


I find there to be a big gap sometimes between the intuitive "oh, I
can string this and that together", and getting all the type
packing/unpacking right.

I guess that's what the type checker is for, to fill in those tedious
details.


[Reply][About]
[<<][haskell][>>][..]