Please log in to watch this conference skillscast.
The new Mixin type provider – which is not really a type provider at all in the traditional sense - leverages the existing type provider infrastructure and allows you to evaluate compile-time F# metaprograms. These metaprograms, with the help of a compositional code generation DSL, produce F# code that is then compiled into assemblies. In this manner, we can write idiomatic style F# and easily produce everything from
[<Literal>] values to feed other type providers, to record types and discriminated unions, even computation expressions and other type providers!
Powering these metaprograms with existing erasing type providers and F# libraries, then bringing everything together within the standard F# compilation pipeline, the Mixin provider delivers a powerful code generation story for F#. Plus, the code generation DSL is called SquirrelMix, which should be enough to warrant you coming to this talk on its own.
YOU MAY ALSO LIKE:
- YOU WERE EATEN BY A GRUE - Audience Level: Advanced (SkillsCast recorded in April 2017)
- FP in Kotlin with Arrow with Jorge Castillo (Online Course on 20th - 23rd September 2021)
- Functional Concurrency in .NET with C# and F# with Riccardo Terrell (Online Course on 7th - 10th December 2021)
- F# eXchange 2021 (Online Conference on 20th October 2021)
- ScalaCon 2021: November Edition (Online Conference on 2nd - 5th November 2021)
- Accessibility Testing: Why and How to involve People with Disabilities (Online Meetup on 28th October 2021)
- Journey to the Centre of the JVM (SkillsCast recorded in May 2021)
- F# for a Real World E-commerce Project (SkillsCast recorded in October 2020)
Meta-Programming Madness with the Mixin Type Provider
Ross has been accidentally wiping hard drives and melting transistors into his fingers since he can remember. He has over 20 years programming experience in a wide variety of different languages and technologies, ranging from games and financial markets to fraud prevention and investigation. He has more recently been working on F# type providers. He loves squirrels, physics, electronics, robotics, functional programming, programming languages in general and squirrels.