私は「コンピュータプログラムの構造と解釈」という本を研究しており、セクション1.1.5手続き適用の代替モデルでは、筆者は通常の順序と適用順序の概念を説明しています。
今すぐ、私はコースを取っていコーセラが呼ばれるスカラ座での関数プログラミングの原則をと(本が先に引用してずっと彼もちろんベース)教授マーティン・オーダーズキーが説明の名の下に同じ概念コール名ずつとcall-値渡し。
彼のコースでは、教授Odersky著は、私は私の図書館の本に相談して置換モデルは、ラムダ計算に基づいていると言う関数型プログラミングもののラムダ計算に入門をし、22ページに、著者はApplicativeのため、通常の注文として用語を定義し。興味深いことに、彼の定義では、通常の順序はAlgolの名前による呼び出しと同様に、適用順序はPascalの値による呼び出しと同様であると述べています。
彼の説明で「に似ている」という言葉の使用は、私を疑わせたものです。したがって、私の質問:
- これら2つの用語は同等ですか、それとも微妙な違いがありますか?
- 意味を間違える危険を冒すことなく、どちらか一方を交換して使用できますか?
- 同じことを指すために異なる用語の存在を正当化する理由について、あなたが知っている理由はありますか?