> but if you're hoping to hold up type comments until "strong mode" works, well, I just don't think it's gonna work. I personally don’t want runtime type check

> but if you're hoping to hold up type comments until "strong mode" works, well, I just don't think it's gonna work. I personally don’t want runtime type checking anyway[0]. Apart from my concerns[1], most of which are fairly navel gazey, I support the type comments proposal almost exactly as is. My hope is that if others are successful asking for runtime type checking, they’re also asking for the corresponding performance problems to be addressed in tandem. 0: We already have runtime type checking: type guards. They have the advantage of being optional and explicit, which addresses performance concerns better than anything else I can think of. 1: https://news.ycombinator.com/item?id=30621120 https://news.ycombinator.com/item?id=30621120