[moljac024]

I would like to add that for what it's worth, I wouldn't mind slower compilation times if it means we get the type system as described. If it really does end up having a significant impact on performance, would you be open to making compile-time type-checking optional instead of scrapping the whole thing?

[josevalim]

If it comes to this, we will certainly need to have a discussion on the topic. So I am definitely open to discussing the idea!