Intuicja opcjonalnego typu jak Maybe Intto, że albo nie ma żadnego Int (w ten sposób, nie Nothingistnieje), albo że istnieje jakiś Int; coś tam jest.
Ma dla mnie sens, że nazywamy konstruktor typu dla przypadku „negatywnego” Nothing, ponieważ oznacza to dokładnie to, że tam nie Intma. Ale po co używać słowa Właśnie w przypadku, gdy nacisk kładziony jest na coś, co rzeczywiście tam jest ?
Dla mnie słowo „po prostu” niesie ze sobą konotację, że rzecz, którą opisuje, jest mniejsza niż alternatywa; przeciwieństwo czegoś, co faktycznie tam jest; na przykład,
Odp .: Czy robisz coś dziś wieczorem?
B: Nie; Jestem po prostu będzie pobyt i oglądać telewizję.
Odp .: Czy badałeś przerażające dźwięki duchów w twoim domu?
B: Tak, okazuje się, że to była po prostu sowa.
Najwyraźniej brakuje mi jakiejkolwiek intuicji, na której opiera się ten wybór nazw. Co to jest? Ponieważ dla mnie słowo Po prostu oznacza przeciwieństwo tego, w jaki sposób jest używane w tekście Maybe.
Maybejako monada, prawdopodobnie użyłby returni prawdopodobnie coś podobnego mzerozamiast Nothing. Kiedy Justjest używany bezpośrednio, zwykle Maybenie jest w tym momencie używany w stylu monadycznym.
Optiontypu. Projektanci Haskell zapewne uważali, że foo x = Just x„czytają” lepiej niż foo x = Some x. Podobnie definicja data Maybe a = Just a | Nothingbrzmi całkiem dobrze jako „ Maybe ajest albo Just aalbo Nothing”. Someczyta się tam dość dobrze, ale Nonetak nie jest data Option a = Some a | None.