Have you been good in twenty-twenty?
In Italy, I usually had to wait to see if the Befana brought me coal. Luckily, I live in Poland, where the answer comes earlier!
I have to be honest: I haven't recharged as well as I hoped during the holidays. Am I the only one?
A lot of the writing out there regarding GADTs is pretty high-level research and academia, in contrast, today I'm going to show off a relatively practical and simple use-case. In this post we'll take a look at a very real example where we can leveraged GADTs in a real-world Haskell library to build a simple and expressive end-user interface.
(Riccardo: As always, Chris kills it with a crisp and clear API design case study that compares type classes and GADTs. I learned a bunch of stuff even before he got to the latter.)
This was inspired by a few conversations I had last week. There’s a certain class of problems that are hard to test:
(Riccardo: The idea of cross-branch testing is cool. Also, I didn't know about git-worktree!)
Create your own opera inspired song with Blob Opera - no music skills required ! A machine learning experiment by David Li in collaboration with Google Arts & Culture
(Riccardo: Something fun because I'm not ready to go back to work yet.)
Do you have any plans for the new year? I'd like to hear about it. Or simply just want to say hi? Your reply to this email gets to my personal inbox.
Gimme a shout!