問題タブ [mutual-recursion]
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.
haskell - Arrow ライブラリでの「first」の実装
firstライブラリでの実装がわかりません。
firstで再帰的に定義されているようです***-- いつ再帰が終了するかわかりません!?
と
first fは(f *** id)どれで(first f >>> arr swap >>> first id...)、新しいものfirstは別のものになる(*** id)など...
coq - 積の種類に対する相互再帰関数
(Coq の初歩的な質問)
製品タイプに対する再帰関数の定義に関連して、製品タイプに対する再帰関数を定義しようとしています。ここでの違いは、相互に再帰的な定義があることです。私はこのエラーに遭遇し続けます:
printObjItem の再帰的な定義の形式が正しくありません。
printJson への再帰呼び出しには、「item」のサブタームではなく、「val」に等しい主要な引数があります。
概念的には、 は のサブ項であり、 は のサブ項であり、 は のサブ項であるため、再帰を実行する必要がvalあるitemようitemsですx。Coq が最初のアサーションに苦労していることは理解していますが、解決方法がわかりません。明確な正当性の証明なしで簡単な方法はありますか?