Church encodings allow functional programmers to represent natural numbers and lists purely within the lambda calculus.
チャーチによる符号化は、関数型プログラマーがラムダ計算だけで自然数やリストを表現することを可能にします。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
