haskell - BinaryDevelop

初心者はHaskellかStandard MLか？[終了しました］

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

2023-08-09 23:40:39
[解決済み] foldrを使ったfoldlの書き方

質問で実世界のハスケル第4章をご覧ください。関数型プログラミング : foldrでfoldlを書く。 -- file: ch04/Fold.hs myFoldl :: (a -> b -> a) -> a -> [b] -> a myFoldl f z xs = foldr step id xs z where step x

2023-08-01 20:14:14
Int から Int を除算して Int を返す

質問私は、2つの Int s ( a と b ) を返し A/B として Int . きっと A/B は必ず整数になります。以下は私の解答です。 myDiv :: Int -> Int -> Int myDiv a b = let x = fromIntegral a y = fromIntegral b i

2023-07-28 16:52:50
Haskellで2つのリストのデカルト積を作る

質問 Haskellで2つのリストのカルテジアン積を生成したいのですが、方法がわかりません。カルテジアン積は、リスト要素のすべての組み合わせを提供します。 xs = [1,2,3] ys = [4,5,6] cartProd :: [a] -> [b] -> [(a,b)] cartProd xs ys ==> [(1,4),(1,5),(1,6),(2,4),(2,5

2023-07-28 15:49:34
矢印とは何ですか、どのように使えばいいですか？

質問の意味を知ろうとしました。矢印の意味を知ろうとしましたが、よくわかりませんでした。私はWikibooksのチュートリアルを使いました。ウィキブックの問題は、主に、そのトピックをすでに理解している人向けに書かれているように思えることだと思います。誰か矢印が何であるか、そしてどのようにそれを使うことができるかを説明してもらえますか？どのように解決するのですか？

2023-07-26 14:53:32
[解決済み] 単純な「平均」関数に苛立つハスケル型

質問初心者のHaskellで遊んでいるのですが、平均関数を書きたいと思いました。それは世界で最も簡単なことのように思えました、そうですか？間違ってますね。 Haskellの型システムは、平均が一般的な数値型で動作することを禁じているようです。積分のリストや分数のリストで動作させることはできますが、両方は無理です。私が欲しいのは average :: (Num a, Fr

2023-07-21 11:43:34
[解決済み] アジャンクションとしてのモナド

質問カテゴリ理論におけるモナドについて読んでいます。モナドの1つの定義は、アドジョイントファンクターのペアを使用しています。モナドはこれらのファンクタを使ったラウンドトリップによって定義されます。どうやら、隣接関数はカテゴリ理論では非常に重要なようですが、Haskell のモナドを隣接ファンクタの観点から説明したものは見たことがありません。どなたか考えてみたことはありませんか？どのよ

2023-07-19 22:39:25
HaskellのWeb開発におけるエコシステムとは？[クローズド]です。

質問現在のところ、この質問は私たちのQ&A形式には適していません。私たちは回答が事実、参考文献、専門知識によって裏付けられていることを期待していますが、この質問はおそらく討論、議論、投票、または拡大した議論を求めるものでしょう。この質問を改善し、再開できる可能性があると思われる場合ヘルプセンターへを

2023-07-19 17:06:15
[解決済み] なぜ関数型プログラミングで適用型ファンクタを使う必要があるのか？

疑問点私はHaskellの初心者で、ファンクターとアプリケーティブファンクターについて読んでいます。OK、私はファンクターとそれを使用する方法を理解していますが、私はなぜ理解できませんアプリケーティブファンクターが有用で、Haskellでどのように使うことができるのかがわかりません。なぜ適用型ファンクターが必要なのか、簡単な例で説明してもらえますか？どのように解決するので

2023-07-18 19:35:03
[解決済み] Haskell関数実行時間

質問 Haskellで関数の実行時間を計算する簡単な方法はありますか？どのように解決するのですか？最も簡単な方法は :set +s で ghci で、実行するものの実行時間やメモリ使用量を見ることができます。

2023-07-02 19:55:15
[解決済み] GHC Coreの "証明 "をどう読むか？

質問私はこの小さなHaskellを、自然数では偶数のみを半分にすることができることをGHCがどのように証明するかを理解するために書きました。 {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even |

2023-07-02 15:45:40
[解決済み] 単相制限とは何ですか？

質問 haskellコンパイラが、例えばポイントフリー定義を使用したときに、期待したよりも多相ではない型を推論することがあることに困惑しています。例えば、ポイントフリー定義を使用するとき、私が期待するものよりポリモーフィックでないタイプを推論することに困惑しています。それは、古いバージョンのコンパイラーでデフォルトでオンになっている "monomorphism restriction

2023-06-30 15:52:02
[解決済み] Haskell: lift vs liftIO

質問どのような状況で liftIO を使うべきでしょうか？私が ErrorT String IO を使用している場合、その lift 関数は、IO アクションを ErrorT というように liftIO は余分なようです。どのように解決するのですか？ lift は、常に前のレイヤーからリフティングします。もし、2番目のレイヤーから持ち上げる必要がある場合は、次の

2023-06-28 21:56:18
[解決済み] Haskellの例外処理

質問 3つのHaskell関数の使い方を理解する手助けが欲しいです。を試す ( Control.Exception.try :: Exception e => IO a -> IO (Either e a) ) キャッチ ( Control.Exception.catch :: Exception e => IO a -> (e -> IO a) -

2023-06-24 10:49:39
[解決済み] Haskellの次に学ぶべき言語とは？[クローズド］

質問現在のところ、この質問は私たちのQ&A形式には適していません。私たちは回答が事実、参考文献、専門知識によって裏付けられていることを期待していますが、この質問はおそらく討論、議論、投票、または拡大した議論を求めるものでしょう。この質問を改善し、再開できる可能性があると思われる場合ヘルプセンターへを

2023-06-19 16:42:38
[解決済み] 機能性レンズ

質問どなたか機能性レンズについて解説していただけませんか？ググっても意外と難しいテーマで、全然進みません。私が知っているのは、OOと同様のget/set機能を提供するということだけです。どのように解決するのですか？レンズはゲッターとセッターの2つの関数で構成されています。 data Lens a b = Lens { getter :: a -> b, setter :

2023-06-15 17:50:21
[解決済み] STモナドはどのように機能するのか？

質問 STモナドはIOの弟分のようなもので、IOはステートモナドに RealWorld というマジックがあります。状態をイメージすることはできるし、RealWorldが何らかの形でIOに入れられることもイメージできるのだが、型シグネチャを書くたびに ST は s のSTモナドは私を混乱させる。例えば ST s (STArray s a b) . はどのように s はそ

2023-06-13 23:09:41
[解決済み] レビティ多態性とは

質問質問のタイトルにあるように、Levity polymorphismとは何か、またその動機は何なのかを知りたいのです。私が知っているのはこのページにはいくつかの詳細がありますが、そこでの説明のほとんどは私の頭の上を通過しています :) 一方このページは少し親切になりましたが、私はまだその背後にある動機を理解することができません。どのように解決するのですか

2023-06-11 10:34:44
[解決済み] ジッパーコモナド、一般的

質問任意のコンテナ型が与えられると、（要素に焦点を当てた）ジッパーを形成し、この構造がコモナドであることを知ることができます。このことは、最近 Stack Overflow の別の質問において、次のような型について素晴らしく詳細に検討されました。 data Bin a = Branch (Bin a) a (Bin a) | Leaf a deriving Functor

2023-06-10 02:15:29
[解決済み] GHCiで関数の型宣言を明示的に行うには？

質問この関数に相当するものをどのように定義すればよいのでしょうか？学習するアハスケールから取ったもの)をGHCiの中で定義するには？ import Data.List numUniques :: (Eq a) => [a] -> Int numUniques = length . nub 型宣言がないと、GHCiは関数定義を受け付けますが、役に立た

2023-06-01 18:33:40

最新

おすすめ