[lioeters]

Excellent comment, much appreciated. I knew some of this before but seeing the dots connected in a succinct summary helped deepen my understanding, especially the relevance/equivalence to formal logic and proofs. Now I'm starting to get what languages like Haskell and OCaml are about. It's a wonder how I've missed such fundamental (and in retrospect basic) knowledge through years of programming. But better late than never, I'm really enjoying diving into the history of ideas - logic, mathematics, electrical circuits, computers. Curry-Howard Correspondence is eye-opening, and it was decades ago. The more I learn, the more I value the "innovations of the past" that built up what we have today.