ghc

2熱

1答えて

実行可能ファイルのスタックリンクは1つのインスタンスで失敗し、別のインスタンスを完了します - なぜですか？

少し質問には申し訳ありませんが、スタックを使用して実行可能ファイルをリンクすることは、あるインスタンスでは不可解に失敗しますが、別のインスタンスでは失敗します。これは私のプロジェクトです： $ cat stack.yaml extra-package-dbs: [] packages: - umecore-hs - fontrans-tools extra-deps: - parse

4熱

1答えて

ghcで生成されたコードを比較します

Cの2つのフラグメントを比較するためのCの一般的なプラクティスは、生成するアセンブリを確認することです。私は、GHCがある場合に生成されますどのようなコードを知りたいと思った： afmap :: Functor f => (a -> b -> c) -> f b -> a -> f c afmap fn fb a' = (fn a') <$> fb と afmap = flip . (((.

5熱

1答えて

GHC 7.10.2でビルドされた実行ファイルがlibrtとlibcの両方に依存するのはなぜですか？

はhttps://docs.oracle.com/cd/E36784_01/html/E36873/librt-3lib.html 歴史によると、このライブラリの関数はPOSIX.1bリアルタイム拡張で指定インターフェースの多くを提供しました。標準（5）を参照してください。この機能は現在libc（3LIB）にあります。このライブラリは、ランタイムとコンパイル環境の両方に下位互換性を提供する

2熱

1答えて

Id a = aを部分的にデータD f = D（f（））に入力できないのはなぜですか？

また、When (if ever) can type synonyms be partially applied?で提案されているLiberalTypeSynonyms拡張子を使って次のように試してみました。Idの定義のfに明示的な署名を追加しました。私はまだ同じエラーがあります。私は助けてくれる他の拡張があるかどうかわかりません。これは本当に私を混乱させます。のfは* -> *であり、Idは

1熱

1答えて

ghcはライブラリのパスをどのように解決しますか？

私は、nixpkgsでhaskellを使い始めました。 the official guide to nixpkgsから私は以下を読んでいます： GHCは、インストールされているすべてのライブラリを、独自のlibディレクトリ内に見つけようとします。それが記載されているとおり GHCが同じパスにインストールされるすべてのライブラリを必要と言っているようです。 ghcはghc-pkgによって設定されたパ

4熱

1答えて

レコード投影関数をレンズに置き換えます。

ほとんどの場合、レコードを作成するたびに、すぐにmakeLenses ''Record（lens）を追加しています。実際にレコードが与える投影関数を使用することはありません。実際には、makeLensesが（GHC -ddump-splicesフラグ付きで）何を生成しているかを見ると、生成するレンズの名前を選択する以外は、それらの投影関数を使用していないように見えます。 TemplateHaske

2熱

2答えて

普遍的な限定された制約の書き換えルール/特殊タイプエラー

いくつかのタイプ特化を実装しようとしていますプリズムで動作するいくつかの関数があり、 GHC 8で問題があります。 < 8ですが、別の質問ではです）。 A問題の（不自然な）最小限の例： foo :: Prism' s a -> Prism' s a foo = id {-# RULES "foo/foo'" foo = foo' #-} foo' :: Prism' Char Bool

3熱

2答えて

Core Haskellは関数に型を適用するとはどういう意味ですか？

コアの構造をよりよく理解するために、Core Haskellのカスタムプリンタを作成しました。このきれいなプリンタの要点は、CoreModuleが必要で、デフォルトのOutputable実装ではないような出力にデータコンストラクタが含まれていることです。ここでは、私が上プリティプリンタを実行しているモジュールのコードです：ここで module Bar2 where add :: Int ->

2熱

1答えて

オーバーラップするインスタンスの決定をトレースする方法はありますか

インスタンスが重複している場合にコンパイラが選択したインスタンスを（コンパイル時に）知ることはできますか？不自然な例、tranform (1:: Int) :: Intの結果は何 {-# LANGUAGE IncoherentInstances #-} class Transformable a b where transform :: a -> b instance Tra

0熱

1答えて

なぜ私のEclipseはHaskellのリセバードワードをマークしていないのですか？

Eclipse Lunaのプラグインをインストールしました：EclipseFP - http://eclipsefp.sf.net/updates。その作品は、IDEが予約語をマークしていません。あなたが実際に通常のテキストエディタを使用しているように見えます