My impression is that there are no books that even jointly give a reasonable selection of what you’d need to master the main ideas in (typed) functional programming. Most of this stuff is in papers.
Master as in ‘physics’ (or ‘mathematics’) versus ‘engineering’? I’d be really surprised if the ‘engineering’ of functional programming wasn’t well-covered by existing books. What’s one main idea that you don’t think could be mastered in any book? Or, if any one idea might be covered by some book, what are all the main ideas that you don’t think any one book covers?
My impression is that there are no books that even jointly give a reasonable selection of what you’d need to master the main ideas in (typed) functional programming. Most of this stuff is in papers.
Master as in ‘physics’ (or ‘mathematics’) versus ‘engineering’? I’d be really surprised if the ‘engineering’ of functional programming wasn’t well-covered by existing books. What’s one main idea that you don’t think could be mastered in any book? Or, if any one idea might be covered by some book, what are all the main ideas that you don’t think any one book covers?