3 ms·
Making it to the end of an almost 2000 page Haskell book in only 3 months is quite the feat. While quite confusing to many, myself included, I would've loved
by hopia 7y ago
Making it to the end of an almost 2000 page Haskell book in only 3 months is quite the feat.
While quite confusing to many, myself included, I would've loved to hear more about the types vs terms distinction, and overall about what's possible with type level programming. That's something fairly unique among programming languages after all.
I'd certainly be interested in reading more of the author's thoughts if he continues down the path of using Haskell to solve problems.
- bojo 7y agoI 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.
- yingw787 7y agoThank you! I’m on sabbatical so I was reading full time. I believe John (the guy who wrote the set of notes I credited) started writing them two years ago, and did two passes over the book. I also skipped a bunch of exercises nearer the end (parser combinators I need to review). Don’t feel bad if you take your time! Python is still my strongest language, and I’m planning on shipping product for a bit after this, so I will be using that for the next few months. I’ll do my best to circle back to Haskell, I love the community and see its potential in what I want to do. Subscribe to my email list if you want to stay updated!