Nick Partridge
Developer Veitch Lister Consulting
Nick is a software developer for Veitch Lister Consulting, an engineering consultancy, where he implements transport simulation software using Haskell, Ruby and Java. He has a varied development background, spanning web development with Rails, iOS application development and numerical computing, and has contributed to a number of functional programming libraries, including Functional Java, Scalaz and FunctionalKit.
He is excited about the growing interest and experience in functional programming by the community, and hopes to further that excitement by spreading his practical programming experience with Haskell.
Talks I've Given
-
Software Foundations Workshop
Featuring Nick Partridge
The Software Foundations syllabus first teaches theorem proving in Coq, without any prerequisites other than basic functional programming. It then gives a broad introduction to Programming Language Theory, completely formalised in Coq. Created by Benjamin Pierce and co-contributors at the...
technique -
Pipes by Example
Featuring Nick Partridge
With the Haskell Streaming Library War waging around us, we will choose a side, dive into Pipes, and build a “working programmers” understanding of what Pipes is and how we can use it in our day-to-day programming.
Pipes is at its core a very general library, and can be used to solve...
technique -
Simple Game Programming
Featuring Nick Partridge
Several libraries that enable action game programming in Haskell have emerged, allowing us to play with game ideas in the strictest of functional programming environments. Come along for a brief introduction to game programming using Netwire, a library for functional reactive programming in...
technique