Superb article on type systems, open vs closed world soundness, and type systems intentionally not offering soundness:
miniblog.
Related Posts
Today I learnt that Racket *intentionally* doesn't have a traditional REPL workflow. The authors were concerned about students not understanding the state between the current session and the code on disk.
(Arguably Jupyter has some of these features now.)
OpenBSD's pledge is intentionally designed to be simple and easy to add to projects. It's still more granular than I expected: there are several different network permissions, and even a separate permission for tape drives!
On intentionally supporting both customer experience and employee experience within a company:
