Existen lenguajes funcionales de tipo estático?

Esto es algo difícil de google, ¿tal vez SO tiene mejores respuestas?

Vengo de un fondo de tipo estático y estoy investigando la programación funcional, pero no estoy completamente entusiasmado con la escritura dinámica. curioso qué tipo de opciones hay por ahí.

una respuesta para comenzar: ActionScript 3 está estáticamente tipado y ofrece algunos paradigmas funcionales, aunque los programas AS3 no los usan con frecuencia.

Respuestas a la pregunta(6)

Su respuesta a la pregunta