- Worded explanations for all code snippets
- Excel is a wonderful choice for practical examples
- Awesome typography & formatting
- Kind signatures for the definition of Task (`c` and `f`)
- Took me a few minutes to correctly infer the kinds in my head
- Point to the later polymorphism section
- Redo is actually by DJB: https://cr.yp.to/redo.html archive.org dates that site back to 2003, but is probably older: https://web.archive.org/web/*/https://cr.yp.to/redo.html I’d contact DJB and ask him.
- Nix can perfectly well be used as build system
- Input from the file system will hash the input folder
- there’s a builtin to filter out files
- Store paths (outputs) can be single files
- e.g. for building a static blog
- but no builtin support for incremental builds working together with language package managers (like bazel)
- It provides memoization, because it only hashes over inputs
- Input from the file system will hash the input folder