Haskell

2025-07-19T23:08:26Z

E-kwsm: haskell-brittany

[[Category:プログラミング言語]]
[[en:Haskell]]
{{Related articles start}}
{{Related|Haskell パッケージガイドライン}}
{{Related articles end}}

[[Wikipedia:ja:Haskell|Wikipedia]] から:
:[https://www.haskell.org Haskell] は、型推論と遅延評価を備えた汎用の静的型付け純粋関数型プログラミング言語です。教育、研究、および産業用途に適するように開発され、型安全な演算子オーバーロードを可能にする型クラスなど、数多くの先進的なプログラミング言語機能を先駆けて採用しました。Haskell の主な実装は Glasgow Haskell Compiler (GHC) であり、その名前は論理学者 Haskell Curry に由来しています。

== インストール ==

Haskell のインストールにはいくつかの選択肢があります。そのうちのひとつは Arch Linux によってサポートされているものであり、その他は Haskell によって公式にサポートされており、どの Linux ディストリビューションでも利用可能です。

バージョン [https://gitlab.archlinux.org/archlinux/packaging/packages/ghc/-/commit/ced89ede2cb41cd51e9138a643509bbb6d8854cd 8.0.2-1] 以降、Arch の {{Pkg|ghc}} パッケージおよび ''extra'' リポジトリ内のすべての [https://archlinux.org/packages/?q=haskell haskell-*] パッケージは、動的リンクされたライブラリのみを提供するようになりました。

動的リンクを使用すると、通常はビルドが高速化し、ディスクやRAMの使用量が削減されます(複数の Haskell プログラム間でページを共有するため)また、異なる GHC バージョン間の混在に伴うトラブルから解放されます。このため、エンドユーザー向けアプリケーションの管理には、[[pacman]] と [[公式リポジトリ]] を使用することが推奨されます。
しかし、これには欠点もあります。GHC、{{Pkg|ghc-libs}}、または[https://archlinux.org/packages/?q=haskell haskell-*] パッケージのアップデートごとに、ソースからインストールしたすべてのツールが動作しなくなるという点です。これは、GHC でコンパイルされたライブラリが安定した [[Wikipedia:Application binary interface|ABI]] を提供しないためです。そのような壊れたバイナリを実行すると、通常次のようなメッセージが表示されます。

{{ic|error while loading shared libraries: libHS...so: cannot open shared object file: No such file or directory}}

これを修正するには、壊れたツールを再構築して再インストールし、新しいライブラリに再リンクします。

{{Note|Arch が Haskell パッケージで動的リンクに移行した理由について詳しい説明は、この [https://www.reddit.com/r/linux/comments/9emwtu/arch_linux_ama/e5qssdz メンテナーの回答] をご覧ください。}}

一方、静的リンクは一般的に管理が容易であり、依存関係の更新後にすべてのツールをソースから再ビルドする必要がなく、現在のところ GHC によってより良くサポートされています。このため、ローカル開発においては静的リンクが推奨される優先オプションとなっています。

ただし、動的リンクを使用したい場合は、GHC、Cabal、そして Stack をそれに対応するよう設定する必要があります。デフォルトでは静的リンクが使用されるため、そのままでは動的リンクが成功しません。

* Arch の [[公式リポジトリ]] から [[pacman]] を使用して Haskell をインストールするには、[[#ネイティブインストール]] を読み進めてください。ただし、これによりシステムに数百の {{ic|haskell-*}} パッケージがインストールされる可能性があることに注意してください。
* それ以外の場合は、[[#代替インストール]] セクションに進んでください。

{{Pkg|ghc}} ([[公式リポジトリ]] から) を静的リンクで使用することは可能ですが、設定がより複雑になります。[[#静的リンク]] を参照してください。

== ネイティブインストール ==

Haskell を使用するには、次のパッケージを [[インストール]] します。

# {{Pkg|ghc}} - Haskell コンパイラ。いくつかの [https://www.haskell.org/haskellwiki/Implementations 実装] がありますが、最もよく使われている (現在では ''事実上'' リファレンスとなっている) のは [https://www.haskell.org/ghc GHC] (Glasgow Haskell Compiler) です。
# {{Pkg|cabal-install}} または {{Pkg|stack}} です。- GHC に依存して Haskell ソースをコンパイルするビルドツール。[https://www.haskell.org/cabal Cabal] は依存関係の解決と [https://hackage.haskell.org Hackage] (Haskell コミュニティのオープンソースソフトウェアの中央パッケージアーカイブ) からのソースパッケージに焦点を当てた古典的なビルドツールです。[https://www.haskellstack.org Stack] は、[https://www.stackage.org Stackage] (Hackage の安定したサブセットで、互いにうまく動作することが知られているパッケージのキュレーションセット (スナップショット) を提供する) のキュレーションされたスナップショットとソースパッケージに焦点を当てた別のビルドツールです。

{{Tip|Cabal と Stack はどちらも安定した成熟したビルドツールです。Haskell 開発者の多くは Cabal を使用していますが、Stack を好む開発者もいます。どのツールを選択すればよいかわからない場合は、両方をインストールして、どちらが最適であるかを確認してください。}}

== 設定 ==

バージョン [https://github.com/archlinux/svntogit-community/commit/7a948cdfb808afd3ce6f93047ae0dc1778e79f9f 8.0.2-1] 以降、''extra'' に含まれる Arch {{Pkg|ghc}} パッケージと全ての [https://archlinux.org/packages/?q=haskell haskell-*] パッケージは動的にリンクされるライブラリのみを提供します。そのため、リンクに成功するためには GHC, Cabal, Stack を動的リンクに設定する必要があります。

動的リンクを使用すると、通常、(実行中の複数の Haskell プログラム間でページを共有することにより) ビルドが高速化され、ディスクと RAM の使用量が削減され、GHC 間の混合エラーのトラブルシューティングから解放されます。しかし、これには独自の欠点もあります。それは、{{Pkg|ghc}}、{{Pkg|ghc-libs}}、または [https://archlinux. org/packages/?q=haskell haskell-*] パッケージは、GHC でコンパイルされたライブラリが安定した [[Wikipedia:ja:アプリケーションバイナリインタフェース|ABI]] を提供しないためです。このような壊れたバイナリを実行すると、通常のメッセージ {{ic|error whileloadingsharedlibraries:libHS...so:cannotopensharedobjectfile:No such file or directory}} が表示されます。これを修正するには、壊れたツールを再構築して再インストールし、新しいライブラリに再リンクします。

一方、静的リンクは一般に保守が容易で、依存関係を更新するたびにすべてのツールをソースから再構築する必要がありません。これらの理由から、静的リンクは、パッケージシステム外のローカル開発では多くの場合推奨されるオプションです。静的リンクを希望する場合、詳細については [[Haskell#静的リンク|静的リンク]] または [[Haskell#代替インストール|代替インストール]] を参照してください。

{{Note|Arch が Haskell パッケージの動的リンクに移行した理由の詳細な説明については、この [https://www.reddit.com/r/linux/comments/9emwtu/arch_linux_ama/e5qssdz メンテナーの返答] を参照してください。}}

=== GHC を直接呼び出す ===

正常にリンクするには、{{ic|-dynamic}} フラグを GHC に渡す必要があります。次のファイルで試すことができます。

{{hc|Main.hs|2=
main = putStrLn "Hello, World"
}}

次のようにコンパイルして実行します。

{{hc|
$ ghc -dynamic Main.hs
$ ./Main|
Hello, World
}}

=== Cabal を動的リンク用に構成する ===

まず、次のコマンドを実行して、Hackage からパッケージの最新リストをダウンロードし、グローバル設定ファイル {{ic|~/.cabal/config}} (または、{{ic|$CABAL_CONFIG}} が指すファイル) を作成します。

$ cabal update

{{Tip|定期的に {{ic|cabal update}} を実行して、ローカルのパッケージと依存関係のリストを Hackage の最新バージョンと同期することをお勧めします。}}

Cabal を動的リンク用に設定するには、{{ic|~/.cabal/config}} 内の次のオプションのコメントを解除して編集します。

{{hc|~/.cabal/config|
library-vanilla: False
shared: True
executable-dynamic: True
program-default-options
ghc-options: -dynamic
}}

* {{ic|library-vanilla: False}} は静的ライブラリの作成を抑制します (プロジェクトにライブラリが含まれている場合)
* {{ic|shared: True}} は共有ライブラリの作成を有効にします(プロジェクトにライブラリが含まれている場合)
* {{ic|executable-dynamic: True}} は実行ファイルにダイナミックリンクを使用します (プロジェクトに実行ファイルが含まれている場合)
* {{ic|ghc-options: -dynamic}} は GHC の全ての呼び出しに {{ic|-dynamic}} フラグを追加します (例えば、パッケージが自明でない{{ic|Setup.hs}} を持っている場合)

=== 動的リンク用のスタックの設定 ===

{{ic|stack setup}} コマンドを使用してスタックを初期化し、グローバル設定ファイル {{ic|~/.stack/config.yaml}} を作成できます。デフォルトでは、スタックは最初の呼び出し時に独自のバージョンの GHC を隔離された場所に自動的にダウンロードします。代わりにスタックにシステム GHC インストールを使用させるには、{{ic|--system-ghc}} フラグと {{ic|--resolver}} フラグを指定して {{ic|stack setup}} を実行します。

$ stack setup --system-ghc --resolver ''resolver''

システムの GHC と互換性のあるリゾルバーを指定する必要があることに注意してください。それ以外の場合、スタックは {{ic|--system-ghc}} フラグを喜んで無視し、GHC の独自のコピーをダウンロードします。システム GHC のバージョンは、{{ic|ghc --version}} コマンドを使用して確認できます。

{{hc|$ ghc --version|
The Glorious Glasgow Haskell Compilation System, version 8.10.2
}}

次に、[https://www.stackage.org Stackage] Web サイトにアクセスし、システムの GHC バージョンに一致する適切な長期サポート (LTS) または夜間スナップショットを選択します。コマンドラインの {{ic|--resolver}} フラグに対して選択したスナップショットを使用します。例:{{ic|--resolver lts-16.15}} または {{ic|--resolver nightly-2020-09-01}}

Stackage は通常、新しい GHC リリースより遅れます。システム GHC のスタックスナップショットがまだリリースされていない場合があります。この場合、GHC の以前のマイナーバージョンのスナップショットを選択するか、Haskell インストールを一時的にダウングレードして、新しい GHC リリースのサポートが最終的に Stackage に提供されるまで待つことをお勧めします。

動的リンク用にスタックを構成するには、次のスニペットを {{ic|~/.stack/config.yaml}} に追加します。

{{hc|~/.stack/config.yaml|
# Stop downloading GHCs into isolated locations under ~/.stack.
install-ghc: false

# Allow Stack to pick the system GHC (false by default).
system-ghc: true

# Allow to use, say, Stackage snapshot for GHC 8.8.2 with system GHC 8.8.3.
compiler-check: newer-minor

# Add the -dynamic flag to every invocation of GHC.
ghc-options:
"$everything": -dynamic
}}

== Haskell パッケージの管理 ==

Haskell のライブラリと実行可能ファイルのほとんどは、Hackage および Stackage から入手できるソースパッケージの単位で配布されます。

他のコンパイル言語では一般的なことですが、多くの人気のある Haskell パッケージは、事前構築された形式で公式 Arch リポジトリから入手できます。いくつかの追加パッケージは [[AUR]] からインストールできます。

GHC、ライブラリ、およびツールをインストールするには [[pacman]] を使用することが推奨されますが、ある時点で、Hackage/Stackage から直接 Haskell パッケージをインストールしたり、ソースから独自の (または他の人の) パッケージをコンパイルしたくなるかもしれません。これを行うには、Cabal または Stack が必要になります。

次の表は、さまざまなパッケージ管理スタイルの長所と短所をまとめたものです。

{| class="wikitable"
! '''方法'''
! '''良い点'''
! '''悪い点'''
|-
| [[公式リポジトリ]] || ArchLinux 開発者が運営、パッケージのバージョンの整合性に問題なし、コンパイル済み || 利用できるパッケージの数が限られる、動的ライブラリのみ
|-
| [[#cabal-install|cabal-install]] || 全てのパッケージが利用可能、root 権限が不要 || インストール先がホームフォルダ、{{Pkg|cabal-install}} [https://ivanmiljenovic.wordpress.com/2010/03/15/repeat-after-me-cabal-is-not-a-package-manager はパッケージマネージャではない]、パッケージのバージョンの整合性に問題がある可能性 (別名 [http://www.haskell.org/haskellwiki/Cabal/Survival#What_is_the_difficulty_caused_by_Cabal-install.3F cabal hell])
|-
| [[#stack|stack]] || (Stackage にある) 全てのパッケージが利用可能、root 権限が不要 || インストール先がホームフォルダで、バージョンがスナップショットに固定、特定のパッケージを削除するのは難しい
|-
| [[Arch User Repository]] || 始めるのが簡単 || パッケージのメンテナンスがなくなる可能性、パッケージのバージョンの整合性に問題がある可能性
|-
|}

=== cabal ===

{{Note|Haskell では、''cabal'' という用語は次のいずれかを指します。:
* Haskell パッケージとその依存関係を記述する Cabal ファイルフォーマット;
* Cabal ファイルフォーマットで動作する Cabal ライブラリ;
* Haskell パッケージをビルドするために Cabal ライブラリを使用する {{ic|cabal}} コマンドラインツール ({{Pkg|cabal-install}} パッケージで提供されます)
この記事の文脈では、''Cabal'' は通常、特に指定がない限り {{ic|cabal}} コマンドラインツールを意味します。}}

Cabal は Haskell の "オリジナル" のビルドシステムです。Hackage で見つかるライブラリやツールのほとんどは、Cabal 経由でインストールできます。

==== パッケージのインストール ====

Cabal によってインストールされたユーザー全体の実行可能ファイルを実行するには、{{ic|~/.cabal/bin}} を {{ic|$PATH}} [[環境変数]] に追加する必要があります。

PATH="$HOME/.cabal/bin:$PATH"

次のコマンドを実行して、Hackage パッケージとそのすべての依存関係を 1 つのステップでインストールします。

$ cabal install --ghc-options=-dynamic ''package''

{{Note|2020年10月現在、Cabal は {{ic|~/.cabal/config}} の {{ic|ghc-options}} を無視し、{{ic|build-type: Custom}} を使ってパッケージをビルドしている間、{{ic|~/.cabal/config}} の {{ic|ghc-options}} を無視します。そのため、コマンドラインで {{ic|1=--ghc-options=-dynamic}} フラグを指定する必要があります。そうしないと {{ic|setup.hs}} で {{ic|Could not find module 'Prelude' There are files missing in the 'base-...' package}} のようなビルドエラーが発生するかもしれません。}}

Haskell パッケージをソースからビルドしてインストールすることもできます。これを行うには、パッケージディレクトリから次のコマンドを実行します。

$ cabal install --ghc-options=-dynamic

各 Cabal パッケージは、[https://pvp.haskell.org パッケージバージョン管理ポリシー] (PVP) に従って、依存関係のリストとそのバージョン制約を {{ic|.cabal}} ファイルに指定する必要があります。パッケージのインストール中に、Cabal はすべての制約を満たす一連の依存関係を見つけようとします。このプロセスは ''依存関係の解決'' と呼ばれます。

スタックが存在するのには理由があります。cabal は初心者との間に多くの軋轢を生むことで知られています。ほとんどの場合、依存関係の解決はうまく機能しますが、失敗する場合もあります。この場合、問題の原因を突き止め、問題のある依存関係を解決する方法について Cabal にヒントを与える必要があります。たとえば、場合によっては、Cabal がパッケージの PVP によって規定された依存関係の上限を無視できるようにするために、{{ic|1=cabal install --allow-newer --ghc-options=-dynamic ''package''}} と言う必要があります。バージョンを変更し、パッケージ作成者が許可したものよりも新しい依存関係を持つパッケージを効果的にインストールします。あまり適切に管理されていないパッケージの場合は、さらに面倒になります。別の例については、Idris (Haskell で書かれた別のプログラミング言語) のインストールに関する [https://groups.google.com/d/msg/idris-lang/h2uWYmqHcc0/5k0jNmQ3BAAJ このスレッド] を参照してください。{{ic|--allow-newer}} および {{ic|1=--constraint='haskeline < 0.8.0.0'}} コマンドラインフラグを使用してコンパイルを成功させます。

==== パッケージの削除 ====

簡単な方法はありません。 Cabal はこの機能をサポートしていませんが、[https://github.com/phadej/cabal-extras#cabal-store-gc cabal-store-gc] のような外部ツールがあります。

ユーザー全体の Haskell パッケージシステム全体を再インストールするには、{{ic|~/.cabal}} と {{ic|~/.ghc}} を削除して、最初から始めます。これは、GHC をアップグレードするときに必要になることがよくあります。

より正確に行うには、{{ic|ghc-pkg unregister ''package''}} または {{ic|ghc-pkg hide ''package''}}/{{ic|ghc-pkg expose ''package''}} を [https://downloads.haskell.org/ghc/8.10.2/docs/html/users_guide/packages.html#package-databases user package database] 上で直接使うことができます。しかし、どちらもファイルを削除しません。

=== Stack ===

Stack は、Haskell パッケージを管理するためのもう 1 つのツールです。それは cabal とは少し異なる目標を持ち、少し異なる哲学を持っています。これは内部で Cabal ライブラリを使用し、Hackage と統合します。ただし、スナップショットが厳選され、連携して適切に動作するパッケージが含まれることを約束して、独自のパッケージ (スナップショット) リポジトリを Stackage 上に維持します。

==== パッケージのインストール ====

デフォルトの設定では、Stack はコンパイル済みの実行ファイルを {{ic|~/.local/bin}} にインストールします。このディレクトリをシェル設定ファイルの {{ic|$PATH}} 環境変数に追加してください。例えば {{Pkg|bash}} なら {{ic|~/.bashrc}}、{{Pkg|zsh}} なら {{ic|~/.zshrc}} です:

export PATH="$HOME/.local/bin:$PATH"

次のコマンドを実行して、Stackage パッケージをダウンロード、ビルド、インストールします。

stack install ''package''

{{Note|2020 年 10 月現在 Stackは、[https://github.com/commercialhaskell/stack/issues/3409 ignores] {{ic|~/.stack/config.yaml}} から {{ic|ghc-options}} を {{ic|Setup.hs}} ビルド時に無視します。もし {{ic|Setup.hs}} で {{ic|Could not find module 'Prelude' There are files missing in the 'base-...' package}} のようなビルドエラーが発生したら、{{Pkg|ghc-static}} パッケージをインストールしてみてください。}}

パッケージディレクトリから次のコマンドを実行して、ソースから Haskell パッケージをビルドしてインストールすることもできます。

stack install --resolver ''resolver''

{{ic|stack setup}} コマンドで使用したものと同じリゾルバーを指定する必要があることに注意してください。

==== パッケージの削除 ====

スタックは "アンインストール" 操作をサポートしていません。

ユーザー全体の Haskell パッケージシステム全体を再インストールする場合は、{{ic|~/.stack}} ディレクトリを削除して、最初から始めてください。これは、GHC をアップグレードするときに必要になることがよくあります。

== 開発ツール ==

=== ツール ===

==== haskell-language-server ====

[https://github.com/haskell/haskell-language-server haskell-language-server] は、Haskell の [https://microsoft.github.io/language-server-protocol 言語サーバープロトコル] (LSP) 実装です。これは、コード補完、"定義に移動"、ホバーに関するドキュメント、リンティング、書式設定、または LSP と統合されたエディターのリファクタリングなどの IDE のような機能を提供します。

[[pacman]] から動的にリンクされた Haskell パッケージを使用している場合は、{{Pkg|haskell- language-server}} をインストールします。それ以外の場合、静的リンクを希望する場合は、{{AUR|haskell-langage-server-static}} をインストールしてください。このパッケージには、サポートされている GHC バージョンごとに静的にリンクされたバイナリが含まれています。あるいは、haskell-language-server は [[Haskell#ghcup|ghcup]] 経由、または [[Haskell#Visual Studio Code|Visual Studio Code]] の [https://marketplace.visualstudio.com/items?itemName=haskell.haskell Haskell 拡張機能] によってインストールできます。

haskell-language-serverは、プロジェクトを開いたときに自動的にビルド構成を決定しようとします。自動判別に失敗した場合は、プロジェクトのルートディレクトリにある {{ic|hie.yaml}} ファイルを使って [https://haskell-language-server.readthedocs.io/en/latest/configuration.html#configuring-your-project-build 手動で設定する] とよいでしょう。

==== ghcid ====

[https://github.com/ndmitchell/ghcid ghcid] は、Haskell 開発用の [https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci.html GHCi] ベースのツールです。は、ソースコードの変更ごとにコンパイラエラーと警告を表示するシンプルかつ堅牢な方法を提供します。{{AUR|ghcid}} パッケージ経由でインストールできます。

==== hoogle ====

[https://github.com/ndmitchell/hoogle hoogle] を使用すると、関数名またはおおよその型シグネチャによって Haskell ライブラリを検索できます。{{Pkg|hoogle}} パッケージ経由でインストールできます。

hoogle のオンライン版は https://hoogle.haskell.org で入手できます。

=== リンター ===

==== hlint ====

[https://github.com/ndmitchell/hlint hlint] は、代替関数の使用、コードの簡素化、冗長性の特定など、Haskell コードの改善の可能性を示唆しています。これは、{{Pkg|hlint}} パッケージを通じて入手できます。

==== stan ====

[https://github.com/kowainik/stan stan] は、[[Haskell#hlint|hlint]] を補完する Haskell 静的アナライザーです。2021 年 6 月現在はベータ段階です。

==== weeder ====

[https://github.com/ocharles/weeder weeder] はプログラム全体のデッドコード解析を行うアプリケーションです。

=== フォーマッタ ===

* {{App|Floskell|柔軟性と設定可能性に焦点を当てた hindent のフォーク|https://github.com/ennocramer/floskell|{{Pkg|haskell-floskell}}}}
* {{App|fourmolu|様々な書式パラメータを設定する機能を追加した Ormolu のフォーク|https://github.com/parsonsmatt/fourmolu|{{Pkg|haskell-fourmolu}}}}
* {{App|hindent|拡張可能な Haskell プリンター|https://github.com/mihaimaruseac/hindent|{{Pkg|hindent}}}}
* {{App|Ormolu|Haskell ソースコード用のフォーマッタで、設定を必要としない "真の" 書式スタイルを実装しています。|https://github.com/tweag/ormolu|{{Pkg|haskell-ormolu}}}}
* {{App|stylish-haskell|シンプルな Haskell コードの整形ツール。|https://github.com/jaspervdj/stylish-haskell|{{Pkg|stylish-haskell}}}}

=== エディタ ===

==== Visual Studio Code ====

[[Visual Studio Code]] には、[[Haskell#haskell-language-server|haskell-language-server]] を利用した [https://marketplace.visualstudio.com/items?itemName=haskell.haskell Haskell 拡張機能] があります。haskell-language-server がインストールされていない場合は、Haskell 拡張機能が静的にリンクされた Linux バイナリを自動的にダウンロードしてインストールします。

==== IntelliJ IDEA ====

[https://www.jetbrains.com/idea IntelliJ IDEA] Haskell のサポートは、[https://plugins.jetbrains.com/plugin/8258-intellij-haskell Haskell プラグイン] によって提供されます。 {{Pkg|intellij-idea-community-edition}} を含む IntelliJ IDEA のどのエディションでも動作します。

新しいプロジェクトを作成するか、既存のプロジェクトを IntelliJ IDEA にインポートするには、Stack をインストールする必要があります。2021 年 6 月現在、Cabal のみのプロジェクト [https://github.com/rikvdkleij/intellij-haskell/issues/625 はサポートされていません]

==== Vim ====

[[Vim]] の基本的な設定のハイライトとインデントは、[https://github.com/neovimhaskell/haskell-vim haskell-vim] プラグインを介して取得できます。IDE のようなエクスペリエンスを向上させるには、[https://vimawesome.com/?q=LSP LSP client] プラグイン (例:[https://github.com/neoclide/coc.nvim coc.nvim]、[https://github.com/dense-analysis/ale ALE]、[https://github.com/autozimu/LanguageClient-neovim LanguageClient-neovim]) と [[Haskell#haskell-language-server|haskell- language-server]]

==== Emacs ====

Haskell の基本的な [[Emacs]] サポートは、公式 [https://github.com/haskell/haskell-mode haskell-mode] によって提供されます。より高度な機能については、[https://github.com/emacs-lsp/lsp-haskell lsp-haskell] を [[Haskell#haskell-langage-server|haskell-language-server]] とともに使用してください。

== 代替インストール ==

{{Note|このセクションでは、公式リポジトリのパッケージを使用せずに、Haskell を Arch にインストールする別の方法について説明します。以前に GHC、Cabal、Stack、またはその他の Haskell パッケージをインストールした場合は、必ず最初にそれらをアンインストールしてください。{{ic|~/.cabal}} ディレクトリと {{ic|~/.stack}} ディレクトリが存在する場合は削除します。}}

汎用 Linux ディストリビューションに Haskell をインストールするには、[https://ghcup.readthedocs.io/en/latest ghcup] と [https://www.haskellstack.org Stack] という 2 つの公式に推奨される方法があります。どちらの方法でも、静的にリンクされた GHC、ツール、ライブラリがホームディレクトリにインストールされます。

公式リポジトリの Haskell パッケージの代わりに ghcup または Stack を使用する利点は、複数のバージョンの GHC を並べてインストールして管理できることです。この方法でインストールされた Cabal と Stack は通常、追加の設定を行わずにすぐに動作するため、初心者にとっては簡単かもしれません。

Haskell をインストールするまったく異なる方法は、[[Nix]] パッケージマネージャーです。Nix は学習曲線がより急峻ですが、Haskell パッケージと非 Haskell パッケージの両方を信頼性が高く再現可能な方法で管理する上でより高い柔軟性を提供します。

=== ghcup ===

ghcup は、GHC の複数のバージョンを簡単にインストールし、それらを切り替えることができるコマンドラインツールです。これは、[https://github.com/rust-lang/rustuprusup]、[https://github.com/pyenv/pyenv pyenv]、および [https://www.jenv.be jenv] とスコープが似ています。

{{AUR|ghcup-hs-bin}} パッケージをインストールしてください。あるいは、公式の [https://www.haskell.org/ghcup インストール手順] に従うか、手動で [https://downloads.haskell.org/~ghcup ghcup バイナリ] をダウンロードして {{ic|$PATH}} のどこかに置いてください。

デフォルトでは、ghcup は GHC 実行ファイルを {{ic|~/.ghcup/bin}} にインストールします。このディレクトリをシェル設定ファイルの {{ic|$PATH}} 環境変数に追加する必要があります。例えば {{Pkg|bash}} なら {{ic|~/.bashrc}}、{{Pkg|zsh}} なら {{ic|~/.zshrc}} です。Cabal によってインストールされた実行可能ファイルを実行したい場合は、{{ic|~/.cabal/bin}} も {{ic|$PATH}} に追加してください:

export PATH="$HOME/.cabal/bin:$HOME/.ghcup/bin:$PATH"

{{Tip|XDG スタイルのディレクトリを使用する場合は、{{ic|GHCUP_USE_XDG_DIRS}} 環境変数 (https://ghcup.readthedocs.io/en/latest/guide/#xdg-support) を定義します。}}

ghcup は、その機能のほとんどをサポートする便利な TUI を提供します。

$ ghcup tui

あるいは、次の CLI コマンドを使用することもできます。

GHC と Cabal の利用可能なバージョンをリストします。

$ ghcup list

推奨バージョンの GHC をインストールします。

$ ghcup install ghc

たとえば、GHC の特定のバージョンをインストールすることもできます。

$ ghcup install ghc 8.10.2

上記のコマンドでは、GHC が {{ic|$PATH}} で自動的に利用可能になるわけではありません。デフォルトで使用する GHC バージョンを選択する必要があります。

$ ghcup set ghc 8.10.2

Cabal の推奨バージョンをインストールします。

$ ghcup install cabal

Cabal を使用して、特別な設定やコマンドラインフラグを必要とせずに、静的にリンクされた Haskell 実行可能ファイルをビルドおよびインストールできるようになりました。

{{bc|
$ cabal update
$ cabal install ''executable''
}}

新しい Cabal プロジェクトを開始するには:
{{hc|
$ cd /path/to/my-project
$ cabal init
$ cabal build
$ cabal run|
Up to date
Hello, Haskell!
}}

[[Haskell#haskell-language-server|haskell-language-server]] をインストールするには、次のコマンドを使用します。

$ ghcup install hls

詳細については、公式 [https://ghcup.readthedocs.io/en/latest/guide ghcup] および [https://cabal.readthedocs.io/en/latest Cabal] ドキュメントを参照してください。

==== ネイティブインストールでの使用 ====

ネイティブインストールと一緒に '''GHCup と Cabal''' を使用することを決めた場合、Cabal にどの GHC を使用するかを指定する必要があります。{{ic|$HOME/.config/cabal/config}} ファイルで使用する GHC バージョンのパスを指定し、{{ic|with-compiler:}} 行を探してコメントを解除してください。

with-compiler: ''path_of_your_ghc''

GHCup を使用する場合、GHC のパスは {{ic|$HOME/.ghcup/bin}} 配下に配置されることを覚えておいてください。また、GHCup は使用したい GHC のバージョンを設定すると、そのバージョンを {{ic|$HOME/.ghcup/bin/ghc}} にリンクします。このパスを Cabal の設定に指定しておけば、GHCup を使って Cabal が使用する GHC のバージョンを切り替えることができます。

=== Stack ===

{{AUR|stack-static}} パッケージをインストールします。あるいは、公式の [https://docs.haskellstack.org/en/stable/install_and_upgrade インストール手順] に従うか、[https://github.com/commercialhaskell/stack/releases スタックバイナリ] を手動でダウンロードして、それをあなたの {{ic|$PATH}} に配置することもできます。

スタックによってインストールされた実行可能ファイルを実行したい場合は、シェル設定ファイルの {{ic|$PATH}} 環境変数に {{ic|~/.local/bin}} ディレクトリを追加します (例:{{ic|~/) {{Pkg|bash}} の場合は、{ic|~/.bashrc}} {{Pkg|zsh}} の場合は {{ic|~/.zshrc}}:

export PATH="$HOME/.local/bin:$PATH"

{{ic|stack setup}} を実行して、最新のスタック LTS スナップショットから GHC を自動的にインストールします。

$ stack setup

特別な設定やコマンドラインフラグを必要とせずに、Stack を使用して静的にリンクされた Haskell パッケージを構築およびインストールできるようになりました。

$ stack install ''package''

詳細については、公式 [https://docs.haskellstack.org/en/stable Stack ドキュメント] を参照してください。

=== Nix ===

{{Expansion|I cannot offer a good enough overview, due to no experience with it}}

== ヒントとテクニック ==

=== 静的リンク ===

{{Note|
* このセクションでは、静的にリンクされた Haskell パッケージを Arch 上でビルドしながら、公式リポジトリからインストールされた GHC を使用する方法について説明します。続行する前に、{{ic|~/.cabal}} ディレクトリと {{ic|~/.stack}} ディレクトリが存在する場合は必ず削除してください。
* この記事の文脈において、静的リンクは完全に静的な ELF バイナリを生成することを意味するものではありません。Haskell コードのみが単一の ELF バイナリに静的にリンクされ、それは {{Pkg|glibc}} などの他のシステムライブラリに動的にリンクされる場合があります。
}}

静的リンクを使用するには、少なくとも、{{Pkg|ghc-static}} パッケージを通じて静的ブートライブラリをインストールする必要があります。これにより、ブートライブラリだけでなく、公式リポジトリから {{ic|haskell-*}} パッケージを通じてインストールされない他のライブラリにもっぱら依存するプロジェクトをビルドできるようになります。

残念ながら、プロジェクトがインストールした動的にリンクされた {{ic|haskell-*}} パッケージのいずれかに依存している場合、Cabal は依存関係の解決時に静的ライブラリの不在を考慮しません。その結果、既存の {{ic|haskell-*}} パッケージを使用しようとし、静的ライブラリを検出すると [https://bugs.archlinux.org/task/54563#comment158808 linker errors] で失敗します。:

Could not find module ‘''SomePackage.SomeModule''’
There are files missing in the ‘''somepackage-0.1.0.0''’ package,
try running 'ghc-pkg check'.
Use -v (or `:set -v` in ghci) to see a list of the files searched for.

{{ic|ghc-static}}とは異なり、連携可能な "{{ic|haskell-*-static}}" パッケージはありません。ただし、以下の各セクションで説明するように、この問題を回避する他の方法もあります。

==== 静的グローバルパッケージデータベース ====

直接的な [https://www.reddit.com/r/linux/comments/9emwtu/arch_linux_ama/efjnyd6/ アプローチ] は、公式の {{Pkg|ghc-static}} パッケージによって提供されており、代替の "静的" パッケージが公開されています。グローバルパッケージデータベース({{ic|/usr/lib/ghc-''version''/static-package.conf.d}})静的データベースは、静的にリンク可能なブートパッケージのみに制限されているため、デフォルトデータベースの代わりに静的データベースを使用するように Cabal が再構成されている場合、動的専用の {{ic|haskell-*}} パッケージがリンクされていないかのように動作します。

静的データベースの正確なパスは、次のようなコマンドを使用して構築時に決定できます。

{{hc|
$ ghc --print-global-package-db {{!}} sed 's/$package\.conf\.d$$/static-\1/'|
/usr/lib/ghc-''version''/static-package.conf.d
}}

静的データベースを使用できるようにする方法は次のとおりです。

* Cabal でパッケージを構築する場合、次のフラグを渡すと、グローバルパッケージの選択をブートパッケージのみに制限できます。

$ cabal configure --ghc-pkg-option="--global-package-db=$(ghc --print-global-package-db | sed 's/$package\.conf\.d$$/static-\1/')"

* Cabal ではなく GHC を使用して直接ビルドする場合、次のフラグを渡してグローバルパッケージデータベースをオーバーライドできます。

$ ghc -clear-package-db -package-db "$(ghc --print-global-package-db | sed 's/$package\.conf\.d$$/static-\1/')" -user-package-db ...

==== ghc-pristine ====

{{AUR|ghc-pristine}} パッケージをインストールします。このパッケージは既存の GHC インストールをラップして、ブートライブラリのみを含むパッケージデータベースを備えた別の GHC ディストリビューションを {{ic|/usr/share/ghc-pristine}} に作成します。これにより、動的にリンクされた {{ic|haskell-*}} パッケージを使用せずに半分離環境が効果的に作成されますが、それでも公式リポジトリの GHC コンパイラーが利用されます。次に、静的リンクを使用してソフトウェアを構築するには、ラップされたコンパイラー {{ic|/usr/share/ghc-pristine/bin/ghc}} を呼び出すだけです。Cabal の場合、これは {{ic|~/.cabal/config}} の次の構成に相当します。

{{hc|~/.cabal/config|
with-compiler: /usr/share/ghc-pristine/bin/ghc
}}

プロジェクトディレクトリから次のコマンドを実行して、プロジェクトごとにコンパイラへのパスを指定することもできます。

$ cabal configure --with-compiler=/usr/share/ghc-pristine/bin/ghc

==== cabal-static ====

Arch で静的リンクを取り戻すもう 1 つの方法は、{{AUR|cabal-static}} パッケージをインストールすることです。公式の {{Pkg|cabal-install}} とは異なり、これは動的にリンクされた {{ic|haskell-*}} の依存関係を公式リポジトリから取得せず、同じシステムにインストールされた静的 Haskell ライブラリと共有 Haskell ライブラリの混合を回避します。その後、次の制限付きで通常どおり Cabal を使用できます: インストールした他の Haskell パッケージが {{Pkg|ghc}}、{{Pkg|ghc-libs}} のみであることを確認する必要があります。および {{Pkg|ghc-static}} ({{Pkg|cabal-install}}、{{Pkg|stack}}、および公式リポジトリで入手可能な {{ic|haskell-*}} パッケージではありません。)

==== stack-static ====

{{AUR|stack-static}} パッケージをインストールします。{{ic|cabal-static}} メソッドと同様に、公式リポジトリからインストールした他の Haskell パッケージが {{Pkg|ghc}}、{{Pkg|ghc-libs}}、および {{Pkg|ghc-static}} のみであることを確認してください。次に、[[Haskell#動的リンク用のスタックの設定|動的リンク用のスタックの設定]] で説明されているように、システム GHC を使用するようにスタックをセットアップします。

$ stack setup --system-ghc --resolver ''resolver''

これらのオプションを永続的にするには、次のスニペットを {{ic|~/.stack/config.yaml}} に貼り付けます。

{{hc|~/.stack/config.yaml|
# Stop downloading GHCs into isolated locations under ~/.stack.
install-ghc: false

# Allow Stack to pick the system GHC (false by default).
system-ghc: true

# Allow to use, say, Stackage snapshot for GHC 8.8.2 with system GHC 8.8.3.
compiler-check: newer-minor
}}

この設定では、通常と同じように静的にリンクされたパッケージをビルドできますが、Stack によって提供される GHC の代わりにシステム GHC インストールを使用します。

==== hpack-static-bin ====

{{AUR|hpack-static-bin}} は、{{Pkg|haskell-hpack}} の代わりに静的にリンクされた ({{ic|haskell-*}} 依存関係がないことを意味します) を提供します。プリコンパイルされているため、make 依存関係は必要ありません。

== 参照 ==

* [https://www.haskell.org Official website of the Haskell programming language]
* [https://www.haskell.org/documentation Haskell documentation]
* [https://wiki.haskell.org/Haskell Haskell Wiki]
* [https://downloads.haskell.org/ghc/latest/docs/html/users_guide GHC User Guide]
* [https://cabal.readthedocs.io/en/latest Cabal User Guide]
* [https://docs.haskellstack.org/en/stable Stack User Guide]
* [https://hackage.haskell.org Haskell community's central package archive]
* [https://www.stackage.org Stable source of Haskell packages]
* [https://hoogle.haskell.org Haskell API search engine]
* [http://learnyouahaskell.com Learn You a Haskell for Great Good!]
* [http://book.realworldhaskell.org Real World Haskell]
* [https://en.wikibooks.org/wiki/Haskell Haskell Wikibook]
* [http://dev.stephendiehl.com/hask What I Wish I Knew When Learning Haskell]
* [https://github.com/krispo/awesome-haskell Awesome Haskell: an auxiliary list of awesome Haskell links, frameworks, libraries and software]

ArchWiki - 利用者の投稿記録 [ja]

Haskell