ghc

0熱

1答えて

CabalまたはStackを使用せずにsplitOnをインポートしたいと思います。それは可能ですか？ GHCiがimportData.Text、Data.List.Split、またはData.Splitを拒否した場合、CabalまたはStackを使用しない次のステップは何ですか？ GHCiから直接インポートすることは可能ですか？ありがとうございました。 cabal install missing

2熱

1答えて

haskellでの厳密なまたは非厳密な乗算？

クラスについては、厳密でない関数の単純な例を考え出し、非厳密な関数が意味をなさないと主張していました。私の例の1つは、ドメイン内のすべてのxに対して0 * x = x * 0 = 0を定義することが有用かもしれないということでした。私が家に帰ったとき、私は自然にハスケルのクリエイターがそれについて何を考えているのか見たいと思っていました。ここに私の混乱が来る。一台のマシンで、GHCiの乗算は、両

0熱

2答えて

lts-7.9を使ったScaffolded Yesodアプリケーション： `stack build`が動作し、` stack test`が動作します。 `stack exec-yesod devel`はありません

yesod-simpleテンプレートを使ってYesodを使って単純なWebアプリケーション（pkb）をビルドします。 lts-6.25（最新のyesod-simpleのデフォルト）には最新バージョンがないライブラリがたくさん必要なので、リゾルバをstack.yamlのlts-7.9に変更しました。私はまた、this issue with GHC 8.0.1を読んで成功し {-# LANGUAGE

5熱

3答えて

「トレース」を「アサート」のように最適化しますか？

idとして最適化すると、GHCはassertを書き換えます。あるいは、その動作はコンパイラフラグで変更することができます。しかし、同じことがtraceでは起こらないことに気付きました。 traceのバージョンは、フラグが設定されていないか、設定されていない場合はidとなりますか？より一般的に言えば、（コンパイルに使用されるフラグではなく）呼び出し元モジュールをコンパイルするために使用されるコンパ

0熱

1答えて

Swaggerで生成されたAPIを構築するときに 'Date'タイプが見つかりません

Haskellに日付型が組み込まれているかどうかわかりませんが、伝えるのは難しいし、ドキュメントも見つけられません。ここでは、ここで質問 productionEntryProductionDate :: Date そして、ここではラインがstack build Not in scope: type constructor or class `Date' を実行しようとしたとき、私は取得エラー

0熱

1答えて

haskellソースを動的ライブラリとしてコンパイル

私はOCamlコードで使用するダイナミックライブラリとしてHaskellソースパッケージをコンパイルしようとしています。私はcabal installと--enable-sharedオプションを使用して、ソースの.cabalファイルで試したところ、Perhaps you haven't installed the "dyn" libraries for package 'zeromq4-haske

10熱

1答えて

なぜGHC 7.10でタイプチェックされたこのコードは、GHC 8.0.1でタイプチェックをしなくなったのですか？

私は次のコードを持っている：栄光のグラスゴーHaskellのコンパイルシステム、バージョン8.0.1.20161117を使用して {-# LANGUAGE DefaultSignatures#-} import Control.Monad.Trans.Class import Control.Monad.Trans.Maybe class Monad m => MonadMaybe m

1熱

1答えて

Haskellの複数行 `ghci`

私はghci中だと、次の作品がわかり`でlet`： let foo = ["a", "b", "c"] ...しかし、これは動作しません： let bar = ["a", "b", "c"] ...も、このことを行います。 let baz = ["a"] ++ ["b"] ++ ["c"] 同じエラーが私はファイルとしてそれをコン

4熱

1答えて

複数の 'Main'をチェックしています

私はいくつかの実行可能ファイル（テスト、ベンチマークなど）を含むHaskellライブラリを約6つ持っています。ライブラリでいくつかのリファクタリングを実行するときは、通常、各実行ファイルに小さな変更を加える必要があります。現在のワークフローでは、それぞれの実行可能ファイル（GHCiなど）を個別にコンパイルし、それぞれを修正します。これは退屈です。実行可能ファイルへのパスを入力しなければならないし

1熱

2答えて

GHCは 'length'呼び出しを定数intとして書き換えていますか？

私の多数のlengthコールを見ると、コンパイラは、正確にコンパイラがの任意のリストを不変性と参照透過性のためにリストすることができます（新しいリストが既存の既知のリスト/リストからconcat-コードパス）。次に、length lの「呼び出し」を実際のの整数に置き換えて、低レベルのコード生成中のいくつかの段階に置き換える可能性があります。本当に驚くかどうか、または純粋な機能的な言語/コンパイラ