La mayoría de los recursos con respecto a las nociones categóricas en la programación describen mónadas, pero nunca he visto una descripción categórica de los transformadores de mónadas. ¿Cómo podrían describirse los transformadores de mónada en los términos de la teoría de categorías? En...
Parece ser bien sabido que los lenguajes de programación no pueden tener sumas, productos y falta de determinación juntos. Q1 . ¿Es esto cierto? A continuación (o en el enlace anterior que di) hay un argumento parcial. Sin embargo, la programación genérica de Hinze con adjunciones ignora el...
Me falta una formación en informática teórica, pero me hubiera gustado entender a qué tipo de objetos teóricos corresponden los conceptos de C ++ . Básicamente, los conceptos de C ++ permiten definir un conjunto de tipos que satisfacen una lista de restricciones. Entonces, desde un punto de vista...