>>955
働いたり内部に首を突っ込んで詳しく聞いたのは外資金融系数社、大手、小規模含む。ocaml 2社、Haskell 2社。
全社をあげて取り組んでいたり、一部プロジェクトチームだけだったり。これ以上は勘弁。
他にも外資金融数社でF#などの採用を考えているという話。金融ではこれからの十年は関数型じゃないか？という噂。
金融じゃないが東大でもHaskellを使ってspin-outした若者達がいたよね。
>>956
あまり関係ありません。
証明を書けたとしても通常は時間が掛かりすぎて、問題自体が変化するなど、労力＝給料に見合わない、ということです。
証明スクリプトを自在に書けるほどの人材なら、基本デザインに参加させることで安全性を向上させるほうがよいです。
>>957
まあ、そのとうり。
偏見かもですが、以上の会社／プロジェクトではオブジェクトは人間による静的解析を
難しくするのでどこでも人気ありませんでした。