miniblog.

I'm surprised there aren't more interpreted languages with a first party type checker. Python has several good type checkers, Ruby has Sorbet, and there are others. Having zero compilation time *and* a full IDE seems like such a compelling design, at least on paper.

I really like "zero cost abstractions" as a programming language motto. It's really effective for evaluating design decisions. I've heard it for both C++ and Rust. Are there other PL mottos that are equally helpful?

https://blog.phronemophobic.com/dewey-analysis.html is an absolutely delightful post quantifying Clojure usage. Functions outnumber macros 20:1, the most popular single letter variable is x, and 63% of projects have zero mutable references!