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

From MaRDI portal
Software:77838



CRANmaybeMaRDI QIDQ77838

The Maybe Monad

Andrew McNeil

Last update: 7 August 2023

Copyright license: Lua error in Module:HelperMethods at line 124: attempt to call global 'makeWikiLink' (a nil value).

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

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.




Related Items (3)


This page was built for software: maybe