Smart Spreadsheets

on YouTube ↗48m

" summary

Claims that spreadsheets’ failures come from three design sins—poor data abstraction, model/view entanglement, and no functional abstraction—and shows a concrete prototype called Zen Sheet that generalizes worksheets as two‑dimensional arrays of lazy variants, adds named variables, first‑class lambdas, implicit vectorization, and gradual typing. Implementation includes reimplementing 140 Excel functions, a running engine with 5,226 tests, a live demo and Monte Carlo style examples that outperform VBA loops by roughly 3–5×.

AI-written summary · about

" chapters (16)

1. 0:00Intro
2. 0:19A Brief History of Spreadsheets
3. 4:14Current State of the Art
4. 7:59Let's take different perspectives
5. 16:14Partial Exceptions: Numbers
6. 16:26Partial Exceptions: Javelin
7. 17:20Partial Exceptions: Lotus Improv
8. 17:35Problems: summary
9. 17:45Problems = Reactions = Symptoms
10. 18:56Smart Sheets Manifesto
11. 20:54A Natural Approach: Build a Smart Sheet en over a good language
12. 31:12ZenSheet's XXI Century Type System
13. 32:36Type System Rules (Theorems) two examples
14. 34:44Functional Abstraction
15. 46:51The ZenSheet Team
16. 47:04Questions ... maybe answers too

" related talks

• 39mSpreadsheets for developersFelienne Hermans · Strange Loop 2014
• 48mSpreadsheets for DevelopersFelienne Hermans · GOTO Berlin 2015
• 44mSpreadsheets are CodeFelienne Hermans · Code Mesh 2015
• 16mEXCELsioR!Cesaire Tobias · satRday Johannesburg 2019
• 17mFive signs your spreadsheet might smell (and what you can do about it)Stacy Rendall · FOSS4G SotM Oceania 2023
• 14mStrata Conference in London 2013: Felienne HermansFelienne Hermans · Strata Conference in London 2013
• 11mElastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size ...Simon Peyton Jones, Matt McCutchen, Andrew D. Gordon, Advait Sarkar, Judith W. Borghouts · ICFP 2020
• 34mConstraint Logic Propagation Conflict SpreadsheetsWilliam Taysom · Strange Loop 2015