Having type annotations that are ignored at runtime would cause problems when you interact with code without type annotations, no? I seem to be doing this a lo

Having type annotations that are ignored at runtime would cause problems when you interact with code without type annotations, no? I seem to be doing this a lot in this thread, but... This is your obligatory reminder that several statically-typed languages actually run on dynamic-language runtimes, because programmers don't like to think about the cost of polymorphism/generics, but implementers have to think about that.