3 ms·
Test them by hand in what sense? If you mean in simple cases on the computer, then why write them on paper? (I do love writing on paper, just not sure why here)
by dmitryminkovsky 8y ago
Test them by hand in what sense? If you mean in simple cases on the computer, then why write them on paper? (I do love writing on paper, just not sure why here)
- ben509 8y agoTest them in the sense of thinking it through by working through the cases, it's more to help internalize the idea. And writing things down is forcing my mind to serialize and deserialize ideas, and I think that helps the process. (I'm not actually doing this often for Java generics, but I've been working on some other type theory stuff and I found it helped me get beyond "I understand this" to "I now feel relatively fluent expressing these ideas.")
- dmitryminkovsky 8y agoOh yeah, for sure. Thanks for clarifying.