3 ms·
"Dynamic typing" is pretty trivial from type theory standpoint, it's just having one giant sum type whose variants can be everything. Also, type theory is a ma
by antisemiotic 7y ago
"Dynamic typing" is pretty trivial from type theory standpoint, it's just having one giant sum type whose variants can be everything.
Also, type theory is a mathematical/logical theory first, the connection to programming languages was discovered long after it was developed.
- tel 7y agoAgreed, it's trivial to embed. This is the sense to which type theory doesn't really have a ton to "say" about dynamic types. See my other response for a bit more of a fleshed out idea here. Short of it is that I'm reading "dynamic typing" as the engineering discipline involved in building systems that introspect that sum in meaningful ways.