Keynote: Functionalist programming language design
summary
Live code and slides use F# (Visual Studio + Ionide), a browser toy (Fable → JavaScript) and real datasets to show concrete outcomes: pipe operator composes data and 3D shapes, a World Bank type provider surfaces country indicators and a JSON type provider creates statically typed weather objects that actually chart forecasts, an Olympic dataset explorer supports live grouping and sorting, and async computations plus type providers power an async sequence reader that fetches prices without blocking.
AI-written summary · about
chapters (11)
- 0:00Start
- 3:14What Does Functional Mean
- 6:02Transformations
- 17:01Tie Providers
- 18:04World Bank Type Provider
- 24:41List Comprehension Syntax
- 29:06Reinforced Concrete
- 35:42Computations
- 37:55Synchronous Computing
- 42:52Traffic Lights
- 43:45While Loop
related talks
01h 29mKeynote
44mRethinking compilers with live coding
01h 06mKeynote – Edwin Brady
01h 01mKeynote - What's Different In Dotty
41mAn Introduction to Functional Imperative Programming in Flix
01h 21mLearning F# by Designing Your Own Language
38mModeling Symposium
21mKeynote: Hedy: Creating a Gradual Programming Language