4 ms·
Great post, this is a tricky subject. I find myself referring to these diagrams from time to time: https://stackoverflow.com/a/33246935/741970 https://stackover
by dmitryminkovsky 8y ago
Great post, this is a tricky subject. I find myself referring to these diagrams from time to time: https://stackoverflow.com/a/33246935/741970 https://stackoverflow.com/a/33246935/741970
- ben509 8y agoThat's a good explanation, but I've found it helps to write out examples on paper and test them by hand.
- dmitryminkovsky 8y agoTest 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.