>>488
それができれば凄いと思う。
ソフトウェア品質向上に繋がるかどうかは、私はまだわからない。
というのも、その手の便利なツールが既にありそうな気がするから。
（わざわざ関数型脳にならなくても、関数型脳の人と同じ仕事がこなせるツール）

ところで、それを実現するにあたって代数的データ型が必要なのはわかる。
コンパイル時に検査するから、静的型検査機能が必要なのもわかる。

しかし型推論機能はどこで必要になる？
これが必要になるシーンがいまひとつ思い浮かばない。
なので、なぜ関数型言語が有利なのかがまだわからない。