問題タブ [church-encoding]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
91 問題
0
投票する
1
に答える
60
参照
haskell - チャーチ数字 リジッドタイプとインフィニットタイプ
私は教会の数字の前任者関数predを実装しようとしていたので、教会のエンコーディングに関するウィキペディアのページを参照しました。
それによると、私は次のように書いた
どのタイプがチェックされます。
しかし、代わりにpred1を使用してより直接的に実装しようとしたとき
GHCはそれを不平を言う
またはラムダ計算スタイル
コンパイラは言う
pred3の型を指定しない場合、推定される型は
これら2つのエラーを理解できません。提案があれば役立ちます