>>390
Haskellは簡単とは言えないが非常に強い静的型付けで安全性が高い。
Haskellより型付けが強い定理証明支援系言語てのもあるけどまだ大規模アプリの開発には向かない。
型付けが強いと、しっかり型設計をすればコンパイルで大半のバグをつぶせるしquickcheckで自動テストもできる。
モジュール化能力が高いから拡張・改良が容易。
ネイティブコードに変換されるから実行速度も早い。
開発陣はOcamlかHaskellかで迷ったみたいだげどHaskellで正解。
ADAがHaskellのキラーアプリだと思ってる。