> You write a compiler that enforces stronger invariants above and beyond everything is an array/string/list/number/pointer.

https://www.reddit.com/r/funny/comments/eccj2/how_to_draw_an...