Die meisten Ressourcen zu kategorialen Begriffen in der Programmierung beschreiben Monaden, aber ich habe noch nie eine kategoriale Beschreibung von Monadentransformatoren gesehen. Wie könnten Monadentransformatoren im Sinne der Kategorietheorie beschrieben werden? Insbesondere würde mich...
Es scheint bekannt zu sein, dass Programmiersprachen keine Summen, Produkte und Nichtterminierungen zusammen haben können. Q1 . Ist das wahr? Unten (oder in dem obigen Link, den ich gegeben habe) ist ein Teilargument. Die generische Programmierung von Hinze mit Adjunctions ignoriert das Problem...
Mir fehlt ein Hintergrund in der theoretischen Informatik, aber ich hätte gerne verstanden, welchen theoretischen Objekten C ++ - Konzepte entsprechen. Grundsätzlich ermöglichen C ++ - Konzepte das Definieren einer Reihe von Typen, die eine Liste von Einschränkungen erfüllen. Also, aus...