Lightning Talk: Existentials - Playing Hide and Seek With Your Types
Please log in to watch this conference skillscast.
Like all good ideas in type theory, existential types have been around for a long time but are rarely used or given the prominence they deserve. Existential types offer a powerful mechanism for developers to create rich and completely type-safe data structures and APIs that are otherwise impossible to express.
In this lightening talk, Nick will share with you what existential types are, how it's possible to represent them in F# and give some practical examples of where you might find them useful.
YOU MAY ALSO LIKE:
- Type-Safe Datatype-Generic Programming in F# (SkillsCast recorded in September 2019)
- Lightbend Akka for Scala - Professional (in London on 11th - 12th November 2019)
- Lightbend Scala Language - Professional (in London on 10th - 11th December 2019)
- Clojure eXchange 2019 (in London on 2nd - 3rd December 2019)
- Scala eXchange London 2019 (in London on 12th - 13th December 2019)
- Code Kata: Yilin Wei - Optics with Monocle (in London on 22nd October 2019)
- Keynote by Konrad Kokosa: What’s New in .NET Core 3.0 and .NET 5.0 for Performance and Memory-Aware Folks? (in London on 29th October 2019)
- Keynote: (Programming Languages) in Agda = Programming (Languages in Agda) (SkillsCast recorded in October 2019)
- Keynote: Haskell is a Great Host (SkillsCast recorded in October 2019)
Thanks to our sponsors
Lightning Talk: Existentials - Playing Hide and Seek With Your Types
Nicholas Cowle
Professional F# developer by day, amateur type theorist by night, Nick enjoys drawing ideas from the world of functional programming to create robust and safe software for the finance industry.