This is part of a series I’m doing focused on the event-and-behavior flavour of FRP.
There hasn’t been a lot written about how to use FRP effectively - the FRP book by Blackheath and Jones is fantastic, but only came out recently.
The examples in that book are all in Java - which is great, because it means that you can deploy these tools in a lot of mainstream languages via the
sodium library. Still, I wanted to put something together using Haskell.
Part 1 focuses on the basics, and deals with the
reactive-banana library throughout. There’s definitely more to say about the library, but hopefully it’s enough to get people started.
Later parts will look at the evolution of a proper chat server written with FRP, and will focus on
I’ve been playing around with domain specific languages (DSLs), programming langauge theory (PLT), and some ideas around creating modular, testable tools in that area for a while, and I turned it into a YOW Lambda Jam talk recently.
I’ve put supporting materials online, including a series of blog posts.
I gave a talk on the
bound library, which ended up going into lambda calculus as well. It had some people scratching their heads, but hopefully in a good way.
The video is currently stuck in limbo, and I should probably track down the associated code and slides and put them in a repository somewhere.
A shorter, sharper version of this was embedded into the end of the “Little Languages” talk I did at YOW! Lambda Jam in 2016.
I’ve been poking and experimenting with how cofree comonads interact with free monads for a while now.
There are still a lot of things I want to play with in this space, but this provide enough information to get people started.
I’ve put supporting materials online.
I had the priviledge of being the moderator for this event.
Both the YOW organisers and the YOW speakers are always massively busy, so we’re incredibly grateful to them for clearing enough time to make this even happen.
The first half of this is heavily inspired by “Introduction to FP using Haskell” by Richard Bird.
The second half is inspired by Philip Wadler’s “Theorems for Free”, but I didn’t have time to practice the exposition enough to do it justice.