Related Tags

software.general
programming software-engineering aoc infosec apps dsp programming-languages web functional types linux metaprogramming oop windows

Types

What's your type?

Static? Dynamic? Structural? Polymorphic? Algebraic?

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... abusing turing-complete typesystems to write fun programs in Python.

2023‑10‑02
13 minute read
programming ctf python
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.

2023‑04‑24
11 minute read
programming mathematics haskell