maybe

MaRDI QIDQ77838CRANFDO

Authors Andrew McNeil

Last update 7 August 2023

Copyright license MIT license, File License

Software version identifier 1.0.0, 0.1.0, 0.2.0, 0.2.1, 1.1.0

Description

The maybe type represents the possibility of some value or nothing. It is often used instead of throwing an error or returning 'NULL'. The advantage of using a maybe type over 'NULL' is that it is both composable and requires the developer to explicitly acknowledge the potential absence of a value, helping to avoid the existence of unexpected behaviour.

Cited in

(3)

• chronicler
• intmap
• cyclotomic

This page was built for software: maybe