English Dictionary

Church encoding

名詞

可算名詞 不可算名詞

(mathematics) A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.

日本語の意味

(数学) ラムダ計算内で数学的構造に組み込まれた方法により、データおよび演算子を表現する手法 / ラムダ計算におけるデータと演算子の表現方法として、数学的構造を利用する技法

Advanced functional programmers often teach Church encoding as a foundational technique for representing numbers and operators within the lambda calculus.

高度な関数型プログラマはしばしば、ラムダ計算におけるデータや演算子の表現法を基礎技術として教える。

意味（1）

(mathematics) A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.

Church encodings （ plural ）