Programming In Five Easy Pieces
1. A group of people have a goal. They use dialectic and language games to come to a tentative alignment on terms
2. For purposes of this specific goal of these specific people, these terms only have meaning inside a formal system they create together (a programming type system)
3.
