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 several more months, but with another chapter complete I'm making steady progress. The new chapter covers indexed data, better known as generalized algebraic data types, and indexed codata. I think it has some particularly fun examples, including a system of units and a probability monad. I am also quite confident that of all the writing on indexed types this chapter has the best example of generative art.
I may not finish the book this summer but I will definitely be attending Scala Days in Lausanne. At Scala Days I'm giving a workshop based on the book. Consider signing up if you fancy a more interactive exploration of the book's content.
Until next time!
Noel
P.S. As always, big thanks to my sponsors!