問題タブ [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.
f# - F# の教会数字
F# で教会の数字を実装しようとしています。彼らは大学のコースで簡単に紹介されましたが、それ以来、私はうさぎの穴を少し下ったかもしれません. Predecessor、Successor、Add、および Operations を実行していますが、Subtract を実行できません。前任者を複数回適用する減算bを実装しようとしています。私が独特だと思うのは、私のコードの最後から 2 番目の行は機能しますが、同等であると私が想定する最後の行は機能しないということです。タイプの不一致があります。
私はF#に非常に慣れていないので、助けていただければ幸いです。ありがとうございました。
これは、指定されたタイプの不一致エラーです (Intellisense は、これはコードの最後の行にある cPred のエラーであると言います)。出力タイプが間違っていると推測されていることがわかります。それを修正する方法はありますか、またはこの実装の記述方法に根本的な問題がありますか?