The more software you write in it the more that stuff becomes second nature (unless you're a library writer in which you have to reason about your types very ca

The more software you write in it the more that stuff becomes second nature (unless you're a library writer in which you have to reason about your types very carefully).