¿Qué lenguajes están disponibles que promueven la programación tanto orientada a objetos como funcional? Sé que cualquier lenguaje que admita funciones de primera clase puede considerarse funcional, pero estoy buscando una sintaxis que esté dirigida específicamente a ambos estilos de codificación.

Al usar ese lenguaje, me imagino aislando todos los cambios de estado en una sola parte del código y haciendo que el resto del programa sea puramente funcional. Solo pensar en eso me hace babear (¡depurando el cielo!).

Hasta ahora he descubiertoScala aunque acabo de escucharlo (y se ve increíble). ¿Hay grandes contendientes en este paradigma de "estilo mixto"?