haskell - BinaryDevelop

[解決済み] Cabal パッケージのあるバージョンをアンインストールするにはどうすればよいですか？

質問 Happstack Lite が blaze-html のバージョン 0.5 を取得し、バージョン 0.4 を要求しているため、動作がおかしくなっています。 Cabalによると両方ともバージョン0.4.3.4と0.5.0.0がインストールされているとのことです。 0.5.0.0を削除して、古いバージョンだけを使いたいのです。しかし、cabalには"uninstall"コマ

2023-05-29 03:30:46
[解決済み] 関数型プログラミングにおける「reify」「reification」の意味とは？

質問この用語は、haskellや関数型プログラミングに関するブログでよく見かけます（特に sigfpeのブログで）よく読むのですが、どういう意味なのかさっぱりわかりません。ほとんどの場合、知らないで済ませていますが、もし知っていたら、おそらくもっとよく文章を理解できたでしょう。Googleは私を助けてはくれなかった。技術的なことで迷ってしまうのです。また、技術的でない世界の意

2023-05-16 16:18:23
[解決済み] Haskell on JVM?

質問 HaskellをJVM上で動作させる方法（コンパイルまたはインタープリタ）はあるのでしょうか？ SourceforgeにJHaskellがありますが、これは空で死んでいるようです。 GHCはコンパイラのバックエンドとしてLLVMを使用しています。LLVMをJavaバイトコードにコンパイルするのは良いアイデアでしょうか、可能でしょうか？あるいは、別のコンパイラバックエンドを使用す

2023-05-16 12:51:57
[解決済み] モナドが合成の下では閉じていないことを示す具体例(証明付き)?

質問適用型ファンクタは合成のもとで閉じているが、モナドは閉じていないことはよく知られている。しかし、私はモナドが常に合成されるわけではないことを示す具体的な反例を見つけるのに苦労しています。この回答は [String -> a] を非モナドの例として挙げています。少し遊んでみて、私は直感的にそれを信じていますが、この回答は正当な理由を与えることなく、ただ"joi

2023-05-14 09:43:54
[解決済み] なぜこのHaskellコードは "infinite type "エラーを発生させるのでしょうか？

質問私はHaskellの初心者で、意味をなさない"cannot construct infinite type"エラーに直面しています。実際、それ以上に、このエラーが何を意味するのかさえ、良い説明を見つけることができませんでしたので、もしあなたが私の基本的な質問を超えて、"infinite type" エラーを説明していただけるなら、私は本当に感謝します。これがそのコードです。

2023-05-09 20:49:13
[解決済み] 直観主義型理論の組合せ論的等価性とは？

質問最近、大学の授業で Haskell と Agda (依存型関数型プログラミング言語) を取り上げられたのですが、これらのラムダ計算を組合せ論理で置き換えることが可能かどうか疑問に思っています。Haskellの場合、SとKの組み合わせで無点化できるようです。Agdaの場合はどうなんだろう？つまり、変数を使わずにAgdaと同等の依存型関数型プログラミング言語を作ることはできるのでしょうか？

2023-05-02 12:22:46
[解決済み] なぜHaskellは "Best Imperative Language "と呼ばれるのか？

疑問点 (この質問がオントピックであることを望みます -- 私は答えを検索しようとしましたが、決定的な答えを見つけられませんでした。もしこれがオフトピックであったり、すでに回答されていたりする場合は、モデレート/削除してください)。私は、Haskell が最高の命令型言語これはもちろん、Haskell が通常その関数型機能でよく知られているからです。そ

2023-04-30 09:29:51
[解決済み] foldrはどのように機能するのですか？

質問どなたか foldr はどのように機能するのでしょうか？これらの例を見てみましょう。 Prelude> foldr (-) 54 [10, 11] 53 Prelude> foldr (\x y -> (x+y)/2) 54 [12, 4, 10, 6] 12.0 これらの実行に戸惑っています。何か提案はありますか？どのように解決するのです

2023-04-26 14:10:10
[解決済み] なぜStringを型クラスのインスタンスにできないのですか？

質問与えられた : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo を作りたいのですが String のインスタンスにしたい。 Fooable : instance Fooable Str

2023-04-19 08:32:31
[解決済み] MonadPlus, Alternative, Monoidの型別は？

質問標準ライブラリHaskell型クラス MonadPlus , Alternative そして Monoid はそれぞれ本質的に同じセマンティクスを持つ2つのメソッドを提供します。空の値。 mzero , empty または mempty . 演算子 a -> a -> a は，型クラス内の値を結合する演算子である。 mplus , <|&

