Ciao!
How's your Advent of Code going?
Personally, I had a wonderful time solving the puzzles. I used Rust this time, and what a surprise it was!
I may write an article about it. Let me know if you are interested.
Most importantly, the Advent of Code got me in touch with old and new friends. The feeling of being in it together is something I wouldn't miss for the world.
You may have noticed I'm using the past tense. It's been a tradition of mine to drop out at day ten, and this year is not an exception.
Tomorrow, I'm joining the Advent of Haskell with an article about scripting. Here's an early preview:
Scripting the Hell out of Trello with Haskell — Want to use Haskell for something real but don't want to risk it at work? This is how I do it.
Please do not share it until tomorrow, the link will work only until it goes live.
Elsewhere on the Web
Why Is Apple’s M1 Chip So Fast? by @erikengheim
Real-world experience with the new M1 Macs has started ticking in. They are fast. Real fast. But why? What is the magic?
(Riccardo: Damn, I want a new MacBook.)
Algebraic effects, Fibers, Coroutines Oh my! by Brandon Dail
React Fiber was a full re-write of React that will enable new and exciting patterns around control flow, which we've seen previewed with React Suspense.
But what is a fiber? How does it relate to a coroutine? What are algebraic effects, and why do I keep hearing about them?
This talk will go over these computer science topics in the context of React Fiber, to help shed some light on how React Fiber is implemented and the control flow concepts behind the new APIs.
(Riccardo: So are effect systems and algebraic effects the same thing? I need to investigate more.)
Getting started with fp-ts by @GiulioCanti
In this blog series I will often talk about "type classes" and "instances", let's see what they are and how they are encoded in fp-ts.
Practical Guide to Fp‑ts by @ryanleecode
This post is an introduction to fp-ts, a functional programming library for Typescript. Why should you be learning fp-ts? The first reason is better type safety. Fp‑ts allows you to make assertions about your data structures without writing user-defined type guards or using the as operator. The second reason is expressiveness and readability. Fp-ts gives you the tools necessary to elegantly model a sequence of operations that can fail. All in all, you should add fp-ts to your repertoire of tools because it will help you write better Typescript programs.
(Riccardo: I'm not sold on going hardcore with functional programming in TypeScript. Still, fp-ts looks interesting.)
That's all folks. Wish you Happy Holidays!