Мне кажется для геймдева больше Lisp подходит, для скриптинга.
Особенно встраивамый, типа того что я сейчас пишу.
На ocaml к нему разве что type-checker быстрый можно приделать.
про тайп чекер тоже инетресный вопрос. я из живых примеров видел только различные штуки типа spec, но они все проверяют структуры, никто не может проверять сигнатуры функций нормально. особенно если функция вовзращает функцию, если чекеры для лиспа где решена проблема проверок функций высших порядков?