I think TypeScript is a cool idea, but I actually want runtime type checking. I don't know how many developers code with "design by contract" where you have con

I think TypeScript is a cool idea, but I actually want runtime type checking. I don't know how many developers code with "design by contract" where you have contracts enforced not just at compile time, but at runtime. It allows for some incredibly smart, pluggable systems. I really don't know why there isn't more done with runtime type checking in various dynamic languages.