Intuisi jenis opsional seperti Maybe Intadalah bahwa baik ada ada Int (dengan demikian, ada Nothingada) atau bahwa ada beberapa Int; ada sesuatu di sana.
Masuk akal bagi saya bahwa kami memanggil konstruktor tipe untuk kasus "negatif" Nothing, karena artinya persis seperti itu - bahwa tidak ada di Intsana. Tetapi mengapa menggunakan kata Hanya dalam kasus di mana penekanannya adalah pada sesuatu yang benar-benar ada di sana ?
Bagi saya, kata "Adil" membawa konotasi bahwa hal yang digambarkannya kurang dari alternatif; kebalikan dari sesuatu yang benar-benar ada di sana; sebagai contoh,
A: Apakah Anda melakukan sesuatu malam ini?
B: Tidak; Saya hanya akan tinggal di dan menonton TV.
A: Apakah Anda menyelidiki suara hantu menyeramkan di sekitar rumah Anda?
B: yeah, ternyata itu sebenarnya hanya burung hantu.
Jelas saya tidak memiliki intuisi apa pun yang dipilih berdasarkan penamaan ini. Apa itu? Karena bagi saya, kata Just berarti kebalikan dari bagaimana kata itu digunakan dalam Maybejenisnya.
Maybesebagai monad, mereka kemungkinan akan menggunakan returndan mungkin sesuatu seperti mzerobukan Nothing. Ketika Justdigunakan secara langsung, biasanya Maybetidak digunakan dalam gaya monadik pada saat itu.
Optiontipe. Para perancang Haskell mungkin merasa bahwa foo x = Just x"membaca" lebih baik daripada foo x = Some x. Demikian pula, definisi tersebut data Maybe a = Just a | Nothingberbunyi cukup baik sebagai " Maybe aapakah Just aitu atau itu Nothing". Somemembaca dengan cukup baik di sana, tetapi Nonetidak untuk data Option a = Some a | None.