3 ms·Right. What you are talking about is essentially a dynamic dependent type system.by js8 9y agoRight. What you are talking about is essentially a dynamic dependent type system.