Assigning to field with a union type across functions about ezno HOT 4 CLOSED

Where I can try Ezno? Please add some online sandbox where I can try Ezne online

Currently not public, will be by the summer hopefully when I have more time.

Here is interesting example that makes you think about whole soundness of type checking

Yes this is an interesting issue that is really important for type safety. Under the type rules (which follow TypeScript), it is valid to pass obj to anotherFunc. And while this passes under the rules of TypeScript it will throw at runtime as there is no property .length on null.

Haven't tested but it all the data should be present as Ezno does track mutation effects. I think it would throw a property does not exist on the obj.field.length line.

from ezno.

Interestingly this is solved in Flow because they do not accept passing a general type to a union type.

https://flow.org/try/#1N4Igxg9gdgZglgcxALmAXwDTggEwKYogwCuUYALnNAAQCGUE5AFngE4BipYAPACrXJqweHgA2OQQGdyrOFATUAPtSjFRotAD4AFBABGAK0G8AlMAA6UateoB6W9X0GAdCPHUAvCrWiA3JZtqSChJCFE8Z1EIBG1zECY4OJNLNH8oSxIyShpQgFs8TjI+ASE3CWppWXktXUNjMwCbJ1c4MRw0wPpGFg4uWoMTDqbDFrbIvHlmNNSQLAA3NkkqKEI5gAZnACY1zecARhA0IA

I don't like this behaviour and diverges from TS. So effects are the way to go here

from ezno.

This sort of works. Given

const x = { a: 2 }
function updateA(obj: { a: string | number }) {
    obj.a = "hi"
}
updateA(x)
const y: number = x.a

It errors with Type "hi" is not assignable to type number. See specification.md#updating-property

Need to test with arrays and currently doesn't respect if x has an assingment restriction, so not perfect yet

from ezno.

I think this is now solved with

https://github.com/kaleidawave/ezno/blob/0881454c9de4579273d4941f8af29c33f99af34c/checker/specification/specification.md#assignment-to-union

and

https://github.com/kaleidawave/ezno/blob/0881454c9de4579273d4941f8af29c33f99af34c/checker/specification/specification.md#mutating-an-object-by-a-function

Might come back to make more user friendly and double check all the edge cases are identified at some point, but for now it is at least identified 🎉

from ezno.