目次:
定義-ラムダ計算とはどういう意味ですか？
ラムダ計算は、関数定義、アプリケーション、および再帰のためにコンピューターサイエンスで使用される数学ロジックからの形式システムの一種です。
機能的なコンピュータープログラミングは、このタイプの計算から生まれ、関数を使用した計算のための単純なセマンティクスを提供することにより、ソフトウェア開発のモデルとして機能します。 参照透過性がないためプログラムのステータスを変更できる命令型関数とは異なり、関数型プログラミングはプログラムのステータスを変更しません。
TechopediaはLambda Calculusについて説明します
Lambda Calculusは、コードスレッドが実行された時間またはマシンに関係なく、言語コードスレッドがまったく同じ値になるようにします。 これは、通常は予測できないプログラム応答がある命令型関数プログラミングの場合ではありません。
関数型プログラミングは、デフォルトの関数型プログラミング構造で設計されていない言語でも、あらゆるプログラミング言語で実現できます。
