haskell - BinaryDevelop

Alternative」タイプクラスの意味と他のタイプクラスとの関係に戸惑う

質問私はこれまでタイプ・クラス・ペディアを読み、型クラスについて学んでいます。私は理解するのに行き詰まりました Alternative (そして MonadPlus は、その点では)。私が抱えている問題ペディアによると、"Alternative型クラスはモノイド構造も持つApplicativeファンクタのためのものだそうですが、これは理解できません。

2023-12-07 02:32:58
スーパーコンパイルとは何ですか？

質問手短に。私はいくつかのソースで "スーパーコンパイル" について話しているのを見たことがあります。しかし、インターネット上のどこを探しても、次のような文書が 1 つもありません。これが何であるか . おそらく、説明する価値もないほど誰にでも簡単に思えるからでしょう。これが実際に何であるか、誰か知っていますか？どのように解決するのですか？スーパーコンパイルは、部分

2023-11-25 19:10:26
Haskellの演算子にはどんな文字が許されますか？

質問識別子と演算子で使用できる文字の完全なリストはどこかにありますか? どのように解決するのですか? 私が探していたのは、登場人物の完全なリストでした。他の回答からすると、全リストはユニコード句読点。 http://www.fileformat.info/info/unicode/category/Pc/list.htm http://www.fileform

2023-11-24 21:34:39
Haskellにおける<$>の意味とは？

質問 Haskellのコードの一部を読んでいるときに、次のようなことに遭遇しました。 <$> . これはHaskellではどういう意味なのでしょうか？いくつかのグーグル検索の後、私は暗闇の中に残っています。どのように解決するのですか？ GoogleはHaskellに最適な検索エンジンではありません。試しにフーグルまたはハヨー † は、両方がすぐ

2023-11-10 08:36:52
Haskellの `head` はなぜ空のリストでクラッシュするのか（あるいはなぜ *空のリストを返さないのか）？(言語哲学)

質問他の投稿者候補への注意抽象的な表現、数学的な表現も遠慮なく使ってください。回答が不明確な場合は説明を求めますが、それ以外は自由に表現してください。はっきり言っておくと、私はではないを探しているのです。 head を選択したわけでもなく、また head を選択することも、特に例外的に意味があります。質問の要点は head と head' であり、文脈を提供す

2023-10-22 08:45:05
Haskellの<|>演算子は何をするのですか？

質問 Haskellのドキュメントを見るのは、私にとっていつもちょっとした苦痛です。なぜなら、関数について得られるすべての情報は、しばしばただそれだけのものだからです。 f a -> f [a] としか書かれていないことが多いからです。の場合と同様に <|> という関数があります。与えられたのはこれだけです。 (<|>) :: f a -&gt

2023-10-21 01:37:38
多変量解析のhaskell関数を作成する方法とは？

質問私は任意の数の引数（すべて同じ型）を取り、それらを使って何かを行い、その後結果を返す関数が必要です。引数のリストは、私の特定のケースでは実用的ではありません。私はhaskellのライブラリに目を通したとき、私は関数 printf (モジュールから Text.Printf ) も同じようなトリックを使っています。残念ながら、ソースを見ただけでは、そのマジックは理解できませんで

2023-10-19 22:45:16
Haskellの()って、そもそも何？

質問今読んでいる本ハスケルを学ぶを読んでいて、モナドの章では、どうやら () は、すべての型に対して一種の "null" として扱われているようです。の型をチェックすると () の型をGHCiでチェックすると >> :t () () :: () というのは、非常にわかりにくい文です。どうやら () はそれ自体がひとつの型です。私は、それがどのように

2023-09-28 02:52:29
スコーレムって何？

質問えーっ! GHCiが私のコードの中にSkolemsを発見しました! ... Couldn't match type `k0' with `b' because type variable `b' would escape its scope This (rigid, skolem) type variable is bound by the type signature f

2023-09-21 06:47:41
HaskellのDataKinds拡張とは？

質問私はDataKindsエクステンションの説明を探しています。あなたにハスケルを学ぶ . 私が学んだことを少しでも理解できるような標準的なソースはありますか？編集：たとえばドキュメントにはこうあります。 XDataKindsを使うと、GHCは自動的にすべての適切なデータ型をkindに昇格させます。を種類に、そしてその(値の)コンストラクタを型コンストラ

