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:
- Fast Track to F# with Tomas Petricek & Phil Trelford (in London on 1st - 2nd February 2018)
- Well-Typed's Fast Track to Haskell (in London on 19th - 20th February 2018)
- Lightbend Scala Language - Expert (in London on 14th - 15th March 2018)
- Haskell eXchange 2018 (in London on 11th - 12th October 2018)
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.