Coeffects: Context-aware programming languages

tomasp.net/coeffects

Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.

Interesting site that can adapt its presentation of a dense subject depending on the audience.

information-design,programming-languages