Just 5 - Just 3

[arialdomartini]

Come sviluppereste questa funzione? (il test è pseudo-codice)

[Theory]
[InlineData(Some(5), Some(3), Some(2)]
[InlineData(Some(5), Nothing, Nothing)]
[InlineData(Nothing, Some(3), Nothing]
[InlineData(Nothing, Nothing, Nothing]
void functorial_substraction(Maybe<int> a, Maybe<int> b, Maybe<int> expected)
{
    Substract(a, b).Should().Be(expected);
}

Option<int> Subtract(Option<int> a, Option<int> b) => 
    ???

Una volta sviluppata, come generalizzereste il codice, per evitare di dover implementare la stessa soluzione anche per la Add e per ogni altra funzione che debba combinare 2 Option<T>?

C'è un modo per incapsulare quel comportamento dentro Option, un po' come facciamo con Map/Select e Bind/SelectMany?

[aironangel]

non per essere pignolo, ma Maybe e Option sono due nomi dello stesso concetto,.. giusto? Intanto che faccio il ragù...

[arialdomartini]

@aironangel esattamente. Perdonami, sono io che faccio confusione passando da un nome all'altro.

Alcuni linguaggi usano Maybe, altri Option, altri Optional.

Accade lo stesso con Map che in LINQ è Select, e con Bind, che in alcuni linguaggi è flatMap e in LINQ è SelectMany.

Provo a fare una tabellina dei sinonimi che mi vengono in mente

Nome	Sinonimi
Maybe	Option, Optional
Map	fmap, map, Select, <*>
Just	Some
None	Nothing
Bind	SelectMany, flatMap, >>-, then

Via via che ne incontriamo altre aggiorniamo la tabella.

[aironangel]

Allora, ho riletto il 3°capitolo.
Nel terzo capitolo si introduce option, che permette di gestire l'assenza di valore.
L'assenza di valore si gestisce con Map, in cui si definisce cosa fare in caso di Null o Some.
Nel nostro caso abbiamo 4 possibilità, per cui si tratta di mettere due match innestati.

Internal Option<int> operator - (Option<int> a, Option<int> b) => 
a.Match(
    () => None;
    (aValue) => b.Match(
        () => None;
        (bValue) => aValue - bValue;
));

[arialdomartini]

Sei avanti comunque, complimenti! Vederti maneggiare i match è una soddisfazione!

[arialdomartini]

Il guaio è che toccherebbe fare lo stesso per l’operatore +, per il *, e in generale per ogni funzione a cui capiti di avere 2 parametri Option. E peggio che mai per quelli a 3 parametri.

l’idea è di estrarre quel pattern e implementarlo una volta sola dentro Option, in modo che il chiamante non debba fare ogni volta due match innestati.

In effetti, Map consente al chiamante di passare una funzione senza doversi preoccupare di valutare, con un Match, se si stia trattando con un Some o con un Nothing. Dovremmo trovare qualcosa di simile.