Comment by tucnak

> It's pretty simple: due to Curry-Howard isomorphism, programming languages are just notations for some type of formal logic.

Thank you, this made me chuckle!