Notes for 'Thinking with Types: Type-level Programming in Haskell', Chapters 1–5 | Lobsters

28

Notes for 'Thinking with Types: Type-level Programming in Haskell', Chapters 1–5 book haskell plt abhinavsarkar.net
authored by abhin4v 3 years ago | archive
Archive.org Archive.today Ghostarchive
| 2 comments

2

1. 1
  
  dmetwo 3 years ago | link
  
  nice write up. i’m always on the lookout for some way to bridge the gap between beginner/intermediate Haskell (things in Haskell that I understand) and advanced Haskell (things in Haskell that I don’t understand). I’ve been on the fence with this book for a while, but it seems like it might be a worthwhile purchase
  1. 2
    
    abhin4v 3 years ago | link
    
    Thanks. The book is definitely useful to understand more sophisticated type-level stuff in Haskell but IMO that’s just one of many things about advanced Haskell.