← Back to context Comment by ahoka 12 hours ago Or just do as Kotlin and embrace null, but in a type aafe way. 2 comments ahoka Reply gf000 12 hours ago "Funnily", having nullable types be practically `T | Null` gives you union types, not sum types (the latter is, importantly are a disjunct union!)The main difference is that (T | Null) | Null = T | Null, while Maybe<Maybe<T>> is different from Maybe<T> ahoka 10 hours ago Your point being?
gf000 12 hours ago "Funnily", having nullable types be practically `T | Null` gives you union types, not sum types (the latter is, importantly are a disjunct union!)The main difference is that (T | Null) | Null = T | Null, while Maybe<Maybe<T>> is different from Maybe<T> ahoka 10 hours ago Your point being?
"Funnily", having nullable types be practically `T | Null` gives you union types, not sum types (the latter is, importantly are a disjunct union!)
The main difference is that (T | Null) | Null = T | Null, while Maybe<Maybe<T>> is different from Maybe<T>
Your point being?