A group of people have a goal. They use dialectic and language games to come to a tentative alignment on terms
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)
As this formal system is developed, the process is repeated and defined
The resulting technology (executable type system) is used to create and validate new hypotheses about the universe around us
Entire process repeats as desired
1. Social interactions, in a variety of contexts using some sort of rules of engagement, begin alignment2. To begin to eliminate language "slipperiness", formal logic is used with key terms3. Work in the formal system affects work in the human system, and vice-versa. Formal work can either be Test-Driven Development or Incremental Strong Typing4. Programming is all about knowing something you didn't know before: how many users will sign up, what are the implications of ad-based revenue, etc. Your values are your own, the code keeps your terms coherent and logical, and we don't address metaphysics. Good coding, no matter what the project, is applied philosophy: learning5. Different people, different context, different goals -> different project5b. It's a mistake to think of this as a matter one thing that nobody has figured out yet. Even with the exact same information, you get different answers. It's a function of the intelligence of the creatures involved, not the external world (Semiotics)