3 ms·
Is null even a type though? If not, then it would seem it's not a static type system that's solving it; it's something else entirely solving it (whether or not
by rxhernandez 6y ago
Is null even a type though? If not, then it would seem it's not a static type system that's solving it; it's something else entirely solving it (whether or not that something is contained in that specific type system).
- boloust 6y agoThe issue with null, as commonly implemented, is that null is a value that inhabits all types. So in that sense it is a defect of the type system.
- deleted 6y ago[deleted]
- guenthert 6y agoIn Common Lisp, T is the "any" type (which makes sense there, as type specifiers can be formed using unions using (or type-A type-B ...) lists), the value NIL is the sole instance of the type NULL.