@Tristan Caron The problem is that Typescript uses duck-typing, and is only an overlay over the not at all statically typed javascript. That's why you can tell typescript "I know what I'm doing, this will be the correct type at runtime". That's not possible with a language where every type has to be statically resolved at compile time.