Oliver Charles
Oliver first discovered Haskell in late 2011, mostly curious as to what this radically different language was all about. After successfully type-checking his first program, he was hooked by the language's combination of succinctness and expressivity, and fascinated by the rich amount of theory and rigour behind the concepts.
Fast forward to 2014, and Oliver is perhaps best known for his yearly 24 Days of Hackage series of blog posts, where he spends 24 days at the end of the year blogging about different Haskell libraries. Whether it's game programming, database querying, type safety, or high performant data processing - there's probably a library about it that he's blogged about!
Oliver is currently the author of a collection of Haskell libraries, a developer for CircuitHub.com, and an active speaker with the London Haskell User Group.
Talks I've Given
-
2
Lightning Talk: Manufacturing Circuit Boards with Robots and Haskell
Featuring Oliver Charles and Andrew Seddon
Oliver and Andrew will demonstrate the use of Haskell to control industrial robots in a real-world manufacturing environment. They will also show that Haskell can be used to interact with the state-of-the-art general-purpose planning library "Fast Downward" to find optimal plans for...
haskell realworld-haskell planning robots -
2
Workshop: Build a command line tool in Haskell
Featuring Oliver Charles and Ben Clifford
You're going to build a command line tool in Haskell, hands-on right on your own laptop.
unix-command-line tooling cli haskell -
GUI Programming in Haskell: Review & Experiences
Featuring Oliver Charles
Oliver will be discussing the state of GUI programming in Haskell, briefly talking about the options available for application developers in 2015. He'll also touch on his experiences with building an interactive graphical application and where Haskell shines and where it needs to improve.
haskell gui gui-programming haskellx -
Strongly Typed Publish/Subscribe over Websockets via Singleton Types
Featuring Oliver Charles
Haskell is a language known for its type safety, but just how far can the type system go? In this talk, Oliver will demonstrate how a publish/subscribe protocol implemented over Websockets has grown from using little type information and progressed to well-typed sessions through the use of...
haskell types websockets