I keep thinking about the parallels between type checkers and abstract interpretation.
E.g. abstract interpretation saying "this is one of two values, but I don't know which" feels very much like type checking a boolean.
Have any tools taken advantage of this?
miniblog.
Related Posts
The user experience of language design
https://web-beta.archive.org/web/20150224230319/http://www.jut.io:80/blog/2015/the-user-experience-of-language-design (on the parallels between UI design and PL design)
I've realised that 'a periodic table of $LANG operators' can be very helpful. It clusters by theme and shows parallels between items.