BizResmi olarak bir argümanda bir fonksiyonun katı olmadığını nasıl söyleyebiliriz?
f ⊥ = ⊥
ama nasıl bir işlevi, bağımsız değişkeni olmayan katı olduğunu söylemek yoksa bir işlevi, bağımsız değişkeni içinde sıkı olduğunu söylemek?
Bir işlevin katı olmadığını söyleyebilir miyiz?
Bu, başka bir argümanın değerine bağlı olarak bir argümanı değerlendirebileceğimiz veya değerlendiremeyeceğimiz birçok argümanın işlevlerine nasıl yayılır?
Bunu, Haddock belgelerini kullanarak Haskell işlevlerinin katı özelliklerini daha iyi belgelemek bağlamında rica ediyorum.
Doğru değilsiniz, eğer f ⊥ ≠ ⊥ ise bir işlev katı değildir.'a bağlı olarak bir argümanı değerlendiremezseniz, işlev katı değildir (değerlendirilmeyebilecek olan argümanda). –
BadZen
Bir işlev * her zaman * argümanını değerlendirirse, bu argümana sıkı denir. Bir argümanı * asla * değerlendirmeyen bir işleve, bu argümana ilgisiz denir. Tamam, tamam, daha yeni yaptım. Fakat bu önemsiz davranışı çalışmak çok heyecan verici bir bilim değildir. Her zaman * argümanını değerlendirmeyen bir işlev, bu argümanda katı olmayan olarak adlandırılır. –
@ n.m. Bir işlev argümanını tamamen görmezden gelebilir ve hala bu argümanda katı olabilir. – augustss