Haskellの環境構築（Windows）

Haskellは、高度な純粋関数型プログラミング言語で、強力な型システムと静的型付けを特徴としています。関数型プログラミングを学ぶには最適な言語のひとつです。

本記事では、Haskellの開発環境をWindowsで用意するための方法について紹介しますが、Linuxでも環境は用意できます。LinuxのUbuntuにインストールする方法は「Haskellのインストール方法 （Linux）」でまとめているのでLinuxをお使いの方はこちらを参考にしてください。

なお、Haskellは、WindowsとLinuxの両方の環境で使用されますが、一般的にはLinuxがより好まれる傾向にあります。これは、多くの開発者やシステム管理者がLinuxを好むため、より多くのオープンソースプロジェクトや開発ツールがLinux環境に最適化されているためです。HaskellはどちらのOSでも動作しますが、Linux環境では特にパッケージ管理や環境設定が容易であると言われています。

ただし、これは一般的な傾向であり、特定のプロジェクトやチームによってはWindows環境でHaskellを積極的に使用している場合もあります。また、開発者の個人的な好みや特定のプロジェクトの要件によっても、使用されるOSは異なる可能性がありますので必要に応じて検討してください。

本記事では、Haskellの開発環境をWindowsで用意する方法について説明します。なお、本記事の前提として使用したOSとしては、Windows11とします。

Haskellのインストール

Haskell関連のインストールは、Haskellの公式ダウンロードページの情報を参考に行います。

本記事では、GHCのインストーラーであるGHCupを使用してGHCのインストールを行います。

GHC (Glasgow Haskell Compiler)は、最も広く使われているHaskellコンパイラであり、GHCupは、Haskell環境構築のためのインストーラのことです。

インストール手順

Haskellダウンロードページの「GHCup」ボタンをクリックすると、GHCupのページに遷移します。初期表示時にはWindowsのインストールに関する表示がされていると思います。

WindowsのPower Shellを開いて、表示されている以下のコマンドを実行します。上記画面のコピーボタンからコピーできます。

