Type Theory and the Curry-Howard Isomorphism: The Profound Harmony of Propositions as Types and Proofs as Programs
Tags
5 pages
Functional-Programming
The Philosophy of Haskell and Pure Functional Languages: The World of Monads and Its Abyss
Functional Programming Basics and Benefits (Pure Functions, Immutability, Monad Concepts)
Design Patterns Reconsidered: Is GoF Outdated? Modern Best Practices
The Origins of Lambda Calculus and Functional Programming: From Alonzo Church's Theory to Lisp and Haskell
