I was reading through the spec again and I noticed that there is a null type. I think it made some sense initally, but now that there is a system to define structs/etc null seems like a worse idea. Can anything just be null? What if its a required field? Using the sub type approach, and adding an Option<T> type would prevent this and make it clear what fields can be empty.
I was reading through the spec again and I noticed that there is a null type. I think it made some sense initally, but now that there is a system to define structs/etc null seems like a worse idea. Can anything just be null? What if its a required field? Using the sub type approach, and adding an
Option<T>type would prevent this and make it clear what fields can be empty.