Superb article on type systems, open vs closed world soundness, and type systems intentionally not offering soundness:
miniblog.
Related Posts
@RenewedRebecca That's correct, but I was thinking that offering threading to a user might make them more tolerant of a slow interpreter.
For example, if I have an AST walker but provide Clojure semantics, users can hopefully get a big speedup by using all the cores in their application.
Setting expectations as a freelancer offering services to modify OSS projects: https://raccoon.onyxbits.de/blog/software-development-cost/
Apparently Google is still offering Google Glass products to enterprises and even developing new apps for it!
https://cloud.google.com/blog/products/google-meet/introducing-google-meet-for-glass-enterprise-edition-2