Set-ExecutionPolicy Bypass -Scope Process -Force;[System.Net.ServicePointManager]::SecurityProtocol = [System.Net.ServicePointManager]::SecurityProtocol -bor 3072; try { Invoke-Command -ScriptBlock ([ScriptBlock]::Create((Invoke-WebRequest https://www.haskell.org/ghcup/sh/bootstrap-haskell.ps1 -UseBasicParsing))) -ArgumentList $true } catch { Write-Error $_ }

上記のコマンドについて簡単に説明すると以下のようになります。

すごく簡単に言ってしまうとPowerShellの実行ポリシーを変更しつつ、Haskellのインストールのためのps1ファイルをインストールしてきて実行するということです。

コマンドを実行すると以下のような表示がされます。インストールパスとしてCドライブいかにインストールされることが表示されます。問題がなければenterをクリックしてください。

次に、GHCupのインストールパスの表示がされます。問題がなければenterをクリックしてください。

haskell-language-server (HLS)のインストールをするか確認があります。HLSは、Haskellプログラミング言語のための高度な言語サーバーで、Haskell開発において多くの利点を提供してくれるため、インストールしておきます。「Y」を入力してENTERをクリックします。

stackの設定を実行するか確認があります。「Y」を入力して有効化するようにします。stackは、Haskellのプロジェクト管理およびビルドのためのツールです。

Desktopにショートカットを作るか聞かれるので「Y」を入力してENTERをクリックします。

MSys2のインストールの確認があるので「Y」を入力してENTERをクリックします。MSys2はWindowsでUnixのような開発環境とツールチェーンを提供するソフトウェアです。

その後にダウンロードやインストールが順次進んでいきます。

画面が勝手に切り替わったりと比較的時間がかかりますので、しばらく待ちましょう。表示されるプロンプトの全ての処理が終わればインストールは完了です。

GHCiの実行

Haskellの実行環境の確認する方法としては、GHCのインタラクティブな対話型シェルであるGHCiを確認してみることです。コマンドプロンプトで以下を実行してみてください。

ghci

GHCiが起動すると以下のような表示となります。

GHCiは、インタラクティブな対話型シェルのため、その場で計算を実行したり、Haskellプログラム(.hs)をロードして実行するといったことが可能です。「GHCiの主要なコマンド」でGHCiの主要なコマンドを説明しているので、参考にして触ってみてもらえると面白いかと思います。

Haskellの開発環境の準備

Haskellがインストールできたら開発環境を準備して実際の開発をします。

Haskellの開発環境としては、他の言語の開発でもよく使用されるVisual Studio Code (VSCode)が使用できます。VSCodeは、拡張機能の豊富さ、そしてHaskell Language Serverとの互換性により、シンタックスハイライト、コード補完などの機能が利用できます。

VSCodeでの環境の準備方法については「VSCodeでHaskellの開発環境を構築する方法」でまとめていますので参考にしてください。

まとめ

HaskellをLinuxにインストールする方法について解説します。具体的には、Windows11を対象にします。

Haskellは、高度な純粋関数型プログラミング言語で、強力な型システムと静的型付けを特徴としています。Haskell環境を構築して、是非Haskellでのプログラム開発や学習に役立ててもらえたらと思います。

なお、記事冒頭でも紹介したようにHaskellはLinuxでも環境を構築できます。Linuxにインストールしたい場合は「Haskellのインストール方法 （Linux）」を参考にしてください。

GHCi

Haskellのコンパイラで広く利用されているものはGHC (Glasgow Haskell Compiler)です。GHCには、インタラクティブな対話型シェルであるGHCiがあります。

GHCiを使うことでモジュール分割されたファイルの関数を個別に動作確認するといったことも可能となるため非常に便利です。Haskellでは、GHCiで各モジュールの関数を動作確認し、確認が終わったらGHCでコンパイルするという開発の流れが一般的です。

GHCiには様々なコマンドがありますが、主要なコマンドを把握しておくことは非常に役立ちます。本記事では、GHCiの主要なコマンドを紹介します。

GHCiの主要なコマンド

以降では、GHCiにおける主要なコマンドを紹介していきます。実行例で表示している「$」「ghci>」の部分については端末への入力を意味します。

GHCiを終了する (:q)

対話型インターフェースを使う場合にまず覚えないといけないことは、GHCiの終了方法です。GHCiを終了するには「:q」コマンドを使用します。

$ ghci
ghci> :q
Leaving GHCi.

ヘルプを表示する (:? または :help)

GHCiで使用できコマンドを表示する場合には「:?」または「:help」コマンドを使用します。

$ ghci
ghci> :?
 Commands available from the prompt:

   <statement>                 evaluate/run <statement>
   :                           repeat last command
   :{\n ..lines.. \n:}\n       multiline command
   :add [*]<module> ...        add module(s) to the current target set
   :browse[!] [[*]<mod>]       display the names defined by module <mod>
                               (!: more details; *: all top-level names)
   :cd <dir>                   change directory to <dir>
(...省略...)

ファイルをロードする（:l または :load）

以下のようなtest.hsというプログラムがあるとします。このファイルをGHCiで読み込んで関数を実行する場合を例にファイルをロードする方法を説明します。

-- Test用Haskellプログラム
-- main関数を開始
main :: IO ()
main = do
    -- テスト出力
    print "Hello World!"

GHCiでHaskellプログラムを読み込む場合には、以下のように読み込むことができます。読み込んだ後でmain関数などのプログラム中の関数を呼び出して実行することが可能です。

$ ghci test.hs
[1 of 2] Compiling Main             ( test.hs, interpreted )
Ok, one module loaded.
ghci> main
"Hello World!"

GHCiを立ち上げた状態でHaskellプログラムを読み込む場合には「:l」または「:load」コマンドを使用します。

$ ghci
ghci> :l test.hs
[1 of 2] Compiling Main             ( test.hs, interpreted )
Ok, one module loaded.
ghci> main
"Hello World!"

型を表示する (:t または :type)

Haskellでは、強力な型システムが特徴的な関数型プログラミング言語です。そのため、型の情報を調べて正確に把握することは非常に重要になります。GHCiで、型を調べる際には「:t」または「:type」コマンドを使用します。

式の型を表示する

Haskellでは、単一の値、例えば数値や文字列、またはより複雑な関数の呼び出しなど、評価されるあらゆるものを式（expression）と呼びます。以下のように、Haskellでの式の型を確認することができます。

$ ghci
ghci> :t 10
10 :: Num a => a

上記では、数値10がNum型クラスの任意のインスタンスaであることを示しています。これは、10が整数(Int)や倍精度浮動小数点数(Double)等のその他 Num型クラスのインスタンスである任意の数値型であることを意味します。

この型シグネチャは、10が特定の型に限定されていないことを示していて、Haskellの型推論システムがその文脈に応じて適切な具体的な型を選択できるようにします。

関数の型を表示する

関数の型を表示する場合には、以下のように確認することができます。以下は、reverse関数の型を確認してみた例です。

$ ghci
ghci> :t reverse
reverse :: [a] -> [a]

reverse :: [a] -> [a]は、Haskellの型シグネチャで、reverse関数が任意の型aのリスト（[a]）を受け取り、同じ型の要素を持つ新しいリストを返すことを意味しています。

この型シグネチャは、reverse関数が型に依存しない汎用関数であることを示しており、任意の型のリストに適用できることを意味しています。

型がどの型クラスのインスタンスかを表示する (:instances)

Haskellでは、型クラスのインスタンスとなっている型があります。型がどの型クラスのインスタンスとなっているかを確認したい場合には、「:instances」コマンドを使用します。

$ ghci
ghci> :instances Int
instance Bounded Int -- Defined in ‘GHC.Enum’
instance Read Int -- Defined in ‘GHC.Read’
instance Enum Int -- Defined in ‘GHC.Enum’
instance Integral Int -- Defined in ‘GHC.Real’
instance Num Int -- Defined in ‘GHC.Num’
instance Real Int -- Defined in ‘GHC.Real’
instance Show Int -- Defined in ‘GHC.Show’
instance Eq Int -- Defined in ‘GHC.Classes’
instance Ord Int -- Defined in ‘GHC.Classes’

上記例では、Int型は、Bounded、Read、Enum、Integral、Num、Real、Show、Eq、Ordといった型クラスのインスタンスとなっていることを示しています。

このようにどの型クラスのインスタンスかを確認することで、その型が有する特徴を把握することができるようになります。

情報を表示する (:info)

指定した識別子（変数、関数、型、型クラス等）に関する詳細情報を確認したい場合には、「:info」コマンドを使用します。以下では、いくつかの例を用いて紹介します。

以下結果を見てもらうと分かりますが:infoコマンドは、:typeや:instancesを包含したような情報を提供してくれます。

変数の情報

変数の情報は、以下のように確認できます。

$ ghci
ghci> let x = 10
ghci> :info x
x :: Num a => a         -- Defined at <interactive>:1:5

上記例では、GHCi上で定義したxについて情報を表示しています。xは、Num型クラスの任意のインスタンスaであることを示しています。また、定義されている場所に関する情報も付与されています。

関数の情報

関数の情報は、以下のように確認できます。以下は、reverse関数の情報を確認してみた例です。

$ ghci
ghci> :info reverse
reverse :: [a] -> [a] 	-- Defined in ‘GHC.List’

結果としては、:typeコマンドでの結果と似ていますが、リストの定義情報が提示されているなど追加の情報が表示されています。:typeコマンドが型の情報を表示するのに対して、:infoコマンドはより詳細な情報を表示します。

型の情報

型の情報は、以下のように確認できます。以下は、Maybe型の情報を確認してみた例です。

$ ghci
ghci> :info Maybe
type Maybe :: * -> *
data Maybe a = Nothing | Just a
  	-- Defined in ‘GHC.Maybe’
instance Semigroup a => Monoid (Maybe a) -- Defined in ‘GHC.Base’
instance Semigroup a => Semigroup (Maybe a)
  -- Defined in ‘GHC.Base’
instance Foldable Maybe -- Defined in ‘Data.Foldable’
instance Traversable Maybe -- Defined in ‘Data.Traversable’
instance Read a => Read (Maybe a) -- Defined in ‘GHC.Read’
instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
instance Applicative Maybe -- Defined in ‘GHC.Base’
instance Functor Maybe -- Defined in ‘GHC.Base’
instance MonadFail Maybe -- Defined in ‘Control.Monad.Fail’
instance Monad Maybe -- Defined in ‘GHC.Base’
instance Eq a => Eq (Maybe a) -- Defined in ‘GHC.Maybe’
instance Ord a => Ord (Maybe a) -- Defined in ‘GHC.Maybe’

上記では、Maybeの定義情報や、Maybeがどの型クラスのインスタンスかの情報を提供してくれます。

型クラスの情報

型クラスの情報は、以下のように確認できます。以下は、Monad型クラスの情報を確認してみた例です。

$ ghci
ghci> :info Monad
type Monad :: (* -> *) -> Constraint
class Applicative m => Monad m where
  (>>=) :: m a -> (a -> m b) -> m b
  (>>) :: m a -> m b -> m b
  return :: a -> m a
  {-# MINIMAL (>>=) #-}
  	-- Defined in ‘GHC.Base’
instance Monoid a => Monad ((,) a) -- Defined in ‘GHC.Base’
instance (Monoid a, Monoid b) => Monad ((,,) a b)
  -- Defined in ‘GHC.Base’
instance (Monoid a, Monoid b, Monoid c) => Monad ((,,,) a b c)
  -- Defined in ‘GHC.Base’
instance Monad ((->) r) -- Defined in ‘GHC.Base’
instance Monad IO -- Defined in ‘GHC.Base’
instance Monad Maybe -- Defined in ‘GHC.Base’
instance Monad Solo -- Defined in ‘GHC.Base’
instance Monad [] -- Defined in ‘GHC.Base’
instance Monad (Either e) -- Defined in ‘Data.Either’

上記では、Monadのクラス定義情報や、Monadがどの型クラスのインスタンスかの情報を提供してくれます。

型コンストラクタのカインドを表示する (:kind)

Haskellにおいて型コンストラクタとは、型を生成するためのもので他の型を引数として取ることができます。カインドとは、型コンストラクタが取ることのできる型引数を表すもので、型の「型」のようなものです。

GHCiの「:kind」コマンドを使用することで調べることができます。

単純な型コンストラクタ

単純な型で型コンストラクタを調べてみます。以下は、Intのカインドを調べる例です。

$ ghci
ghci> :kind Int
Int :: *

Intのような具体的な型がカインド「*」であることは、追加の型引数を取らないことを意味しています。

引数がある型コンストラクタ　(引数が1つ)

引数がありパラメータ化されている方として代表的なものとしては、Maybe型があります。以下は、Maybe型のカインドを調べる例です。

$ ghci
ghci> :kind Maybe
Maybe :: * -> *

Maybeのような引数を1つ取る型のカインドは「* -> *」というようになります。Maybeでは、Maybe Intといった表記を見たことがあると思いますが、これはMaybeがIntを引数に取っていることを意味します。

Maybeは欠損値に対応するために、値が存在するかもしれないことを表現するものであるため、Maybe Intは、Intが存在するかもしれないし、存在しないかもしれないということを表現します。

複数の引数がある型コンストラクタ (引数が2つ)

複数の引数を受け取る方もあり、代表的なものとしては、Either型があります。以下は、Either型のカインドを調べる例です。

$ ghci
ghci> :kind Either
Either :: * -> * -> *

Eitherのような引数を2つ取る型のカインドは「* -> * -> *」というようになります。Eitherでは、Either String Intといった表記を見たことがあると思いますが、これはEitherがStringとIntを引数に取っていることを意味します。

Eitherは、2つの異なる型の値のいずれかを含むことを表現するものであるため、Either String Intは、StringかIntのいずれかということになります。例えば、エラー処理においてエラー文字列を返すか、成功した値を返すような場合に使用します。

まとめ

HaskellコンパイラであるGHC (Glasgow Haskell Compiler)のインタラクティブ対話型シェルのGHCiの主要なコマンドについて紹介しました。

本記事では、よく使うであろう代表的なコマンドについて紹介しています。Haskellでは、GHCiで各モジュールの関数を動作確認し、確認が終わったらGHCでコンパイルするという開発の流れが一般的です。

GHCiには様々なコマンドがありますが、主要なコマンドを把握しておくことは非常に役立ちますので参考にしてもらえればと思います。

Haskellの環境構築

Haskellは、高度な純粋関数型プログラミング言語で、強力な型システムと静的型付けを特徴としています。関数型プログラミングを学ぶには最適な言語のひとつです。

本記事では、Haskellの開発環境をLinuxで用意するための方法について紹介しますが、Windowsでも環境は用意できます。Windowsにインストールする方法は「Haskellのインストール方法（Windows）」でまとめているのでLinuxをお使いの方はこちらを参考にしてください。

なお、Haskellは、WindowsとLinuxの両方の環境で使用されますが、一般的にはLinuxがより好まれる傾向にあります。これは、多くの開発者やシステム管理者がLinuxを好むため、より多くのオープンソースプロジェクトや開発ツールがLinux環境に最適化されているためです。HaskellはどちらのOSでも動作しますが、Linux環境では特にパッケージ管理や環境設定が容易であると言われています。

ただし、これは一般的な傾向であり、特定のプロジェクトやチームによってはWindows環境でHaskellを積極的に使用している場合もあります。また、開発者の個人的な好みや特定のプロジェクトの要件によっても、使用されるOSは異なる可能性がありますので必要に応じて検討してください。

本記事では、Haskellの開発環境をLinuxで用意する方法について説明します。なお、本記事の前提として使用したOSとしては、Ubuntu 22.04.3 LTS (64bit)とします。なお、異なるバージョンのUbuntuや同じDebian系のLinuxのディストリビューションであれば同様にインストールができる可能性があります。

Haskellのインストール

Haskell関連のインストールは、Haskellの公式ダウンロードページの情報を参考に行います。

本記事では、GHCのインストーラーであるGHCupを使用してGHCのインストールを行います。

GHC (Glasgow Haskell Compiler)は、最も広く使われているHaskellコンパイラであり、GHCupは、Haskell環境構築のためのインストーラのことです。

インストール手順

Haskellダウンロードページの「GHCup」ボタンをクリックすると、GHCupのページに遷移します。初期表示時にはWindowsのインストールに関する表示のみとなっていますが、「Show all platforms」ボタンをクリックすることで、Linux等に関するインストールコマンドも表示されます。

Ubuntuのターミナル(端末)でインストールのための以下コマンドを実行します。上記画面のコピーボタンからコピーできます。

curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh

curlは、URLからデータを転送するためのコマンドラインツールです。上記のコマンドを簡単に説明すると以下のようになります。

sudo apt install curl

curlを実行すると以下のような画面が表示されます。指示に従って「ENTER」をクリックしてください。

bash shellの設定ファイルである.bashrcに自動で必要なパスを追加するか確認があるため、「P」を入力してENTERをクリックします。

haskell-language-server (HLS)のインストールをするか確認があります。HLSは、Haskellプログラミング言語のための高度な言語サーバーで、Haskell開発において多くの利点を提供してくれるため、インストールしておきます。「Y」を入力してENTERをクリックします。

stackの設定を実行するか確認があります。「Y」を入力して有効化するようにします。stackは、Haskellのプロジェクト管理およびビルドのためのツールです。

インストールの確認が出るので、ENTERをクリックしてインストールを開始します。

インストールが開始されます。ダウンロードなどのコマンドが順次表示されていくので、しばらく待ちましょう。

インストールがすべて完了して以下のような表示になればHaskellのインストールは完了です。

インストールの途中で確認にあった.bashrcには、パスの情報が追加されていますが、反映するために以下を実行します。

source ~/.bashrc

上記でHaskellのインストールは一通り完了です。

【インストール時のエラー】

インストール時に以下のようなエラーが発生する場合があります。（私はここで理由が分からず少し時間がかかりました。）

理由としてはコンパイルに必要なmakeやclangが不足していたためでした。上記のようなエラーが発生した場合には、sudo apt installを使ってmakeやclangをインストールしてから、再度Haskellのインストールを実行してみてください。

sudo apt install make

sudo apt install clang

環境や状況によっては、上記変更で改善しない場合があるかもしれません。同じようなエラーが発生した場合には、試してみていただければと思います。

GHCiの実行

Haskellの実行環境の確認する方法としては、GHCのインタラクティブな対話型シェルであるGHCiを確認してみることです。ターミナル(端末)で以下を実行してみてください。

ghci

以下のように表示されれば、GHCのインストールはできています。

上記実行結果を見てみると、libgmp.soというGMP（GNU Multiple Precision Arithmetic Library）がシステム上に存在しない、または見つからないというwarningが表示されています。

GMPは、任意精度の数値計算を行うためのフリーでオープンソースのソフトウェアライブラリで、暗号学、科学技術計算、数式処理システム、アルゴリズム研究など、高精度計算が必要な多くの分野で使用されています。以下コマンドでインストールしておきましょう。

sudo apt install libgmp-dev

上記を実行後に再度「ghci」を実行するとwarningは消えて、GHCiを使用することができるようになります。

GHCiは、インタラクティブな対話型シェルのため、その場で計算を実行したり、Haskellプログラム(.hs)をロードして実行するといったことが可能です。「GHCiの主要なコマンド」でGHCiの主要なコマンドを説明しているので、参考にして触ってみてもらえると面白いかと思います。

Haskellの開発環境の準備

Haskellがインストールできたら開発環境を準備して実際の開発をします。

Haskellの開発環境としては、他の言語の開発でもよく使用されるVisual Studio Code (VSCode)が使用できます。VSCodeは、拡張機能の豊富さ、そしてHaskell Language Serverとの互換性により、シンタックスハイライト、コード補完などの機能が利用できます。

VSCodeでの環境の準備方法については「VSCodeでHaskellの開発環境を構築する方法」でまとめていますので参考にしてください。

まとめ

HaskellをLinuxにインストールする方法について解説しました。具体的には、Ubuntu 22.04 LTSを対象にしています。

Haskellは、高度な純粋関数型プログラミング言語で、強力な型システムと静的型付けを特徴としています。Haskell環境を構築して、是非Haskellでのプログラム開発や学習に役立ててもらえたらと思います。

なお、記事冒頭でも紹介したようにHaskellはWindowsでも環境を構築できます。Windowsにインストールしたい場合は「Haskellのインストール方法（Windows）」を参考にしてください。