Haskell'in neden basit bir kütüphane işlevi yerine türüne if/then/elsebağlı bir yerleşik Boolözelliği vardır? Gibi
if :: Bool -> a -> a -> a
if True x _ = x
if False _ y = y
4
Açıkça agda'da olduğu gibi mixfix fonksiyonları olmadan elde edemedikleri if / then / else sözdizimini istediklerini açıklarlar. Bahsettiğiniz işlev bir üçlü olarak yapılandırılmıştır, ancak bize / sonra / başka bir şekle (muhtemelen bir vaka üzerinde sadece şekerdir) verebildiklerini ve zararsız olduğunu bize verdiğimi varsaysam da uygulayabilirsiniz. Ama hiçbir şeyim yok Beni burada desteklemek için, bu yüzden bir yorum bu yazıyorum.
—
Jimmy Hoffa,
Bu, okuyucuların çoğunda açıkça görünse de, tembel olarak makul olsa da, bir fonksiyon olarak “/ sonra / başkasının” istekli bir dilde (örn. Şema veya sml) iyi bir çözüm olmayacağını belirtmek isterim. Haskell gibi bir dil.
—
Giorgio