Throughout, you can expect to see some little known type provider "features" and tricks that were discovered along the way. Did you know that you can erase types to other erased types, and that it can actually be useful? What would happen if type systems can communicate with each other? Have you tried to use inheritance with type providers? Can type providers provide other type providers? Have you used type providers in type providers?
Type Providers are still a new frontier in programming languages, and we have yet to discover all that is possible with them. So don your part silly, part thoughtful hat, come on down to Skillsmatter and let's see what new ideas emerge!
YOU MAY ALSO LIKE:
- YOU WERE EATEN BY A GRUE - Audience Level: Advanced (SkillsCast recorded in April 2017)
- Haskell at Work (Online Workshop on 30th January - 2nd February 2023)
- Haskell eXchange 2022: Novice Track (Online Conference on 7th December 2022)
- Haskell eXchange 2022: Online Conference (Online Conference on 8th - 9th December 2022)
- What Logic can Teach Us, Scala Programmers (SkillsCast recorded in October 2022)
- A Conceptual Introduction to Nix for Haskellers (SkillsCast recorded in November 2021)
Where No Type Has Gone Before
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.