Programs should be valid as they are typed.

via: https://lobste.rs/s/ik0pjv/left_right_programming

Nice trip