By default, make uses 1 process, whereas ninja uses all cores. The former is slow, the latter makes my box unusable. Neither are ideal.
miniblog.
Related Posts
I'm dusting off a Rust project from 2016, and it's striking how much the ecosystem has grown. For example, I used getopts then whereas clap is delightful and does so much now.
zsh is generally wonderful, and it's sufficiently like bash/POSIX sh that it works.
However, it uses 1-indexed arrays, whereas bash uses 0-indexed arrays. This totally caught me out.
The bottom type has a different name in a bunch of languages. I've seen nothing, _|_, !, never and empty.
I don't know which is the most approachable to users though. `List[Empty]` reads very nicely for an empty list, whereas `never` reads nicely for error functions.