Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
maybe - MaRDI portal

maybe (Q77838)

From MaRDI portal





The Maybe Monad
Language Label Description Also known as
English
maybe
The Maybe Monad

    Statements

    0 references
    1.0.0
    28 May 2022
    0 references
    0.1.0
    27 January 2022
    0 references
    0.2.0
    11 February 2022
    0 references
    0.2.1
    11 March 2022
    0 references
    1.1.0
    7 August 2023
    0 references
    0 references
    7 August 2023
    0 references
    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.
    0 references
    0 references
    0 references

    Identifiers

    0 references