Molti linguaggi presentano qualcosa come la Maybe di Haskell in questi giorni. Mi stavo interrogando sulla sua origine storica. Wikipedia non ha problemi a spiegare cosa sia una monade, o in particolare la monade Forse, ma la sezione della storia della pagina è molto ruvido. Una data incisa sono gli anni '80 con Opal, ma l'unico riferimento reale è il 1991, nonostante la pagina citi un articolo del 1990 sulle monadi di Philip Wadler.
Sono consapevole che Philip Wadler rende le monadi popolari, quindi è probabilmente il momento dopo il quale è persino possibile dichiarare Maybe come monade. Ma ho l'impressione, che fosse presente in precedenza come un tipo speciale per decodificare l'assenza di un valore - senza ancora etichettarlo come una monade. In una rivista ho letto di recente che risale al linguaggio Miranda, sfortunatamente non c'era nessuna citazione per quella affermazione, né ero in grado di scavarne una.
Quali sono le prime occorrenze di un tipo Maybe (con o senza essere esplicitamente chiamato monade)?