Rambles around computer science

• This post is about how these aren't the only way to think about programming infrastructure and abstractions.
• The theory goes that you pick some desired abstraction—it could be a programming language, maybe an abstract data type, or something else.