Nick Pollard
I started learning Scala almost 4 years ago, quickly getting to grips with the more functional aspects and developing an appetite for the type-level programming styles it enables. I have been writing Scala in Industry full-time since early 2013, and pushed Scala heavily at my previous organisation (Scotiabank). I am active in the Scala open source community, especially with the Typelevel organization.
Talks I've Given
-
An Introduction to Dependent Typing in Scala - Advanced
Featuring Nick Pollard
Dependent typing is at the forefront of much programming language research, not least the DOT calculus being planned for the future of Scala. But what is dependent typing exactly? Why is it important, and what can actually be done with it now? Why should the average Scala developer care?
scala scalax dependent-typing -
4
Lightning Talks 1
Featuring Andrew Gustafson, Jamie Pullar, Nick Pollard and Mikael Valot
This session will consist of four 15-minute talks by Andrew (Gus) Gustafson, Jamie Pullar, Mikael Valot, and Nick Pollard, where the following topics will be covered; serialisation, json, macro, typeclass, scala, types, shapeless, Protobuf, fix-protocol, jsentric, flexible-data, library strucs.
scala shapeless types typeclass protobuf fix-protocol json flexible-data library-strucs -
More Typing, Less Typing - Driving behaviour with types
Featuring Nick Pollard
Scala’s type system goes beyond validation - using static type information we can drive the compiler to generate desired behaviour itself, simplifying our programs and saving programmer time and effort.
shapeless types scala typeclass