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 menggunakanreturndan mungkin sesuatu sepertimzerobukanNothing. KetikaJustdigunakan secara langsung, biasanyaMaybetidak digunakan dalam gaya monadik pada saat itu.Optiontipe. Para perancang Haskell mungkin merasa bahwafoo x = Just x"membaca" lebih baik daripadafoo x = Some x. Demikian pula, definisi tersebutdata Maybe a = Just a | Nothingberbunyi cukup baik sebagai "Maybe aapakahJust aitu atau ituNothing".Somemembaca dengan cukup baik di sana, tetapiNonetidak untukdata Option a = Some a | None.Jawaban:
Ini telah dijelaskan di masa lalu oleh Simon Peyton Jones. Ini menyiratkan bahwa Tidak ada yang bisa menjadi nilai atau 'hanya' satu nilai jenis lain. Ada 'hanya' satu hal lain yang dapat dikembalikan sebagai nilai, atau tidak sama sekali.
sumber