• [解決済み] モナドはエンドファンクタのカテゴリではただのモノイドですが、何か問題でも?

    質問 次の言葉を最初に言ったのは誰でしょう? モナドは単なるモノイドで エンドファンクターのカテゴリにある。 問題あり? また、あまり重要ではありませんが、これは本当なのでしょうか?もしそうなら、説明(できればHaskellの経験があまりない人でも理解できるようなもの)をお願いします。 どのように解決するのですか? このフレーズは、ジェームス・アイリーによるもので

    2022-03-19 16:47:10
  • [解決済み] Hindley-Milnerのどの部分が理解できないのでしょうか?

    質問 I 誓う 以前は Tシャツ という不朽の名言を残しています。 のどこが? してください じゃない がわかるか? 私の場合、答えは...全部!です。 特に、Haskellの論文でこのような表記をよく見かけますが、どれがどういう意味なのかさっぱりわかりません。数学のどの分野なのか、さっぱりわからない。 ギリシャ語のアルファベットは

    2022-03-19 13:24:48
  • [解決済み] Haskellは実世界で何に使われているのか?[クローズド]

    質問 閉店 . この質問は オピニオンベース . 現在、回答は受け付けておりません。 <パス この質問を改善したいですか? 質問を更新して、事実と引用で答えられるようにする。 この投稿を編集する .

    2022-03-18 21:02:40
  • [解決済み] Haskellで大規模設計?[クローズド]

    質問 閉店 . この質問はもっと必要です フォーカス . 現在、回答は受け付けておりません。 終了 <スパン 5年前 . <パス ロックされた . この質問とその回答は ロック なぜなら、この質問はトピックから外れて

    2022-03-18 12:27:23
  • [解決済み] 読んで学ぶべき良いHaskellのソース [終了しました]。

    質問 <パス 現状では、この質問は私たちのQ&amp;A形式には適していません。私たちは、回答が事実、参考資料、専門知識によって裏付けられていることを期待していますが、この質問は、討論、議論、投票、または長時間のディスカッションを求める可能性があります。この質問を改善し、再開することが可能であるとお考えの場合。 ヘルプ

    2022-03-16 08:18:48
  • [解決済み】Haskellでの挿入ソート

    質問 Haskellの演習をやっています。最初に、私は関数 insert :: Int -&gt; [Int] -&gt; [Int] そのため insert x xs は x をリスト xs に挿入します。 よりも前の要素で、かつ、その要素より小さいか等しい。 に続く。 insert :: Int -&gt; [Int] -&gt; [Int] insert x [] = [x]

    2022-02-21 13:49:58
  • [解決済み] Haskellバイナリツリー

    質問 宿題があります。 1) データ構造を定義する TTT ここで、各頂点は0、1または2の子を持ち、各樹木の葉(0個の子を持つ頂点とそれ自身)は自然数のリストを含んでいます。 2) 関数を作成する mm これは2つの引数を持ちます - 関数 f(Integer-&gt;Integer) と TTT ベースツリー x . その結果、次のようになります。 TTT を

    2022-02-19 11:01:55
  • [解決済み] haskellにおけるdrop関数 - リスト内包を用いた実装

    質問 私のドロップ機能を見てください。確かに動いていますね。これは怠慢なもので、無限リストに対して動作します。 drop3 :: Int -&gt; [a] -&gt; [a] drop3 n xs = [x | (x, y) &lt;- zip xs [1..], y &gt; n] リスト内包を使った他の書き方はないのでしょうか? どのように解決するのですか? というご質

    2022-02-18 09:23:28
  • [解決済み】haskellでリストを逆順にする

    質問 リストを反転させようとしています。 以下は私のコードです。 reverseList :: [Int] -&gt; [Int] reverseList [] = [] reverseList (x:xs) = x:reverseList xs 結局、同じ順番でリストが戻ってくることになるのです。リストを逆順にする方法についての解決策もあるのですが、私はここで何が間違っていたのか理解しようとし

    2022-02-17 20:58:33
  • [解決済み] Haskell タプルをリスト化する?

    質問 タプルのリストを変換することは可能ですか? [(Int,Int)] どのような入力サイズにも有効な汎用的な方法として? ... 私はそれが汎用的に可能ではないことを様々な質問で見ました。 の例です。 type X = [(Int,Int)] func :: X -&gt; [Int] 解決方法は? あなたの質問は、タプルをどのようにリストに変換すべきかについて、あ

    2022-02-16 21:24:03
  • [解決済み】なぜパースエラーになるのか?インデント?

    質問 こんなコードを書きました。 addNums key num = add [] key num where add res a:as b:bs | a == [] = res | otherwise = add res:(a+b) as bs 3行目でインタプリタはこう言っています。 パースエラー (インデントが正しくない可能性があり

    2022-02-16 05:51:10
  • [解決済み] Haskellです。パターンでのパースエラー

    質問 このコードのどこが(構文的に)間違っているのか、誰か教えてください。 -- merge two sorted lists mergeX [] b res = b ++ res mergeX a [] res = a ++ res mergeX a:as b:bs res | a &gt; b = mergeX as b:bs a:res | otherwise

    2022-02-15 06:39:21
  • [解決済み] 解釈の仕方 (Eq a)

    質問事項 2つのパラメータを持つ関数を作成する必要があります。 Int と [Int] を返す、新しい [Int] を削除したものです。 リスト内包でもリスト再帰でも、簡単に関数を作ることができるんだ。しかし、私はこれらのパラメータでそれを行う。 deleteAll_list_comp :: Integer -&gt; [Integer] -&gt; [Integer] del

    2022-02-14 17:37:01
  • [解決済み] Haskell Preludeの'const'は何のためにあるのか?

    質問 Haskell Preludeに目を通すと、私は 関数を見る const : const x _ = x この機能に関して、関連するものが見つからないようです。 何が言いたいの?どなたか、この関数の使用例を教えてください。 どのように解決するのですか? 高階の関数が持つ柔軟性のすべてを必要としない場合に、高階の関数に渡すと便利です。例えば、モナドシーケンス演算

    2022-02-10 07:45:58
  • [解決済み] Haskellで "length "関数を使用しない場合のリストの長さ

    質問 リストの長さを確認したいのですが、関数を使用せずに length . このプログラムを書いたのですが、うまくいきません。なぜか教えてください。ありがとうございます。 let y = 0 main = do list (x:xs) = list (xs) y++ list :: [Integer] -&gt; Integer list [] = y 解決方法は?

    2022-02-08 21:55:55
  • [解決済み] 機能における非網羅的なパターン【重複あり

    質問事項 この質問はすでにここに回答があります : 非網羅的なパターンに対するより良い例外が発生する場合 (回答2件) 閉店 5年前 .

    2022-02-08 14:38:31
  • [解決済み] Haskell - Ord aの型は何を意味するのでしょうか?

    質問 Haskellで再帰的なマージソート関数を作っています。私は評価の一部として、私は次のように型を定義しなければならないと言われました。 isort :: Ord a =&gt; [a] -&gt; [a] この関数は、入力として配列を期待し、配列を出力すると仮定しました。私が知っているのは ord はクラスです。 上の文脈では Ord a の意味は? これは私の

    2022-02-05 13:53:12
  • [解決済み] なぜHaskellでは整数の割り算ができないのか?

    質問 このコード (4 :: Integer) / 2 はエラーになります。 No instance for (Fractional Integer) arising from a use of ‘/’ In the expression: (4 :: Integer) / 2 In an equation for ‘it’: it = (4 :: Intege

    2022-02-04 01:05:30
  • [解決済み] 一般的に `{- |` で始まるHaskellのコメントは何を意味するのですか?

    質問事項 Haskellの複数行のコメントで、ときどき {- | ではなく、単に {- . コメント内のパイプ文字でリードするのは、慣習的に何か意味があるのでしょうか? どのように解決するのですか? その | は、コメントの先頭に ハドック の構文で、ドキュメントの注釈を開始します。Haddockのドキュメントの例を挙げます。 -- |The 'square'

    2022-02-03 21:47:48
  • [解決済み] エラー haskell: スコープ内にありません。どういう意味ですか?

    質問内容 今日からHaskellを始めたのですが、ghciで実行するすべての関数がこのメッセージを表示します。なぜこのようなことが起こるのか知りたいのです。 このことについて多くの質問があることは知っていますが、これは単純なケースであり、私は最初にこのエラーを理解する必要があります。 function3 :: Int -&gt; [Int] function3 x = [a | a &lt

    2022-01-29 18:15:39