Jede Monade ist auch ein anwendbarer Funktor und jeder anwendbare Funktor ist ein Funktor. Auch jeder Komonade ist ein Funktor. Gibt es ein ähnliches Konzept zwischen Komonaden und Funktoren, so etwas wie ein koapplikativer Funktor, und welche Eigenschaften hat er? \begin{array}{c} \end{array}...
Hintergrund . Ich bin ein Bachelor-Student, der sich für Forschung in Bezug auf Kategorietheorie, Monaden und Haskell interessiert, und ich möchte ein Thema für meine Bachelor-Arbeit in diesem Bereich finden. Ich habe mir die Zeitung angesehen Eugenio Moggi , " Vorstellungen von Berechnungen und...
Erinnern Sie sich an die Continuation-Passing-Transformation (CPS-Transformation), die nach (wobei festgelegt ist) und nach definiert durch In der Tat haben wir die Fortsetzung monadisch mit der Einheit definiert durch \ eta_A x \ mathrel {{:} {}} = \ lambda r. r \, x und die Multiplikation \ mu_A:...
Follow up Was ist ein Beispiel für eine Monade, die eine Alternative ist, aber keine MonadPlus? : Angenommen, ist eine Monade. Was sind die Beziehungen betweem ein Wesen Alternative , eine MonadPlusCatch und MonadPlusDistr ? mmmmmmFür jedes der sechs möglichen Paare hätte ich gerne entweder einen...
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...
Dies ist eine Referenzverwirrung. Manchmal sehe ich Leute, die den Begriff "Moggis rechnergestützte Metasprache" verwenden, um sich auf den von Moggi vorgestellten Kalkül zu beziehen, und manchmal auf "Moggis rechnergestütztes Lambda-Kalkül". Manchmal verwenden sie und manchmal...