MPS Talk Series 2021. Day 1
summary
KernelF is a reusable functional kernel inside MPS that ships an interpreter in the IDE, REPL, tracer, test language, coverage and experimental mutation/test generation, plus native temporal types and physical units; it avoids codegen for fast feedback and plugs into MPS editors (tables, grammar cells, diagrams). DATEV builds a payroll DSL on it that handles >13 million monthly payslips and ~170M annual datasets, keeps four years of temporal versions, runs tests in-model, generates Java via CI, and deploys artifacts to microservices with a two‑week release cadence.
AI-written summary · about
chapters (13)
- 0:00Welcome to MPS Talk Series 2021
- 3:06Kernel F introduction
- 12:40Kernel F features
- 21:47Extending Kernel F
- 32:23State machine example
- 40:51Embedder platform overview
- 56:10Q&A: Kernel F & MPS
- 1:00:05DATEV’s payroll DSL
- 1:08:21Payroll DSL demo
- 1:24:16DSL versioning & rules
- 1:31:29DSL development lessons
- 1:42:58Q&A: DSL usability
- 1:56:10Day 1 closing
related talks
36mCool kids' way of generating code
40mProduction Prolog
43mMill: A Build Tool Built on Pure Functional Programming
11mEnabling Composition of Kernels and Compilers
26mFusing Session-Typed Concurrent Programming into Functional Programming
22mA Vision of Miking: Interactive Programmatic Modeling, Language Composition, and Compilation
01h 31m"Thoughts on language evolution"
55mKeynote: Functionalist programming language design