null is a number like every number like every letter like every color wtf
@Efi zero is a number
null is not
@lizardsquid null is a number, zero is a different number, NaN is another different number, the number type is a number, the function type is a a number
@Efi I don't understand what you're saying, then...
@lizardsquid you can't not have null is all I'm saying, it's an existential construct, like the unit or the input
@Efi Languages exist that don't have null, though - rust, ocaml, haskell
@lizardsquid neither null, NaN or function s are number types ever, wth??? where in null a number type??? null is null, it's type is also null, every property of null is null, there is no number null, but null is a thing, therefore a numbered thing