Haskell事始め

使い方

インストール：
- 前提：Haskell言語の処理系は複数あるが、GHCが最も広く使われているようなので、以下ではGHCの使用を前提とする。
- ghcを使う方法としては
  1. ghcそのものをインストールする 2．ghcのビルドツール stack をインストールして、ghcの最新版の維持管理をstackに任せる。
  という２つのアプローチがある。最近は後者を推奨する人が多い（最初のステップで余計な時間がかかるという欠点はあるが。
- どちらをインストールするにせよ、２つの方法が使える（お勧めは前者）。
  1. Chcolatey パッケージマネージャでインストール。
  2. 開発元から直接ダウンロードする。ここから辿る（GHC；Stack。ページ内検索で「Windows」に対応するものを見つけること。
ソースファイルの実行：
```
ghc ファイル名.hs
stack runghc ファイル名.hs
:: など
```
- 何をインストールしたかによって上記のいずれかのコマンドを選んで使う。
- 情報源：たとえばここにまとめがある
REPLの起動（いずれかのコマンドが使えるだろう）
```
ghci
stack ghci
stack repl
```
REPLの終了
```
:quit
```
- 他のREPLコマンドと区別ができれば十分なので、:q でいい。
- または Ctrl-D（Haskellでは、Unix系OSでのEOF送信手順が有効）
- それに加えて :help （または :hを覚えておけばいいだろう。
REPLの基本的な使い方
- 式を入力すると値を表示する
（というのが言語を問わずREPLの基本動作）。
```
    1+1
    2**10       -- べき乗
    sin(pi/2)   -- 三角関数
```
- 関数名 = 関数本体という書き方で、関数を定義することができる。
  - それに先立ってその関数のシグニチャを定義するのが、 Haskellのソースプログラムの推奨される流儀だが、 REPL上では省略しても構わない。
  - シグニチャを定義するなら後述の :{ ～ :} で複数行入力モードにしておく必要があるだろう。
```
circ_area r=r*r*pi   -- 関数定義の例
circ_area 10  -- 呼出し ->314.1592653589793
```
- ソースプログラムでは、関数 main を定義する書き方が標準だが、 REPL上では、その呼び方に限定されない使い方ができる。
  - main を定義しておいて（REPLでは何度も定義しなおしができる）、main を呼び出してもいいし、
  - プログラム例で「main=…」と書いた例（この一連のHaskellページでも使っている）を実行するときは、= の右側だけを入力することで実行できる。
- また、重要なコマンドとして、:type コマンド（通常は :t と略して使う）を知っておこう。式や名標の型を表示してくれる。
```
  :t circ_area    -- 前の定義例のもの
  -- ->...  circ_area :: Floating a => a -> a
```
- なお、REPLでのコマンドは :t 以外にもある。:help か :h で表示させるか、 GHCiのページを参照されたい。
- do を使った記法での関数定義は複数行に渡ることが多いが、
  
  分割されている各行を、セミコロン ;で区切って、全体をブレース {} で囲めば一行に記述することもできる。
```
  do {s<-getLine ; putStrln s}
```
その他、重要なREPLの技術
- 複数行を継続して入力するには、
```
:{
-- ここに複数行入力
-- ちなみにこれはコメントの文法
:}
```
  - 囲みの間の部分をエディタからまとめてコピペすることも可能。
- 関数の型宣言（main :: IO () のような行；型シグニチャとも呼ぶ）は、REPLにはそのまま入力できない。
- いくつかのサイトに書かれている（例えばここ）が、
```
  let {main :: IO () ; main=somefunc}
```
  のように let を前置してブレースで囲み、その中に型宣言と関数定義をセミコロン’;’区切りで書くといい。

ファイルを実行：

  :load ファイル名     -- :lo でも可

参考資料

役に立つサイトをいくつかあげておく。