Programming Languages

Sometimes shortened as PL.

Posts here explore the wonderful world of programming languages, differences and intricacies between languages, compiler theory, type theory, and all the baggage that come along.

Thumbnail for N[Subtype Metaprogramming] is N[Mostly Harmless]
Thumbnail for N[Subtype Metaprogramming] is N[Mostly Harmless]

N[Subtype Metaprogramming] is N[Mostly Harmless]

Inheritance go brrrrrrrr... (ab)using types to write programs.

Thumbnail for The Mathematics of Types
Thumbnail for The Mathematics of Types

The Mathematics of Types

Programming isn't about mindlessly typing away on a keyboard. There is an aesthetic quality that comes with approaching a problem.

Thumbnail for SEAL
Thumbnail for SEAL

SEAL

Some Extensions for the Amy Language – a programming language project made with Scala.