2023-04-16 23:03:01
[解決済み] 現在のFunctional Reactive Programmingの実装状況について教えてください。

質問私はHaskellでいくつかの簡単な自動物理システム（振り子、ロボットアームなど）を視覚化しようとしています。多くの場合、これらのシステムは次のような方程式で記述することができます。 df/dt = c*f(t) + u(t) ここで u(t) はある種の「インテリジェント制御」を表します。これらのシステムは、Functional Reactive Programming

2023-04-15 14:47:15
[解決済み] Haskellにおける孤児化したインスタンス

質問 Haskellアプリケーションを -Wall オプションでコンパイルすると、GHC は例えば孤立したインスタンスについて文句を言います。 Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result 型クラス ToSElem は私のものではなく、以下のように定義されています。 HStr

2023-04-14 19:53:24
[解決済み] Lazy I/Oの何がそんなに悪いのか？

質問一般的に、プロダクションコードでは Lazy I/O を使用しない方が良いと聞いています。私の質問は、なぜかということです。おもちゃのようなものでなく、レイジー I/O を使用してもよいのでしょうか? そして、何が代替品 (たとえば列挙者) をより良くするのでしょうか? どのように解決するのですか？ Lazy IO には、取得したリソースの解放が、プログラムがどのようにデータを

2023-04-06 23:34:26
[解決済み] このHaskellのコードはなぜ-Oをつけると遅くなるのですか？

疑問点このHaskellのコード片は多くで遅くなります。 -O が、しかし -O は非危険 . 何が起こったのか、誰か教えてください。もし問題なら、それは、解決しようとするこの問題を解決しようとするもので、バイナリサーチと永続セグメントツリーを使用しています。 import Control.Monad import Data.Array data No

2023-03-29 09:44:48
[解決済み] HaskellでHaskellインタプリタを書く

質問古典的なプログラミングの練習として、Lisp/SchemeのインタープリタをLisp/Schemeで書くというものがあります。完全な言語の力を利用して、言語のサブセットのためのインタプリタを作成することができます。 Haskellにも同様の演習があるのでしょうか？Haskellをエンジンとして使って、Haskellのサブセットを実装してみたいのですが。もちろん、それはができま

2023-03-22 04:16:45
[解決済み] Haskellのストリクトネスポイントは何ですか？

質問私たちは皆、Haskellがデフォルトで遅延であることを知っています（あるいは知っているはずです）。評価されなければならないときまで何も評価されません。では、いつ何かが評価されなければならないのでしょうか？Haskell には厳密でなければならないポイントがあります。私はこれを「厳密性ポイント」と呼んでいますが、この用語は思ったほど広まっていません。私に言わせれば Haskell

2023-03-11 01:13:55
[解決済み] 難読化されたHaskellのコードはどのように動作するのでしょうか？

質問読書中 https://en.uncyclopedia.co/wiki/Haskell を読んでいるときに (そしてすべての不快なものを無視して)、次のような難読化されたコードの断片に出くわしました。 fix$(<$>)<$>(:)<*>((<$>((:[{- thor's mother -}])<$>))(=&lt

2023-02-22 14:21:20
[解決済み] パラモルフィズムとは何ですか？

質問読み上げこの古典的な論文を読んでいて、パラメオフィズムに行き詰った。残念ながら、このセクションはかなり薄く、Wikipediaのページには何も書かれていません。私のHaskell翻訳は para :: (a -> [a] -> b -> b) -> b -> [a] -> b para f base = h where

2023-02-14 05:49:45
[解決済み] Haskell: なぜヘルパー関数に "go" という名前を付けるのですか？

質問なるほど go は、Haskellの資料やソースを読んでいるとよく目にしますが、私はこれまであまり気にしたことがありませんでした（私の中では "goto" というネガティブな意味合いがあるようです）。私はLYAHでHaskellを学び始め、そこで acc と step と書くことができます。を記述する規約はどこにあるのでしょうか？ go はどこから来たのでしょうか？

2023-02-12 21:52:32
[解決済み] キュアリングを利用するためのパラメータの順序付け

質問最近2回ほど、パラメータの順番を変更するためにコードをリファクタリングしました。 flip または \x -> foo bar x 42 が起こっていたのです。関数シグネチャを設計するとき、どのような原則があれば、キュアリングを最大限に活用できますか？どのように解決するのですか？ curryingや部分適用を簡単にサポートする言語については、もともとChri

2023-02-08 08:56:48

最新

おすすめ