The term raw appears in a couple of goals, and I'll use it frequently throughout this talk.
The raw usage of a construct means the construct should be considered too low-level and not used outside of a function or class whose primary purpose it to create a safe and efficient, higher level construct that can be used instead.
Throughout these slides I use word to mean a machine word, typically 64 bits on a 64 bit architecture and 32 bits on a 32 bit architecture. I do not mean a Win32 WORD
type which is 16 bits.
A
and B
the result applies toNot pure mathematics
Mathematics is a tool to describe what is and a tool to reason about code
Software is defined on algebraic structures