About a week ago, I was wanting to assert whether a piece of code was running inside a database transaction. My suggestion to my tech lead was: why not use the type system to ensure we have a transaction object.

The response from my ever curt tech lead was: we don't need to know that. Stupid me.

Today my wonderful tech lead suggested that we use the type system, and looked very proud of himself. It's nice to know my emails just get ignored.