Rycbppwelotqlyfaaqdj
SkillsCast

Lightning Talk: Existentials - Playing Hide and Seek With Your Types

5th April 2018 in London at CodeNode

There are 24 other SkillsCasts available from F# eXchange 2018

Please log in to watch this conference skillscast.

698198317 640

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:

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.

SkillsCast

Please log in to watch this conference skillscast.

698198317 640

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:

Thanks to our sponsors

About the Speaker

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.

Photos