Missing handler

[hsaturn]

Missing handler

[JeanJPNM]

The compiler does know that javascript has classes, but it doesn't know what to do with them, so it throws an error.

The main problem with allowing "implicit" formatting is that the compiler can't trust the types of variables, except those that are constant, because you can cast a value to any and then cast it into some other type.

Besides that, I still need to figure out what to do about allowing mutable objects and allowing objects to be assigned to mutable variables (#212 is a possible solution, but it comes with its own drawbacks).

[hsaturn]

Ha, yes, the message is so clear. There is no handler for classes, I should have guess myself ! grr

Doesn't the compiler can trust variables or argument ' types when the type is declared

function foo(a : Point, b : Square)

You can close this issue after (if) you answer.

Thanks

[JeanJPNM]

Doesn't the compiler can trust variables or argument ' types when the type is declared

function foo(a : Point, b : Square)

The main reason for the compiler not trusting type annotations is typescript unsoundness, that allows you to perform type casts on variables that originally have incompatible types.

Another reason is that typescript uses structural typing, meaning that a value being compatible with a class does not necessarily imply that such value is an instance of that class.