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.
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.
Today in tricky diff scenarios: when do you want the inner delimiter to match, and when do you want the outer delimiter to match?
In these examples, lisp looks better with the outer paren matched, whereas rust looks better with the inner brace.
