maybe?

Stream: general

[Thorsten Altenkirch]

Is there a definition of maybe (ie 1+X) in the library. It is a bit difficult to search for on google. :-(

[Anne Baanen]

docs#option

[Kevin Buzzard]

The correct way to search is to post your query in #Is there code for X? :-)

[Patrick Massot]

Where does this option name comes from? The Haskell name is maybe, right? Is option used somewhere else?

[Patrick Massot]

optional would clearer than option, and maybe is shorter than optional.

[Ryan Lahfa]

Patrick Massot said:

Where does this option name comes from? The Haskell name is maybe, right? Is option used somewhere else?

Option is the canonical name in OCaml and Rust I believe

[Ryan Lahfa]

(and maybe C++ too)

[Ryan Lahfa]

(optional for C++ rather hm)

[Gabriel Ebner]

Most likely Coq: https://coq.inria.fr/library/Coq.Init.Datatypes.html#option