2023-09-19 02:55:26
GHCのHaskell拡張は使うべきか否か？

質問 Haskellを学習していると、たくさんの言語拡張が実際のコードで使われています。初心者の私は、それらを使うことを学ぶべきでしょうか、それとも何が何でも避けるべきでしょうか？Haskell 98 との互換性を壊し、コードをかなり GHC だけに制限しているのはわかります。しかし、Hackageでパッケージをブラウズすると、それらのほとんどはとにかくGHCのみであることがわか

2023-09-19 02:20:53
(λx.2*x) == (λx.x+x) のように、2つの関数を等価に比較するにはどうしたらよいでしょうか。

質問 2つの関数を等価に比較する方法はありますか？例えば (λx.2*x) == (λx.x+x) は真を返すはずです。なぜならそれらは明らかに等価だからです。どのように解決するのですか？一般的な関数の等式が決定不可能であることはかなりよく知られているので、興味のある問題の部分集合を選ぶ必要があるでしょう。これらの部分解答のいくつかを検討するとよいでしょう。 Pres

2023-09-13 18:13:32
Haskellの良いコーディング規約

質問誰かHaskellの良いコーディング標準へのリンクを提供してくれませんか？私が見つけたのはこのとこのなどがありますが、包括的とは程遠いものです。HaskellWiki のものには、quot;use classes with care" や "defining symbolic infix identifiers should be left to library

2023-09-11 10:35:59
最新のGHCでDatatypeContextsが非推奨に：なぜ？

疑問点私はちょうどHaskellの開発をしていて、いくつかの古いコードをGHCの新しいバージョンで再コンパイルしました。 The Glorious Glasgow Haskell Compilation System, version 7.2.1 とやると、以下のようなエラーが出ました。警告: -XDatatypeContexts は非推奨です。これは誤った機能であると広く

2023-09-10 23:32:35
attoparsec または parsec in haskell

質問私はいくつかのファイルを解析し、それらをいくつかの定義済みのデータ型に変換する必要があります。 Haskellはそのために2つのパッケージを提供しているようです。 attoparsec パーセクこの2つの違いは何でしょうか、また、ある規則に従ってテキストファイルを解析するのに適しているのはどちらでしょうか。どのように解決するのですか？パーセク

2023-09-10 13:50:16
Haskellで文字列を整数/浮動小数点に変換する？

質問 data GroceryItem = CartItem ItemName Price Quantity | StockItem ItemName Price Quantity makeGroceryItem :: String -> Float -> Int -> GroceryItem makeGroceryItem name price quantity = Ca

2023-08-30 17:49:23
Haskellでは、letと一緒にinをいつ使うのか？

質問次のコードでは、最後のフレーズに in を付けることができます。それは何かを変更しますか？もう一つ質問です。もし私が in をつけた場合、インデントする必要があるのでしょうか？私はインデントせずに試してみましたが、hugsは文句を言います。 do {...} の最後のジェネレータは式である必要があります。 import Data.Char groupsOf

2023-08-25 08:12:23
Haskellで複数行の文字列を書くには？

質問例えば、このような改行付きの文字列リテラルがあるとします。 file :: String file = "the first line\nthe second line\nthe third line" このような書き方はないでしょうか？ file :: String file = "the first line the second line

2023-08-20 15:57:08
論理型プログラミングと関数型プログラミングの違い

疑問点関数型プログラミングと論理型プログラミングの違いを理解しようと多くの記事を読んできましたが、今のところ論理型プログラミングは数式によってプログラムを定義するという推論しかできていません。しかし、そのようなことは論理プログラミングとは無縁です。関数型プログラミングと論理型プログラミングの違いについて教えていただければと思います。どのように解決するのですか？論理型プログ

2023-08-16 21:46:42
[解決済み] Haskellファイルをインタープリタモードで実行する方法

質問 Haskellのファイルを解釈できると聞きました（Ruby/Python/Perlのように動作するという意味でしょう）。しかし、これを行うためのコマンドラインオプションをGHCで見つけることができません。いつも私のファイルをコンパイルしたがります。GHCiも見てみましたが、それはいつも私をreplにダンプします。私は基本的に、ただ ghc -i MyFile.hs (ここで、

2023-08-11 23:39:57

最新

おすすめ