@NfNitLoop on Twitter: Post

@NfNitLoop on Twitter

@NfNitLoop ("Cody C. #BLM") wrote:

And this is the nice thing about #RustLang. It adds type information about what code currently has access to references to your objects (memory). This lets the compiler check that information for you, and find errors that other “strongly typed” languages can’t. ❤️ 🦀

with quote tweet:

@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.)