関数型プログラミングのレベル分け

参考

LambdaConfの元ツイート

NOVICE

Immutable Data

Second-Order Functions

Constructing & Destructuring

First-Class Functions & Lambdas

ADVANCED BEGINNER

Lower-Order Abstractions (Equal, Semigroup型クラス, Monoid型クラス, etc)

参照透過 & 全域関数

部分適用, カリー化, point-free style

COMPETENT

Higher-Order Abstractions

Category型クラス, Functor型クラス, Monad型クラス

Basic Optics

Efficient Persistent Data Structures

効率的な永続的データ構造

コンビネータを用いたEDSL

PROFICIENT

(Co)Recursion Scheme #??

Advanced Optics #??

Dual Abstractions (Comonad)

双対的な抽象化(Comonad型クラス) #??

Freeモナド & Extensible Effects

Functional Architecture

Advanced Functors

EDSL using GADTs, Tagless final

Advanced Monads

継続モナド、Logicモナド

Type Family、Functional Dependencies

EXPERT

High-Performance

Generic型クラス

依存型、Singleton Type

関数型言語のためのコンパイラ設計