問題タブ [peano-numbers]
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.
lambda - 後続関数を使用して Kotlin で Int のシーケンスを作成できません。「型推論に失敗しました」と表示される
generateSequence 関数を使用して、数値 0 と後続関数 S から自然数のストリーム/シーケンスを作成しようとしています。
これが私が持っているものです：
インクリメント演算子が既に存在し、最初の n 個の自然数を生成するためのショートカットが既に存在するため、これがこれを解決する最善の方法とは思えないかもしれないことは承知していますが、S をクラスまたは少なくともオブジェクトにする必要があります。他の理由は後ほど。
コンパイルすると、次のメッセージが表示されます。
と
コアで定義されたパブリック コンストラクタ S() の引数が多すぎます。
私が試した他のことは、Sを次のように書き換えることです
または、generateSequence 関数を
どちらも機能しませんでした。最後の関数は、「予期しない型指定」と「予期しないトークン (同じ行で式を区切るには ';' を使用してください]) というコンパイル メッセージを受け取りました。
println関数が最初の 10 個の自然数を出力し、引き続き後続クラスを使用するように、これを解決する方法はありますか?
haskell - タイプレベルでのペアノ番号の追加
ペアノ数の型を定義しました
今、私は 2 つの制約Plus a b cとを持っていることに気付きPlus c d eました。
コンパイラが派生できるように、クラスに加算演算を定義するにはどうすればよいPlus a (b + d) eですか?