Інтуїція необов'язкового типу типу Maybe Intє те, що або немає Int (таким чином, є Nothingтам), або що є якийсь Int; є щось там.
Для мене є сенс, що ми називаємо конструктор типу для "негативного" випадку Nothing, оскільки це означає саме те - що його там немає Int. Але навіщо вживати слово Просто у випадку, коли наголос робиться на тому, що насправді є ?
Для мене слово "Просто" містить конотацію, що річ, яку вона описує, є меншою, ніж альтернатива; протилежність чомусь насправді там; наприклад,
A: Ти щось робиш сьогодні ввечері?
Б: Ні; Я просто заставлюсь і дивлюсь телевізор.
A: Ви досліджували моторошні привидні звуки навколо вашого будинку?
Б: так, виявляється, це насправді була просто сова.
Зрозуміло, мені не вистачає будь-якої інтуїції, на якій базувався цей вибір імен. Що це? Тому що для мене слово Just означає протилежне тому, як воно вживається у Maybeтипі.
Maybeяк монаду, вони, швидше за все, використовуватимуть returnі, можливо, щось подібне mzeroзамість Nothing. Якщо Justвикористовується безпосередньо, зазвичай Maybeне використовується в монадійному стилі в той момент.
Optionтип. Дизайнери Haskell, ймовірно, відчували, що foo x = Just x"читають" краще, ніж foo x = Some x. Точно так само визначення data Maybe a = Just a | Nothingчитається досить добре як " Maybe aє Just aабо є Nothing". Someтам читається досить добре, але Noneне для data Option a = Some a | None.