［Haskell］関数型の特徴を満載した王道の言語

まずは国内企業におけるHaskellの事例をみていく。 Haskellは、多くの関数型プログラミング言語の中でも、関数型らしい特徴を最も豊富に備えており、関数型プログラミング言語の王道とも呼べる言語だ（表1）。関数型プログラミング言語の研究者らが中心となって言語仕様などをメインテナンスしている。 「Haskellなど全く知らなかった10人のSEが一から勉強を始め、金融機関が求める水準の高品質なパッケージソフトをつくり上げることができた」。新日鉄住金ソリューションズの内田康夫金融ソリューション事業本部シニア・マネジャーは胸を張る。 同社は金融機関向けの時価会計パッケージ製品「BancMeasure」をHaskellで開発した。HaskellではJavaなどと比べて短い記述が可能なため比較は難しいが、コード行数は約2万3000ステップである。プロジェクト発足時にはJavaのスキルしか持たなかっ

[mumei-0]

“「本音を言えば形式手法の一種である『定理証明』を使って、仕様と実装に乖離がないことを論理的に証明しながら開発したかった」（内田氏）”

[lotz84]

“「Haskellなど全く知らなかった10人のSEが一から勉強を始め、金融機関が求める水準の高品質なパッケージソフトをつくり上げることができた」。新日鉄住金ソリューションズの内田康夫金融ソリューション事業本部シニア

[jinjor]

Haskell事例。

[igrep]

Haskellがんばれー！

[theatrical]

Javaとの比較記事でさすがにJavaとの連携しやすさをHaskellとJavaで比較するのはひどいと思う。そりゃJavaとJavaを連携させるのは簡単に決まってるじゃないですか。。

[poppen]

まずは国内企業におけるHaskellの事例をみていく。 via Pocket

[pochi-mk]

約2万3000ステップのHaskell製金融時価会計パッケージ。ちょっと見てみたい(というか Clojure じゃだめなのか...)

[daiksy]

Haskellを使ってCOBOLからのリバースエンジニアリングだと！！？

[ruicc]

あ、続いた。新日鉄での事例。習得期間含めて10人6ヶ月で製品化。本当は証明駆動開発したかったとか。NTTデータのCOBOLソースコードのリバースエンジニアリング。15人6ヶ月。