I had the pleasure of dinner once with @graydon_pub who said something I found intriguing: many languages are pushing too much work into the type-system vs other mechanisms... I didn't have good intuition for what he meant at the time.
i’m sure this is a trivial answer but if not in the type system, then what entity would be enforcing these checks? the compiler still, or some other external tooling?
-
-
Still the compiler, but you can prove theorems directly without them being stated in your type system.
-
Type systems can be seen as prototype languages executed at compile time (like macros). These languages are normally limited, which makes "type" code very different from "value" code
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.