Welcome to Shaun Luttin's public notebook. It contains rough, practical notes. The guiding idea is that, despite what marketing tells us, there are no experts at anything. Sharing our half-baked ideas helps everyone. We're all just muddling thru. Find out more about our work at bigfont.ca.
Contents tagged with software-languages
A type system's main purpose is to reduce software bugs. Types are assigned to each data value. Rules define what operations each data type supports. Checking determines whether our code follows … more