Search Results

7k Garden

Seven Kaiser's knowledge garden. ♥ See the rest of Seven's work at https://7k.garden/.

🌻Garden Projects🌻

The literal gardening part of the garden.

xg::noo

Things that Cassandra Granade (alternatively, cgranade, xgranade, or just xg) knows and thinks.v26.09.3-ls297

Types Omnibus

aka _Hot Singletons Near You_. Eventually, this should live at <https://hotsingletonsnear.you/>, but it doesn't yet.

Preliminaries

Types Omnibus

Meet the Universes

Types Omnibus Preliminaries

Va and Ty, Oh My! If you wish to make an apple pie from scratch, you must first invent the universe. ― Carl Sagan We're not doing anything as complex as baking here, but before we get started talking about types, we do need to invent a few universes. Well, OK,...

Sets and Set Notation

Types Omnibus Preliminaries

Object-Oriented Type Systems

Types Omnibus

Classes

Types Omnibus Object-Oriented Type Systems

Subtyping and Inheritance

Types Omnibus Object-Oriented Type Systems

Basic Type Systems

Types Omnibus

Before we get into really tricky things like classes.

First-Class Values

Types Omnibus Basic Type Systems

Typeclasses

Types Omnibus Basic Type Systems

Type Parameters

Types Omnibus Basic Type Systems

Structs, Records, and ADTs

Types Omnibus Basic Type Systems

Gradual and Runtime Typing

Types Omnibus

Any vs Top

Types Omnibus Gradual and Runtime Typing

Why Types at All?

Types Omnibus Preliminaries