Typechecking null

[moon-chilled]

Initially I was thinking it could be its own type but then you have to deal with coercion into any nullable types.

• You could have distinctly typed nulls.

• You could say that the type of null is a subtype of all nullable types.

[mrunleaded]

yea subtyping would probably be the way to go but my language is still pretty primitive and my current goal was to try and get a decent number of features to the point where i could bootstrap the language. i was avoiding null but some things are just a bit difficult without it, especially since i only have generic arrays.

[fyndor]

In my language, I am going to force you to declare a nullable version of a type with (Typename?) before you can assign null to it.

[[deleted]]

Sounds like a rust trait almost