4 ms·
I would highly suggest https://thinkingwithtypes.com/ https://thinkingwithtypes.com/ - it's not a 2000 page monster, and specifically addresses what you are int
by bojo 7y ago
I would highly suggest https://thinkingwithtypes.com/ https://thinkingwithtypes.com/ - it's not a 2000 page monster, and specifically addresses what you are interested in.
- hopia 7y agoI've been reading that book occasionally for months but honestly, many parts are somewhat too advanced for me for now. I've sort of backed off from type level programming for now to maintain productivity with building actual things. Still, I'd like to read about it from someone coming from imperative languages.