John Carmack mentioned OCaml and Haskell at the last QuakeCon (on the topics of game scripting and static analysis), citing performance and hiring issues: https://www.youtube.com/watch?v=4zgYG-_ha28 (1:10ish)
I'm not sure about the performance issue. If it stays within a reasonable (low single-digit) factor I think the hit is worth the quality guarantees you can get out of it. The hiring/education issue is probably the #1 reason so few attempts are made in this direction.
Comments
John Carmack mentioned OCaml and Haskell at the last QuakeCon (on the topics of game scripting and static analysis), citing performance and hiring issues: https://www.youtube.com/watch?v=4zgYG-_ha28 (1:10ish)
I'm not sure about the performance issue. If it stays within a reasonable (low single-digit) factor I think the hit is worth the quality guarantees you can get out of it. The hiring/education issue is probably the #1 reason so few attempts are made in this direction.