Typtheorie und der Curry-Howard-Isomorphismus: Die tiefgründige Harmonie von Aussagen = Typen und Beweisen = Programmen
Tags
4 Seiten
Functional-Programming
Haskell und die Philosophie rein funktionaler Sprachen: Die Welt der Monaden und ihre Abgründe
Grundlagen und Vorteile der funktionalen Programmierung (Konzepte von reinen Funktionen, Unveränderlichkeit und Monaden)
Design-Muster neu überdacht: Ist GoF veraltet? Moderne Best Practices
