Very nice video explaining F#’s more reflective design for metaprogramming. Type providers for CSV, SQL, etc.

Motivated in part by this popular comment we discussed, i.e. “functions and data” as the sweet spot, not type level programming

https://lobste.rs/s/pkmzlu/fsharp_designer_on_downsides_type_level

https://old.reddit.com/r/ProgrammingLanguages/comments/placo6/don_syme_explains_the_downsides_of_type_classes/

https://github.com/fsharp/fslang-suggestions/issues/243#issuecomment-916079347

Great video! Thanks for sharing!