3 ms·

There is an advanced type system that is becoming more and more mainstream, it's Typescript. E.g: https://www.typescriptlang.org/docs/handbook/advanced-types.ht

There is an advanced type system that is becoming more and more mainstream, it's Typescript. E.g: https://www.typescriptlang.org/docs/handbook/advanced-types.html https://www.typescriptlang.org/docs/handbook/advanced-types.... (conditional types for example) Also c++20 with concepts will push the boundaries of what is possible. But what I'm really looking for and doesn't exist except maybe through libraries, is runtime Dependant types.

quazar 7y ago
What would runtime dependent types be? As I understand, they are a tool for statically proving properties of some code. What use are they at runtime? For code that came up as a result of the working system? I believe properties of generated programs can also be proven statically. For user-provided code? Why not just run the compiler/interpreter on it?