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:
- F#unctional Londoners September (in London on 18th September 2019)
- Introduction to Docker Fundamentals (in London on 30th September - 1st October 2019)
- CloudNative London 2019 (in London on 25th - 27th September 2019)
- Running Stateful Applications in Kubernetes (in London on 5th September 2019)
- Functional Concurrency in .NET with C# and F# (in London on 9th - 10th September 2019)
- Modern Application Development with C# and .NET Core (in London on 16th - 19th September 2019)
- ProgNET London 2019 (in London on 11th - 13th September 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Keynote by Iris Classon on .NET Core and More: 30 Things You Should Know (in London on 28th August 2019)
- London .NET September 2019 with James Bender (in London on 4th September 2019)
- GraphQL: May the Best API Win! (SkillsCast recorded in July 2019)
- Scala 2.13 and Beyond! (SkillsCast recorded in April 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.
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:
- F#unctional Londoners September (in London on 18th September 2019)
- Introduction to Docker Fundamentals (in London on 30th September - 1st October 2019)
- CloudNative London 2019 (in London on 25th - 27th September 2019)
- Running Stateful Applications in Kubernetes (in London on 5th September 2019)
- Functional Concurrency in .NET with C# and F# (in London on 9th - 10th September 2019)
- Modern Application Development with C# and .NET Core (in London on 16th - 19th September 2019)
- ProgNET London 2019 (in London on 11th - 13th September 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Keynote by Iris Classon on .NET Core and More: 30 Things You Should Know (in London on 28th August 2019)
- London .NET September 2019 with James Bender (in London on 4th September 2019)
- GraphQL: May the Best API Win! (SkillsCast recorded in July 2019)
- Scala 2.13 and Beyond! (SkillsCast recorded in April 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.