DaoFP
DaoFP copied to clipboard
BartoszMilewski
The Dao of Functional Programming
- Add a `flake.nix` => can use `nix build` to build the PDF locally. - This PDF in turn is deployed to Github Pages via Github Actions. The PDF built...
Hello and thank you for the pdf, but is it possible to compile it to an `.epub` file? That is easier to keep and provides better features compared to pdf.
@BartoszMilewski what's your setup to produce the PDFs for this? It would be a good addition to the README so that issues like https://github.com/BartoszMilewski/Publications/issues/17 could be sorted out by the...
This is a great description of functional programming and the associated Category theory. I was surprised to learn that Haskell has dependent types, though I gather they aren't completely implemented....
I was stuck on this exercise in the chapter Monad: https://github.com/BartoszMilewski/DaoFP/blob/d9edec493a17d18d15a6d031d2ebbb2c16548bff/14-Monads.tex#L995-L997 and I found [this](https://www.reddit.com/r/haskell/comments/50zvyb/why_is_liststate_not_a_free_monad/) discussion which says that it is impossible to find a such functor.
