Current placement on the Standardized Ladder of Functional Programming

lofp_rank

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