5
私たちは、もし関数が引数で非厳密であると正式にどのように言いますか？
f ⊥ = ⊥
関数は、引数に厳格であると言うが、我々は関数は、引数に非厳密であることをどのように言うのですか？
f ⊥ ≠ ⊥
のように関数が非厳密であると言うことができますか？
これは、他の引数の値に応じて引数を評価する場合と評価しない場合がある、多くの引数の関数にどのように拡張されますか？
私は、Haddockのドキュメントを使用して、Haskell関数の厳密性のプロパティをよりよく説明する文脈でこれを求めています。
あなたは正しいですが、f≠≠⊥ならば関数は厳密ではありません。に基づいて引数を評価しない場合、関数は非厳密（評価されない引数で）です。 –
BadZen
関数* always *が引数を評価する場合、その引数ではstrictと呼ばれます。引数を決して評価しない*関数は、その引数では無関係と呼ばれます。はい、私はちょうどそれを作った。しかし、この些細な行動を研究することは、非常にエキサイティングな科学ではないようです。常にその引数を評価するわけではない*関数は、その引数で非厳密と呼ばれます。 –
@ n.m。関数はその引数を完全に無視することができ、引き続きその引数で厳密になります。 – augustss