Is there a benefit for using `Option<>` type...

# arrow

[Fudge]

Is there a benefit for using Option<> types over Nullable? types other than the syntactic difference?

[raulraja]

None 😉, unless you're using polymorphism. Nullable types can't target higher kinds at the moment but nullable types are better and will become the defacto in arrow because the runtime is optimized. The other nice thing is that Option being polymorphic is tested against laws of Functor etc.

[raulraja]

In most use cases they won't make a different as it is a very simple strict data type

[Fudge]

Thank you for the answer!