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.