Charity: lenguaje de programación funcional basado en teoría de categorías
El Charity Development Group, investigador del Departamento de Ciencia Computacional de la Universidad de Calgary en Canadá, ha desarrollado Charity, un lenguaje de programación funcional basado en la teoría de tipos categóricos fuertes. Este lenguaje se divide en dos subclases: tipos de datos induc
