ƒfunctional·fluency

/

·home ·concept map

── clojure· the language

AClojure basics0/11

Lisp syntax and homoiconicity
REPL-driven development
Namespaces and requires
Persistent data structures
The seq abstraction
Destructuring
Threading macros
Flow control: if, when, cond, case
nil, truthy values, and nil-punning
Equality and identity
Recursion and recur

BClojure advanced0/10

Macros
Protocols and multimethods
Transducers
State: atoms, refs, agents
Software Transactional Memory
Dynamic vars and binding
Futures, promises, and delay
core.async channels
clojure.spec
Type hints and performance

CClojure ecosystem0/12

Data-oriented programming
clojure.test and test runners
Web stack: Ring and Reitit
Component, Mount, Integrant
ClojureScript
Babashka scripting
core.logic and logic programming
Datalog queries
Malli schemas
Generative testing with test.check
Gradual typing with core.typed
JVM interop from Clojure

── functional programming· the discipline

DFP foundations0/7

Imperative vs declarative
First-class functions
Immutability
Purity vs side effects
Composition and point-free style
Closures and memoization
Lazy evaluation

EDeep theory0/13

Lambda calculus
SKI combinators
Evaluation strategies
Hindley-Milner type inference
Curry-Howard correspondence
Type systems: System F, dependent, linear
Polymorphism taxonomy
The algebraic hierarchy
Monad transformers, Free, Tagless final
Algebraic effects and handlers
Continuations and CPS
Lenses and optics
Recursion schemes

FConcurrency models0/5

CSP vs the actor model
π-calculus
CRDTs
Event sourcing
Functional reactive programming

GNeighboring paradigms0/6

Array programming (APL / J)
Parser combinators
Automatic differentiation
Probabilistic programming
Term rewriting
Proof assistants: Agda, Idris, Lean

HApplied patterns0/5

Refactoring imperative to functional
Functional core, imperative shell
Railway-oriented programming
Make illegal states unrepresentable
The expression problem

ƒfunctional·fluency

~ / track F

F

Concurrency models

CSP, π-calculus, actors, CRDTs, event sourcing, FRP.

$ topics(5)

01CSP vs the actor modelAdvanced→
02π-calculusAdvanced→
03CRDTsAdvanced→
04Event sourcingAdvanced→
05Functional reactive programmingAdvanced→

ƒ functional · fluency — study FP with Clojure in your browser