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.
In his spare time you can find him dabbling in Idris and saying 'correct by construction' far too much.
I'm speaking at...
F#unctional Londoners September
Organised by F#unctional Londoners Meetup Group
Join F#unctional Londoners as they will be showcasing datatype-generic programming, a powerful technique that allows you to parameterise your functions by the shape of the types that they are invoked with! Intrigued? Sign up now!.net generics types f#
Talks I've Given
Lightning Talk: Existentials - Playing Hide and Seek With Your Types
Featuring Nicholas Cowle
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...functional-programming fsharpx fsharp f#