Building Abstractions with Data

from blog zackoverflow, | ↗ original
Notes on the second chapter
This is a short summary. ↗ Open original to view full content

Related

Notes for August 26-September 8
Tao of Mac | original ↗
The Second Sex
Terms and Truth-Conditions | original ↗
Sample Chapter
Blog posts on .NET Software Development, C#, and Debugging on Michael's Coding Spot | original ↗
Week 1
Home on consequently.org | original ↗
A Science Experiment: part 2
Bert Hubert's writings | original ↗
Optimizing a bignum library for fun
Austin Z. Henley's Blog | original ↗
Noticing & Writing
Register Spill | original ↗
Notes for July 1-7
Tao of Mac | original ↗
How I Take Notes
Happiness Machines | original ↗
Proof Theory, Rules and Meaning — an introduction
Home on consequently.org | original ↗

More from zackoverflow

Flappy Bird Implemented in Typescript types
19 Oct 2023 | original ↗

The ultimate type-level trickery

How to Actually Write C
21 Sept 2023 | original ↗

How to actually write non-trivial programs in C

Write your own Zod
29 Aug 2023 | original ↗

Write your own Zod from scratch

When Zig is safer and faster than Rust
7 Mar 2023 | original ↗

There are endless debates online about Rust vs. Zig, this post explores a side of the argument I don't think is mentioned enough.

Hacking Go to give it sum types
2 Mar 2023 | original ↗

I want sum types, so let's eschew all idiomatic Go code and best practices to hack the language and add them