how do you plan to integrate nullables? is there s...

# arrow

[Pagoda 5b]

how do you plan to integrate nullables? is there some open discussion thread to have an idea of how it will look like?

[raulraja]

We can synthetically project the Option wrapper when in polymorphic position wrapping the nullable value to allow Option as a target in ad hoc polymorphism and then extract the value again

[raulraja]

so A? inherits automatically all the API of Option<A>

[raulraja]

Essentially I can tell the typechecker Option<A> is the same type and a subtype of A?

[Pagoda 5b]

therefore the Option<A> type will still need to exist, right?

[raulraja]

so they are implicitly converted

[raulraja]

yed but it won’t be visible or importable

[Pagoda 5b]

hidden by the meta layer?

[raulraja]

it’s synthetic

[raulraja]

yes

[raulraja]

or public if you enable it on a setting

[raulraja]

whatever you want to

[Pagoda 5b]

nice to hear, thanks, good luck with it!

[Pagoda 5b]

👍