Skip to content

Instantly share code, notes, and snippets.

@gfixler
Last active April 2, 2024 20:17
Show Gist options
  • Save gfixler/4545bc97ae785188ff1f1eb3d4880612 to your computer and use it in GitHub Desktop.
Save gfixler/4545bc97ae785188ff1f1eb3d4880612 to your computer and use it in GitHub Desktop.
Current placement on the Standardized Ladder of Functional Programming
Standardized Ladder of Functional Programming
http://lambdaconf.us/downloads/documents/lambdaconf_slfp.pdf
Level Key
0: I've never heard of this
1: I've heard of this
2: I've looked into this, but don't get it yet
3. I have a basic understanding/am using this
4. I've used this for a while/feel pretty solid on
5. I could comfortably teach this to others
FIRE KERAMIK (formerly NOVICE)
5 Immutable Data
5 Second-Order Functions
5 Constructing & Destructuring
5 Function Composition
5 First-Class Functions & Lambdas
FIRE LUBLINE (formerly ADVANCED BEGINNER)
5 Algebraic Data Types
5 Pattern Matching
4 Parametric Polymorphism
4 General Recursion
5 Type Classes, Instances & Laws
4 Lower-Order Abstractions (Equal, Semigroup, Monoid, etc)
5 Referential Transparency & Totality
5 Higher-Order Functions
5 Partial-Application, Currying, & Point-Free Style
ICE SKRIG (formerly COMPETENT)
2 Generalized Algebraic Data Types
2 Higher-Kinded Types
2 Rank-N Types
4 Folds & Unfolds
3 Higher-Order Abstractions (Category, Functor, Monad)
2 Basic Optics
3 Efficient Persistent Data Structures
2 Existential Types
0 Embedded DSLs using Combinators
FIRE BRUSHE (formerly PROFICIENT)
1 Codata
2 (Co)Recursion Schemes
1 Advanced Optics
2 Dual Abstractions (Comonad)
2 Monad Transformers
1 Free Monads & Extensible Effects
0 Functional Architecture
2 Advanced Functors (Exponential, Profunctors, Contravariant)
1 Embedded DSLs using GADTs, Finally Tagless
1 Advanced Monads (Continuation, Logic)
1 Type Families, Functional Dependencies
ICE THERMAGON (formerly EXPERT)
1 High-Performance
1 Kind Polymorphism
0 Generic Programming
1 Type-Level Programming
2 Dependent-Types, Singleton Types
2 Category Theory
1 Graph Reduction
2 Higher-Order Abstract Syntax
2 Compiler Design for Functional Languages
0 Profunctor Optics
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment