Lenguajes de programación basados en la teoría de categorías

Question

Dado que algunos científicos informáticos usan la teoría de categorías, me preguntaba si hay algún lenguaje de programación que la use ampliamente.

Answer 1

Sí. Creo que Haskell es el ejemplo canónico. Vaya aquí para obtener más información.

Answer 2

Hay caridad.

Answer 3

ML se utiliza en

Teoría computacional de categorías

Aparentemente existe al menos un "lenguaje de programación categórico", a saber, Hagino.

Un lenguaje de programación categórico

(Tesis de Hagino)