[tome]

That's interesting, because Haskell is the only language in which I can easily read code written by others (and in "others" I include "myself three years ago").

[jokethrowaway]

Same! Well, Rust fits the bill too.

Generally, any language with a type system advanced enough.