@NfNitLoop on Twitter
@NfNitLoop ("Cody C. #BLM") retweeted:
@garybernhardt ("Gary Bernhardt") wrote:
Type systems exist so that we can write down our beliefs about the code, then have a tool (the type checker) tell us when our beliefs contradict themselves. (This is from a draft of @exec_prog's upcoming Advanced TypeScript course... or possibly courses.)
