3 ms·
This is only true after you've fully grokked the implications of the types. And, IME, that takes a long time. To give you an example, I spent ages trying to fig
by moomin 10y ago
This is only true after you've fully grokked the implications of the types. And, IME, that takes a long time. To give you an example, I spent ages trying to figure out how to create an X. X was a Monad of A. Solution's obvious now...
- greenrd 10y agoYes, it's a mistake to believe that the type class instances of a type are always going to be advanced details that can be skipped until later. They might be, or they might not.
- efnx 10y agoExamples would help in that case, but there would still be much confusion simply from not understanding Monads (enough to write a computation in that one).