1
Idle thought: you can view a type system as just an abstract interpretation of code. `x = 1` can be abstracted as assuming that x is a number, then checking that numbers are appropriate wherever x is used.
miniblog.
Related Posts
One weakness of online discussion is protracted debates or arguments. What if commenting systems only allowed one comment per user?
(Assuming a robust mechanism to prevent duplicate accounts.)
Impressive! Elm can detect if you're assuming truthiness semantics,& the type checker will make helpful suggestions:
The web is not print, and the design consequences of assuming fixed layouts: