~/talk

Why Functional Programming Matters in CS Education

Talkat Scheme 2022 · on Friday, 2022-09-16
links:none on file
slides:none on file

Argues that functional programming makes it easier to teach abstraction, modularity, testing, recursion, mutation and distributed programming from day one, and shows a curriculum and two textbooks that do this. Students build a Space‑Invaders style game Aliens Attack with a multiplayer server and client, implement a DSL FSM to visualize automata with invariants, and run empirical comparisons where naive random moves take ~26,000 steps while A star search solves puzzles orders of magnitude faster, so the projects actually work in class.

AI-written summary · about

  1. 0:00Introduction
  2. 1:38Goals of CS Education
  3. 5:11Functional Programming Utility
  4. 9:28Analyzing Educational Resources
  5. 12:35The Design Recipe Approach
  6. 16:52Curriculum Challenges and Needs
  7. 21:57New Educational Framework
  8. 26:40Aliens Attack Game Project
  9. 33:31Object-Oriented Programming
  10. 37:55Distributed Programming Basics
  11. 46:52Algorithm Design and Search
  12. 51:51Mutation and Formal Reasoning
  13. 53:49Formal Language DSL
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.