Vor kurzem habe ich mich sehr für Haskell interessiert. Während ich versuche, neue Konzepte (z. B. das Schlüsselwort forall und die ST-Monade ) und das Typensystem von Haskell im Allgemeinen zu lernen, stoße ich ständig auf Konzepte aus der Kategorietheorie und der Lambda-Rechnung . Also frage ich...