文法がシンプル
究極的に言ってしまえばHaskellに存在する概念は関数のみである。値も値コンストラクタが値を受け取って値を返すという形で生成されるので実質関数と考えられなくもない。オブジェクト指向の要素を持つプログラミング言語にあるようなクラスやメソッドや継承等オブジェクト指向を実現するための概念が一切存在しない。このために覚えなければいけないことは非常に少なく学習コストも低い。さらに、コードはシンプルになり一貫性が上がる。この特徴は同じく関数型言語であるClojureやクラスが存在しないGoとある意味似ているだろう。Paul Graham氏はエッセイでプログラミング言語が長期間生き残るために必要なことは根源的なオペレーターを少なくする事だと述べている。Hasekllは根源的なオペレーターは関数1つのみである。Lispは50年以上生き残っているプログラミング言語だが同じぐらいシンプルなHaskellも同じように50年以上生き残るプログラミング言語になるだろう。
静的型付け
Haskellは静的型付け言語である。型の解決がコンパイル時に行われ、コード中に型が不整合な部分があるとコンパイラがエラーを出してくれる。このためにコードを動かす段階になったらまず間違いなく動くだろうという安心感が大きい。また静的型付け言語なので当たり前だが存在しない関数を呼び出したり、関数の引数の数が違っていたりするとエラーになる(カリー化は除く)。静的型付けというと前者のメリットがよく言われるが個人的には後者もコードのリファクタリング時などにあるとうれしい実用的に大きなメリットだと感じている。また同じ静的型付け言語としてJavaが存在するがHaskellにはMaybe型が存在するのでNull pointer exceptionが発生することがない。 さらに型推論も存在するので全ての関数に手で型を書く必要がないし、必要ならコンパイラに生成させることもできる。
安全できれいに抽象化できる
Haskellは数学的構造を抽象的に扱うための理論である圏論にある概念をコードで記述できるほど抽象的なコードが書きやすい。これはインターフェースに似た概念である型クラスが存在する事が大きい。この型クラスのおかげで同じ構造を持つ物であれば同じように操作することができる。例えばMaybe型とList型を考えるとGoではfor文とif文＆タプルを使う必要がある一方Hsakellではどちらも>>=(bind)関数で扱うことが可能である。Haskellの型クラスと似たような事を例えばRubyで行おうとするとダックタイピングを行うことになるだろう。ダックタイピングではあるメソッドが存在することを前提にメソッド呼び出しを行うが、もしその想定するメソッドが受け取ったオブジェクトに存在しない場合ランタイムエラーになる。しかしHaskellでは型制約という仕組みによりその型を呼び出すことの出来る関数が定義されていることをコンパイル時に保証することができるのでより安全に抽象的な関数を記述することができる。
純粋性
Haskellでは副作用のある関数とない関数に明確に分けることができる。副作用のある関数はIO型やState型(かもしくはそれを合成したモナド)が戻り値となる。モナドの仕組みのおかげで副作用のある関数から副作用のない関数を呼ぶことはできるがその逆はできないようになっている。この仕組みのおかげでその関数が何を行っているか(副作用のない関数は必ず値を受け取って値を返す)わかりやすくなるし、テストも書きやすくなる。
おまけ
周辺ツールの使いやすさ
近年Haskellを取り巻く便利な周辺ツールがいくつか出てきている。まずビルドツールであるstackがある。今までYesodのような依存パッケージが多い巨大なフレームワークをビルドしようとするとdependency hellになることが多かった。stackでは必ずビルドが通るパッケージの集合のバージョンを指定することでそのバージョンであれば必ずビルドが通るようになりdependency hellから開放された。
さらにエディタサポートツールであるinteroがある。パワフルな型システムのHaskellはエディタサポートで可能な事が多い言語であるにもかかわらず今までなかなかこれといったエディタサポートツールがなかった。しかし、このinteroが出てきたことで型表示・定義元ジャンプ・入力補完等基本的なエディタサポート機能が使えるようになった。
効率性
Haskellはインタプリタ言語ではなくコンパイラ言語であり、実行速度はそれなりに早い。\例えばYesodは他の言語やフレームワークより早いというベンチマークもある。
まとめ
これらをまとめてHaskellを端的に表現すると以下の有名な言葉に集約されるだろう。C++ より速くて、Perl より簡潔で、Python よりきちんとしていて、Ruby より柔軟で、C# より型が充実していて、Java より頑強で、PHP とは何の共通点もないもの。
0 件のコメント:
コメントを投稿