One thing you realize when you're forced to implement a buggy version of half of a type system in Python is that type systems are overloaded
-
Compile-time code execution for generating types, for instance, along with built in customizable reification/reflection.
Some folks built a "typed quote/unquote" for a system with ML-style types which is pretty dope http://compilers.cs.ucla.edu/popl16/#sec-3-1
-
-
Also yes I think that constructing types at runtime would go pretty far
-
I am struck by the fact that languages like C don't really suffer here since its types map directly to compiler details
-
Also I think Julia may have exactly what you'd describe as runtime-generated types
End of conversation
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.