существуют ли статически типизированные функциональные языки?
это трудно для Google, может быть, так есть лучшие ответы?
Я исхожу из статически типизированного фона и изучаю функциональное программирование, но меня не совсем волнует динамическая типизация. Любопытно, какие варианты там.
один ответ для начала: ActionScript 3 имеет статическую типизацию и предлагает некоторые функциональные парадигмы, хотя программы AS3 не часто используют их.