type foo = ?int
Should the ? be suffix to match the syntax for optional parameters?
is this worth the separation between option and all the other ADT's? the way it is now, option is a great introduction to how the type system works since a new user has to internalise it to use it, if that makes sense.
Most helpful comment
is this worth the separation between option and all the other ADT's? the way it is now, option is a great introduction to how the type system works since a new user has to internalise it to use it, if that makes sense.