haskell - BinaryDevelop

[解決済み] Haskellの "Just "構文とは？

質問このキーワードが何をするのかについて、実際の説明を求めてインターネットを探し回りました。私が見たすべての Haskell のチュートリアルは、それをランダムに使用し始めるだけで、それが何をするのか説明しません (そして、私は多くのものを見てきました)。の基本的なコードの一部です。実世界の Haskell の基本的なコードです。 Just . このコードが何をするかは理解し

2022-05-26 16:55:38
[解決済み] TLSサーバーを実装するためのHsOpenSSL APIの適切な使用法

質問を正しく使用する方法を考えています。 OpenSSL.Session API を並列コンテキストで適切に使用する方法を考えています。例えば、私が以下のような実装をしたいとします。 stunnel-style ssl-wrapper を実装するとしたら、次のような基本的なスケルトン構造を期待します。 full-duplex tcp-port-forwarder: runPr

2022-05-25 16:48:17
[解決済み] リーダーモナドの目的は何ですか？

質問リーダーモナドはとても複雑で、使い物にならないように思えます。JavaやC++のような命令型言語では、私の記憶違いでなければ、リーダーモナドに相当する概念は存在しません。簡単な例を挙げて、これを少しクリアにしてもらえませんか？どのように解決するのですか？怖がらないでください。リーダーモナドは実はそれほど複雑ではなく、本当に使いやすいユーティリティを持っているのです。

2022-05-24 02:39:41
[解決済み] CabalとStackの違いは何ですか？

質問昨日、Haskellの新しいツールであるスタック . 一見したところ、Cabalとほとんど同じような仕事をしているように見える。では、両者の違いは何でしょうか？スタックはCabalの代わりになるのでしょうか？どのような場合にCabalの代わりにStackを使うべきですか？CabalにできなくてStackにできることは何ですか？どのように解決するのですか？ <ブロッ

2022-05-12 19:02:35
[解決済み] Haskellでメモ化？

質問 Haskellで以下の関数を効率的に解く方法について、大きな数字に対する指針があれば教えてください。 (n > 108) f(n) = max(n, f(n/2) + f(n/3) + f(n/4)) Haskellでフィボナッチを解くためにメモ化する例を見たことがあります。この場合、すべてのフィボナッチ数を計算する必要があります。しかし、この場合、与えられたnに対し

2022-05-04 19:28:48
[解決済み] Haskellのマルチコアプログラミングはどうなっているのか？

質問 Haskellのマルチコアプログラミングはどうなっていますか？現在、どのようなプロジェクトやツール、ライブラリがあるのでしょうか？また、どのような経験談がありますか？解決するには？ 2009年から2012年にかけて、次のようなことがありました。 2012: 2012年から、Haskellのパラレルステータスのアップデートがパラレルハスケルダイジェスト .

2022-05-04 15:47:42
[解決済み] GHCはなぜこんなに大きいのか/大きいのか？

質問簡単な答えはありますか？GHCはなぜそんなに大きいのですか？ OCaml 2MB Python 15MB SBCL: 9MB OpenJRE - 26MB GHC：113MB Haskellが正しいツールであるならば、なぜサイズを気にする必要がないのか」というエバンジェリズムには興味がありません。どのように解決するのですか？実にくだらない話で

2022-05-02 13:06:25
[解決済み] Haskellにおける "リフティング "とは？

質問リフティングとは何ですか？まず、モナドを理解してから、"lift"が何であるかを理解すべきですか？(私もモナドについて全く無知です :) それとも、どなたか簡単な言葉で説明していただけませんか？どのように解決するのですか？リフティングは数学的概念というより、デザインパターンです（今頃、誰かがリフティングがカテゴリか何かであることを示して、私に反論すると思いますが）。一

2022-04-30 02:51:11
[解決済み] なぜ依存型でないのか？

質問 Haskellは徐々に依存型言語になりつつある、という意見をいくつかのソースで目にしました。その意味するところは、より多くの言語拡張により、Haskellはその一般的な方向へ向かっているが、まだそこに到達していないということです。知りたいことは基本的に2つあります。1つ目は、簡単に言うと、「依存型言語であること」とは、実際にはどのようなことなのか、ということです。意味 ?

2022-04-29 14:54:13
[解決済み] Haskellのリストを参照する際の「@」記号の意味は？

質問次のようなHaskellのコードに出会いました。 ps@(p:pt) は何を意味しているのでしょうか？ @ のシンボルは、この文脈ではどういう意味なのでしょうか？Googleでは情報が見つからないし（Googleで記号を検索するのは残念ながら難しい）、Preludeのドキュメントにもその関数が見つからないので、代わりにある種の構文的な砂糖であろうと想像しています。どのよ

