Archive • Functional Programming Strategies • Buttondown

Friendship ended with LaTeX. Now Typst is my best friend.

Hello! It has been a busy couple of works in the Functional Programming Strategies factory. The factory gnomes have been hard at work converting the book...

Indexed Data and Indexed Codata

Hello! The sun is out, the cat is melting in the garden, and I'm trying to finish this damn book so I can join him. Realistically the book won't be done for...

Tagless Final Chapter is Live

Hello! I've hit a significant milestone on the book: the chapter on tagless final is ready and you can read it online. This was an important chapter for me....

Talks, Code, and Discounts

Hello! You may have noticed a little delay between the last newsletter and this one. School holidays interrupted the usual publishing schedule, but we're now...

Different Views on Understanding

February 3, 2025

Hello! I hope the week has started well for you. I've been doing a bit of house keeping on my personal site. As part of those changes I have renamed this...

Codata and Monads, meet the Terminal

January 20, 2025

Hello! Last email I let you know about a terminal library I was working on, and I said it was motivated by material for the book. Since then I've written up...

Hacking on the Terminal with Scala Native

January 6, 2025

Happy new year! If you're the Christmas type, I hope you had a good one as well. Our Christmas was very traditional: we had no heating or hot water as our...

Direct-style Effects Explained

Hello! 👋I hope you’re doing well. I’m enjoying the warmer weather and longer days, and learning about direct-style effects.My current focus on the book is...

OO in FP, or codata in Scala (with Cats!)

Hi!When the previous email went out in December I certainly wasn't planning on it being March before the next one. The chapter I was working on took a lot...

Optimizing Interpreters with Scala (with Cats!)

December 20, 2023

Hi! Just in time for the holiday break, a new chapter of Scala with Cats is ready for you: https://scalawithcats.github.io/scala-with-cats/dist/scala-with-...

Algebraic Data Types & Interpreters

November 22, 2023

Hi! Another 60 or so pages of Scala with Cats are available in the preview: https://scalawithcats.github.io/scala-with-cats/ This chapter is all about...

Scala with Cats: 30 Pages of Algebraic Data Types!

October 9, 2023

Hi! I've just finished a little over 30 pages on algebraic data types, structural recursion, structural corecursion, algebra of algebraic data types, and …...

Scala developers don't give an F[_]!

Hello! It's been a bit longer than the scheduled two weeks between emails. Since I last emailed you, I've had COVID (not recommended) and some family came to...

Scala with Cats: Structural Recursion

Hi! It’s been roughly two weeks since the last update so you’re due a new one. In terms of writing the book I’ve been focused on writing up structural...

Scala with Cats Preview Online

Hello! A preview of the next version of Scala with Cats is online. Check it out! The introduction and the chapter on algebraic data types are new, but it is...

It's been a while, but Scala with Cats is back

Happy Friday! It's been a little while...but I have news on Scala with Cats. Let's cut to the chase. For the last few months I've been back working on my...

Scala with Cats: almost finished with the core material

Hi! I've just uploaded a new version of Scala with Cats to the website (https://www.scalawithcats.com/) This has new material up to and including the chapter...

Scala with Cats: Two Chapters In!

Hi! Work on Scala with Cats has progressed well in the last few weeks. Our first task was to convert the code from tut to mdoc. This was fairly tedious but...

It's Time for Version Two

So, Scala with Cats 2? That's right; after some time away we're back at it, updating the book for Cats 2.x. The first step in the process is complete: the...