существуют ли статически типизированные функциональные языки?

это трудно для Google, может быть, так есть лучшие ответы?

Я исхожу из статически типизированного фона и изучаю функциональное программирование, но меня не совсем волнует динамическая типизация. Любопытно, какие варианты там.

один ответ для начала: ActionScript 3 имеет статическую типизацию и предлагает некоторые функциональные парадигмы, хотя программы AS3 не часто используют их.

Ответы на вопрос(6)

Ваш ответ на вопрос