functional-programming

Enter the vast world of programming languages by following the tutorials provided here to learn about functional programming in Haskell.

---

Project maintained by jd-anabi Hosted on GitHub Pages — Theme by mattgraham

About
Click here to install Haskell

Learn functional programming

Tutorials

Pratical

Fundamentals of functional programming

• Imperative vs. Functional Programming
• What is recursion?

Haskell for beginners

• Function Basics of Haskell
• Lists in Haskell
• Guards

Intermediate Haskell

• Functions within Functions
• Modules

Advanced Haskell

• Monads

Theory

Lambda Calculus

• Lambda Calculus Introduction
• Conditionals in Lambda Calculus
• De Bruijn Indices
• An Algorithmic Approach to Implementing De Bruijn Indices

Combinatory Logic

• Combinatory Logic

Supplementary

Mathematics

• Recurrence relations

Haskell Exercises

• Recursion Exercises
• List Exercises

Suggested Readings

A Structural Approach to Reversible Computing (uses combinatory logic)

Lambda Calculus Notation with Nameless Dummies: A Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem (De Bruijn Indices)