Designing a type system from scratch is way harder that I imagined. 3 years of intense study and still have a lot to read. But it's surprisingly really fun.#serene #compiler #math
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!