Programming In Five Easy Pieces
![Programming In Five Easy Pieces](https://cdn.danielbmarkham.com/2021/01/curry-howard-correspondence-tech-weenie.jpg)
- 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
![](https://cdn.danielbmarkham.com/2021/01/2019-11-28-kats-settlers-pic1.png)
![](https://cdn.danielbmarkham.com/2021/01/curry-howard-correspondence-2-1.jpg)
![](https://cdn.danielbmarkham.com/2021/01/test-is-the-head-of-the-tdd-cycle.jpg)
![](https://cdn.danielbmarkham.com/2021/01/logic-and-such.png)
![](https://cdn.danielbmarkham.com/2021/01/18-Fascinating-Images-Show-How-We-All-View-Life-From-Different-Perspectives.jpeg)
![](https://cdn.danielbmarkham.com/2021/01/perspective-island.png)
![](https://cdn.danielbmarkham.com/2021/01/Curry-Howard-Isomorphism.png)
Comments ()