

Nominal typing was a premature optimization. Product types should be structural and row polymorphic. And if they had been, dynamically typed languages nevdr would’ve needed to exist and wouldn’t have waited so long to smuggle types back onto their data structures. That said, i’m kinda glad shell scripting languages exist.


HTML/TeX/etc are real programming languages that just happen to be declarative as opposed to imperative.