Elm's compiler has some incredibly good error messages: https://elm-lang.org/blog/compilers-as-assistants (contextual, relevant and written for mere mortals!)
miniblog.
Related Posts
I've been using "Expected Int, but got String" for my type error messages, but I've been wondering if I could do better.
"Expected Int here, but this value has type String" or "This expression requires Int, but the value is String".
Do you have a favourite?
Some delightful examples of good compiler error messages in the latest Gleam release:
I'm increasingly doubtful that commit messages should be entirely immutable.
I sometimes find myself editing or commenting on merged pull requests, to help future readers.
Phabricator appended a URL to commit messages, which helped. In principle PR merging could do the same thing.