Primer: Pedagogical functional programming
summary
Small team of three builds Primer, a new statically typed functional teaching language with a structure editor that represents programs as trees and enforces no meaningless editor states by inserting typed holes instead of producing syntax/type errors. Prototype is a Haskell library backend (type checker, evaluator) with a React/TypeScript front end, both open-source. Primer supports ADTs, polymorphism, evaluation of incomplete programs, generated pattern-match cases, and plans an interactive stepper and IO model for classroom use.
AI-written summary · about
chapters (8)
- 0:00Primer introduction
- 1:47Primer as functional teaching
- 3:30Structure editing benefits
- 5:56Building types and functions
- 10:54Defining map and holes
- 15:42Evaluating incomplete programs
- 17:49Primer features and plans
- 19:55Q&A
related talks
31mA Primer on Functional Programming
41mFunctional Programming for Pragmatists
44mFunctional Programming You Already Know
45mFunctional Programming — What's the Point?
42mFunctional Programming in 40 Minutes
45mFunctional Reactive Programming in Elm
25mIntroducing Emily Simplifying Functional Programming
49mFunctional Programming Essentials