Generating Static Websites the Functional Programming Way
summary
Claims a working OCaml static-site framework called YOCaml that encodes builds as composable "tasks" (arrows/profunctors), tracks static dependencies precisely, and uses applicative validation for metadata. Implementation history: switched from free-monad effects to a lighter reader/function encoding, shipped three major releases quickly, and powers docs/tutorial/library generation. Shows concrete API patterns (read/file -> convert -> inject -> write), template integration, and that the system actually builds sites and supports advanced features like backlinks/transclusion via richer dependency modeling.
AI-written summary · about
chapters (8)
- 0:00Introduction and motivation
- 1:36Static site generators explained
- 7:01Execution abstraction and dependency injection
- 16:46Chipmunk type for metadata
- 23:31Static dependency tracking
- 28:44Task composition and profunctor arrows
- 32:47Yamel as a DSL and real-world use
- 34:16Q&A session
related talks
43mHow to simplify your life by embracing static site generation
32mCompilers: The Next Frontier in Web Performance
28mLa nouvelle vague
27mYou might not need a meta framework
14mStatic Site Generators with JavaScript
01h 23mMarkdown Madness: Static Sites for Fun & Profit
47mFunctional Array Funhouse Intensive - Part 4 of 5
24mThe Performance Aspect of Building and Deploying Static Sites