Programming languages are too slow! I’m not talking about execution speed—I’m talking about evolution speed. Programmers are always building new libraries and embedded DSLs, but the host programming language—particularly its type system—doesn’t understand the domain-specific aspects of these things. Example problem: my type system doesn’t speak PCRE # Consider regular expressions—most programmers would understand that a regular expression like [a-z]+([0-9][0-9]), if it matches...
