私はハスケルで小さなゲームを書こうとしていますが、周りにはかなりの量の状態が必要です。状態をモナドで隠すようにしたい 私は問題に遭遇しました:状態と引数を取る関数は、状態モナドで動作するように書くのは簡単でした。しかし、単に状態を引数として取る(そして、変更された状態を返すか、あるいは別のものを返す)関数もあります。 自分のコードの一部では、私はこのラインがあります。 let player = g
は、私は、多型のタイプを参照してください。 ghci> :t 42
42 :: Num t => t
ghci> :t div
div :: Integral a => a -> a -> a
をしかし、私は実際にそのような機能を評価した後、私はタイプ不履行ルールの結果を参照してください。 ghciでHaskellのレポートやghcの実装に従ってタイプ違反のルールを適用した後に、タイプが
ハスケルの型推論には少しの学習曲線があります。簡単な例でそれを学ぶのが良い方法です。ですから、以下は型推論のためのちょっとした "こんにちはの世界"です。 は、次の例を考えてみましょう: Prelude> :t 3
3 :: (Num t) => t
Prelude> let x = 3
Prelude> :t x
x :: Integer
質問はこれです:はなぜ3及びxはさまざまな種