haskell

0熱

1答えて

私はWriterTとState（それはadvent of code day 15です）を使ってHaskellの練習問題を解決しようとしている概念を理解しようとしています。何らかの理由で、私はメモリの負荷を使用して終了し、私のノートブック（ちょうど4Gラム）が停止に終わることを理解していない。私の最初のアイデアは、厳密さを使い、周りに振りかけることでしたが、問題は解決しません。誰かが私がどこに間

5熱

1答えて

randomIO（System.Randomから）は0を生成しますか？

私はrandomIO::IO Floatが均一に配信されたことを理解しますFloat番号が、私の質問はどの範囲ですか？それは[0,1]、(0,1)またはその間にあるもの（[0,1)または(0,1]）ですか？ hackageには何も見つかりませんでした。参照されている論文は有料ウォールの後ろにあります。私が尋ねるのは、乱数を変換したい場合があるからです。1/myRandomNumberを評価する場

2熱

1答えて

式の引数として型コンストラクタを指定します

私はhspecとQuickCheckを使用してFunctorのインスタンスのファンクション法を検証しています。私は、私は、このようなコードのブロックを使用して、これらの2をテストしてるの機能 functorIdentity :: (Functor f, Eq (f a)) => f a -> Bool と functorComposition :: (Functor f, Eq (f c))

0熱

1答えて

xmonadのアクセント付きキーへのワークスペースの切り替えを再バインドするにはどうすればよいですか？

私は最近、i3wmからxmonadに切り替えることにしました。私はthis configurationを見つけてそれを試してみることにしました。設定は問題なくすぐに使えます。英語のキーボードレイアウトを使用しないため、デスクトップワークスペースを切り替えることができないという問題があります。私はFキー行の下の数字の代わりに文字をアクセントにしました。だから私は、これらのキーのXK_名を検索し、

0熱

1答えて

余分な関数の制約を取り除くにはどうすればよいですか？

メソッドを持たない2つのクラスを用意しましょう。もう1つはサブクラスです。さらに、タイプがunsafeCoerceの関数f5とf6を想定します。 ghciは、これらの関数を構成し、ScopedTypeVariablesの助けを借りてシグネチャを見つけることができます（f56, f56b and f56'を参照）。これらは基本的に制約Hmmを持つ関数です。それはそれは、制約の中でクラスSHmm

4熱

1答えて

YesodのハンドラからByteStringを返すことができないのはなぜですか？

私はイェソドの私Handler関数からByteStringを返すようにしようとしている： getHomeR :: Handler ByteString getHomeR = return "foo" が、私はこのエラーを取得しています： /Users/maximiliantagher/Documents/Mercury/hs/mercury-web-backend/src/Applicati

0熱

2答えて

Haskell - この関数のどのパラメータ？

誰かがこの関数でマップするために適用される2つのパラメータを教えてもらえますか、またはこの括弧を追加してください。 pad n ys = map Just ys ++ replicate k Nothing where k = n - (length ys `mod` n) ありがとうございます！

0熱

1答えて

Haskell：I/Oでエスケープするunsolicited unicode文字

私は基本的にファイルをコピーするためのCLIユーティリティを持っています。 {-# LANGUAGE OverloadedStrings #-} ... import Turtle ... {- Command line parser -} -- | Represents command line options. data Settings = Settings { sVe

4熱

0答えて

反復の間に型の変更があっても正式な定義が同じである関数を "反復"する方法

私はちょうどHaskellの学習を始めました。私は関数を反復しようとします\x->[x]。私は、これは動作しません foldr1 (.) (replicate 2 (\x->[x])) $ (8 :: Int) によって結果[[8]]を得ることを期待し、次のエラーメッセージが得られます。がチェックに発生します：a ~ [a] 期待タイプ：無限の種類を構築することはできませんが。 [a ->