2022-04-28 21:07:13
[解決済み] GHCiの複数行コマンド

質問 ghciで複数行のコマンドを入力する際に問題があります。次の2行のコードは、ファイルから動作します。 addTwo :: Int -> Int -> Int addTwo x y = x + y しかし、ghciで入力すると、エラーが発生します。 <interactive>:1:1: error: Variable not in scop

2022-04-28 09:12:23
[解決済み] Haskell における `mod` と `rem` の違い

質問とは、具体的にどのような違いがあるのでしょうか。 mod と rem をHaskellで使うのですか？どちらも同じ結果になるようです *Main> mod 2 3 2 *Main> rem 2 3 2 *Main> mod 10 5 0 *Main> rem 10 5 0 *Main> mod 1 0 *** Exception: divid

2022-04-27 07:59:30
[解決済み] 制約条件付き特殊化

質問 GHCがクラス制約を持つ関数を特殊化するのに問題があります。ここに私の問題の最小限の例があります。 Foo.hs と Main.hs . この2つのファイルは、コンパイル（GHC 7.6.2。 ghc -O3 Main ) と実行されます。注意事項 Foo.hs は、実にシンプルなものです。なぜ制約が必要なのかを知りたい場合は、もう少しコードを見ることができま

2022-04-26 23:13:40
[解決済み] Haskellにはなぜ "data "と "newtype "があるのですか？重複] [重複] [重複

質問この質問はすでにここに回答があります : Haskell における `data` と `newtype` の違い (回答1件) 閉店

2022-04-26 10:10:26
[解決済み] ghciで関数を複数行に渡って定義するには？

質問 ghciで複数行にまたがる簡単な関数を定義しようとしているのですが、以下のような例があります。 let abs n | n >= 0 = n | otherwise = -n 今のところ、1行目の後にEnterを押してみています。 Prelude> let abs n | n >= 0 = n Prelude>

2022-04-20 18:29:15
[解決済み] Haskellで副作用がモナドとしてモデル化されているのはなぜですか？

質問 Haskellの不純物計算がなぜモナドとしてモデル化されているのか、どなたかご指摘ください。モナドは4つの演算を持つ単なるインタフェースですが、そこに副作用をモデル化する理由は何だったのでしょうか？解決方法は？ある関数に副作用があるとします。その関数が生み出す効果をすべて入出力パラメータとするならば、その関数は外界に対して純粋である。では、不純物の多い関数の場合

2022-04-20 02:14:38
[解決済み] RustのtraitとHaskellのtypeclassの違いは何ですか？

質問特徴と少なくとも表面的には似ているように見えますが、Rust では型クラスしかし、両者にはいくつかの違いがあると書かれているのを見たことがあります。具体的にどのような違いがあるのか気になりました。どのように解決するのですか？基本的なレベルでは、それほど大きな違いはありませんが、やはりありますね。 Haskell は型クラスで定義された関数や値を「メソ

2022-04-15 11:54:26
[解決済み] IntとIntegerの違いは何ですか？

質問 Haskellにおいて Int と Integer ? 答えはどこに書いてあるのですか？どのように解決するのですか？ <ブロッククオート Integer"は、任意の精度の型：どんな数でも保持することができます。どんなに大きくても、その限界までマシンのメモリに......。つまり算術オーバーフローその一方でとはいえ、これは算術演算が

2022-04-14 15:43:13
[解決済み] .の違いは何ですか？(ドット）と$（ドルマーク）の違いは何ですか？

質問ドットの違いは何ですか？ (.) とドル記号 ($) ? 私の理解では、どちらも括弧を使わなくてもいいようにするための構文上の糖分です。どのように解決するのですか？その $ 演算子は、括弧を避けるためのものです。この演算子の後に現れるものは、その前に現れるものに優先します。たとえば、次のような行があったとします。 putStrLn (show (1 +

2022-03-23 15:13:53
[解決済み] フリーモナドとは何ですか？

質問という言葉を目にしたことがあります。フリーモナドポップアップあらゆる今そしてではしかし、誰もが、それが何であるかの説明をすることなく、ただそれを使ったり、議論したりしているように見えます。では、フリーモナドとは何でしょうか？(私はモナドとHaskellの基本には詳しいですが、カテゴリ理論については非常に大まかな知識しかありません)。どのよう

2022-03-23 12:19:26

最新

おすすめ