Muitos recursos relacionados a noções categóricas na programação descrevem mônadas, mas nunca vi uma descrição categórica de transformadores de mônada. Como os transformadores de mônada podem ser descritos nos termos da teoria das categorias? Em particular, eu estaria interessado em: a relação...
Parece ser sabido que as linguagens de programação não podem ter somas, produtos e não-terminação juntos. Q1 . Isso é verdade? Abaixo (ou no link acima que eu dei) está um argumento parcial. No entanto, a programação genérica de Hinze com adições ignora a questão, mesmo depois de discutir um...
Não tenho formação em ciência da computação teórica, mas gostaria de entender a que tipo de objetos teóricos os conceitos C ++ correspondem. Basicamente, os conceitos de C ++ permitem definir um conjunto de tipos que satisfazem uma lista de restrições. Portanto, do ponto de vista teórico, a que...