3 ms·
haha, glad to know that I'm not the only one
by ltungv 2y ago
haha, glad to know that I'm not the only one
- munificent 2y agoI get tripped up by variance too and thinking about that stuff is literally my job. If it helps, I wrote a blog post recently about Go's type system and it happens to touch in variance in a way that might help it click: https://journal.stuffwithstuff.com/2023/10/19/does-go-have-subtyping/ https://journal.stuffwithstuff.com/2023/10/19/does-go-have-s...
- spinningslate 2y agoThe very first sentence of that article got me excited: >I’ve been noodling on a static type system for my current hobby language. As an inveterate language tinkerer for decades, Crafting Interpreters is like the intersection of Class A narcotic addiction, Feynman level understanding and religious enlightenment. It's in my top 3 favourite books of all time. If you were to /happen/ to write an extension/follow up book that addressed static typing, then I can personally guarantee at least one sale. Independent of that, thanks for the work as it stands. My copy is healthily dog-eared and still gets lugged around on holidays for refresh reading.
- ltungv 2y agoThanks for sharing. I've enjoyed every single piece of your writing so far. This will be in the arsenal of materials I'll use when I again get confused about variance.
- bigstrat2003 2y agoDefinitely not the only one. I am not a stupid person*, but every single time I read the section on variance in the Nomicon I feel like an utter moron. *source: trust me bro