問題タブ [haskell-prelude]

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.

0 投票する
3 に答える
129 参照

function - 型固有ではない Haskell 関数の型シグネチャを記述する方法は何ですか?

のような関数が与えられると、negate次の型シグネチャがあります。

これaは、コンテキスト内のタイプであると説明しNumます(私が間違っていると思われる場合は修正してください)。

lastしかし、型シグネチャを持つ のようなものを記述する方法が完全にはわかりません。

私の推測では、それはタイプ固有ではなく、リストを取り、リストと同じタイプの単一の値を生成します。これはそれについて考える正しい方法ですか?