My “one weird trick” is take the time to understand type theory. How are types implemented? What are the native types on your computer? How do types and whit

My “one weird trick” is take the time to understand type theory. How are types implemented? What are the native types on your computer? How do types and whiteboard diagrams relate? If you can answer those questions, you’ll start to get an intuitive sense of how to make a program out of types (eg, domain driven design) and of how the computer will interpret those types.