Sr. Functional Programming DeveloperData61
I'm a functional programming at the Queensland Functional Programming Lab (QFPL).
Talks I've Given
-
DMaps for Delightful Dynamism
Featuring David Laing
Living in a statically typed world is great, but sometimes a part of your problem really does need to be modelled as something a bit more dynamic. Maybe something in your domain really should be modelled as a heterogenous collection. Maybe you just have a bunch of things you want to group...
practice -
Front-end Development with Reflex
Featuring David Laing
There has been a lot of excitement about Functional Reactive Programming (FRP).
Most of it has been about distant relatives of the original idea, which are nowhere near as powerful or as useful.
The `reflex` library -- and the companion `reflex-dom` library -- were created in order to use FRP to...
language -
Little Languages
Featuring David Laing
Languages in the ML family are great for writing domain-specific languages (DSL)s. We can use ideas from programming language theory (PLT) to make our DSLs more powerful, and we can use tools from the Haskell ecosystem to make our implementation easier to write, test, maintain and change.
This...
language -
Cofun with Cofree Comonads
Featuring David Laing
Monads, monad transformers and free monads are commonly used and understood, but the comonadic equivalents have received a lot less attention. The goal of this talk is to discuss comonads, comonad transformers, and cofree comonads.the different perspective they provide, and how they can be used...
concept -
QuickCheck: Beyond the Basics
Featuring David Laing
The goal of the talk is to demonstrate non-trivial uses of QuickCheck for testing Haskell programs. Outside of papers and book chapters, most of the information on QuickCheck only covers very basic usage. This talk is about the more advanced uses of QuickCheck, including the use of QuickCheck...
technique