タグ付けされた質問 「haskell」

クラスの定義を理解できた MonadReader class Monad m => MonadReader r m | m -> r where ... Haskellの関数型依存関係のドキュメントを読んだ後| m -> r、型変数rがによって一意に決定されることを指定していることが理解できますm。これまでに見たMonadReaderのいくつかの典型的なインスタンス（例：）に基づいて、この要件は妥当だと思いますがReader、Readerこの機能的な依存関係句がなくてもインスタンスを定義できるように思えます。 私の質問は、MonadReaderの定義に機能的な依存関係が必要な理由です。これは、MonadReaderを適切に定義できないという意味で、MonadReaderを定義するために機能的に必要ですか？

8 haskell  monads  ghc  type-systems 

自分自身の時間nestを構成する私の機能がなぜ混乱するのかfn nest f 0 = id nest f n = f . nest f (n - 1) 終了することはありません。nゼロになると「パターンマッチ」になると思っていたでしょう。これらの2行をGHCIに入力してnest (+ 1) 2 3、たとえばを呼び出すことで定義します。

8 haskell 

私はすべての要素の間に0を含めるようにhaskellのリストを変更しようとしています。最初のリストがある場合は[1..20]、次のように変更します[1,0,2,0,3..20] 私がやろうと思ったことは、実際にすべての関数でマップを使用し、要素を抽出してリストに追加して使用++[0]することですが、これが正しいアプローチかどうかはわかりません。まだhaskellを学習しているため、エラーが発生する可能性があります。 私のコード： x = map classify[1..20] classify :: Int -> Int addingFunction 0 [Int] addingFunction :: Int -> [a] -> [a] addingFunction x xs = [a] ++ x ++ xs

8 list  haskell