ƒfunctional·fluency

~ / track H

H

Neighboring paradigms

APL/J, parser combinators, autodiff, probabilistic programming, term rewriting, proof assistants.

$ topics(6)

  1. 01Array programming (APL / J)Advanced→
  2. 02Parser combinatorsIntermediate→
  3. 03Automatic differentiationAdvanced→
  4. 04Probabilistic programmingAdvanced→
  5. 05Term rewritingAdvanced→
  6. 06Proof assistants: Agda, Idris, LeanAdvanced→