Haskell Staticと展開時の動的リンク

Question

なぜcabal installはデフォルトで--enable-sharedフラグを使用しませんか？私は、このフラグを付けずにコンパイルすると、ファイルサイズが膨大になるということに気づいた。接続はありますか？これは、Haskellプログラムが単一の自己完結型バイナリに簡単に配備される方法に関する設計上の選択ですか？

Answer 1

私はそれがサポートの欠如と関係があると思います。しかし、GHCが現在ダイナミックリンクをサポートしているかどうかについては、私はまっすぐな答えを得ることはできません。 GHC wikiページSharedLibraries/PlatformSupportは2歳です。 Windowsでは

、私はそれがURLから30秒ごとにダウンロードするhttp-enumeratorを使用して書いた簡単なプログラムを含む、--enable-sharedとパッケージの全体の束を構築してみました。プログラムを実行したとき（私のプログラムでフォルダ内にすべてのDLLを置いた後）、それは数秒後にsegfaultされました。 --threadedでコンパイルすると、すぐにセグメンテーションが行われました。

これをGHC 7.0.3で試しました。 documentation page for that versionさんの言葉：

現時点では、HaskellライブラリをDLLにすることはできません。将来この機能を再開したいと考えています（4.12項「共有ライブラリの使用」を参照）。 ...

この通知は、それ以降のバージョンでは表示されません。

---

ところで、コードサイズ以外にも静的なバイナリには別の手間があります。 GHCは、その大きな整数のサポートにGMPを使用しています。 GMPはLGPLの下でライセンスされています。これは、独自のバイナリを配布する必要がある場合や、GPLと互換性のない依存関係（OpenSSLなど）がある場合、GMPのライセンスに準拠するようにオブジェクトファイルを配布する必要があることを意味します。どちらか、またはlibgmpを動的にリンクさせる方法を見つけてください。私はそれをする方法を知りたいです。