Join Ross on an exciting and magical journey, to where no type has gone before! In this talk Ross will share his experience of writing Ridiculous™ Type Providers, from the humble beginnings of the Choose Your Own Adventure type provider and Squirrelify, right through to 2048, multiplayer Battleships, the Santa's Grotto Roguelike and others.
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)
- Intro to OCaml (in Online Event on 25th June 2020)
- Keynote: Haskell is a Great Host (SkillsCast recorded in October 2019)
- Keynote: (Programming Languages) in Agda = Programming (Languages in Agda) (SkillsCast recorded in October 2019)
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.