Functional programming

Topics

• Functional data structures

• Algebraic Effects

• Continuations

• Dependent Types

• Category Theory

• Total Functional Programming

• Uniqueness Typing

• GADT

• Tagless Final

Posts

• Why Why Functional Programming Matters Matters