Roadmap of Concepts in Functional Programming

• Immutability
  • Wikipedia
  • Referential Transparency
  • let bindings
• Recursion
  • Wikipedia
  • Tail Call Optimization
• First Class Functions
  • Wikipedia
  • Currying
  • Partial Application
• Higher Order Functions
  • Wikipedia
  • Map
  • Filter
  • Fold/Reduce
  • Composition
• Types
  • Records/Product Types/Structs
  • Sum Types/ADTs
  • Pattern Matching
• Type Classes
  • Wikipedia
  • Haskell Type Classes
  • OCaml Modules
  • Rust Traits
• Purity
  • Benefits of Pure Functions
  • Determinism
  • Memoization
  • Time Travel Debugger
• Functional Data Structures and Algorithms
  • Purely Functional Data Structures
  • Persistent Data Structures
• Lambda Calculus
  • Wikipedia
  • Simply Typed Lambda Calculus
  • System-F
• Type Systems
  • Wikipedia
  • Hindley-Milner
  • Polymorphism
  • Type Inference
  • Dependent Types
  • Curry-Howard
• Liquid Types
  • A Gentle Introduction to Liquid Types
  • Liquid Haskell
  • Flux Rust
• Monads
  • Wikipedia
• Functors
  • Wikipedia
• Formal Verification
  • Wikipedia
  • Abstract Interpretation
  • Symbolic Execution
• Interactive Theorem Proving
  • Wikipedia
  • Coq
  • Idris
  • Lean
• Property Based Testing
  • QuickCheck
  • My Blog
  • My Talk
• Effect Systems
  • Wikipedia
• Functional Programming Languages
  • Haskell
    • Lazy Evaluation
    • Software Transactional Memory
  • Lisp Family
  • ML Family
• Functional Programming in Imperative Languages
  • Python
    • lambda
    • functools
    • Pydantic
    • Pyrsistent