How To "Dot" Into Anything, Anywhere, Anytime (Facilitating Data-First Programming)

on YouTube ↗56m

" summary

Demonstrates a workable F# Type Provider approach that self-generating .dll assemblies create real-time, type-safe scaffolding and Intellisense by walking data sources (files, Swagger REST, KDB+ AST) and emitting small assemblies that the REPL or app can load. Shows a recursive generator that infers column and record types for schema-on-read lakes, explains limitations (IDE cache invalidation, type erasure concerns, .NET Core packaging rough edges) and confirms the technique is usable cross‑platform and consumable from C# after generation.

AI-written summary · about

" chapters (18)

1. 0:00Intro
2. 2:03Why a Type Provider
3. 4:09SmartBear
4. 5:27Notation
5. 6:12Dawn
6. 6:57Polyglot
7. 7:38Magnet
8. 8:22Natural Numbers
9. 8:53Elon Musk
10. 10:02Dave Grohl
11. 17:29Classes
12. 22:02Providers
13. 23:22Project Structure
14. 31:32Info Spec
15. 32:32Project A String
16. 40:07Project System
17. 44:22Limitations
18. 46:54Improvements

" related talks

• 50mType Providers: Making Data First ClassAndré M van Meulebrouck · LambdaConf 2019
• 53mIntroduction to T(ype)DD with F# and Reactive Web Apps with Fable.ioF. Pellet, C. Bouillier · ScalaIO 2019
• 38mThe Gamma: Programming Tools for Data JournalismTomas Petricek · Strange Loop 2015
• 33mSource Generators in ActionVolodymyr Lantsov · .NET fwdays'23 online conference
• 52mType-Driven Development with F#Anton Moldovan · .NET fwdays'17
• 55mCode that writes code - .NET Source generatorsGlenn F. Henriksen · NDC London 2026
• 46mStarts with a searchMaria Naggaga · NDC London 2018
• 52mCode that writes code - .NET Source generatorsGlenn F. Henriksen · NDC Copenhagen 2025