Comment by codekilla | Hacker News Reader

Top New Best Ask Show Jobs

Comment by codekilla | Hacker News Reader

Bob Harper wrote a really good blog entry that expounds on this as Computational Trinitarianism [1].

Michael Shulman also wrote about the extension to Homotopical Trinitarianism [2]

For a good summary with links there is [3]

[1] Computational Trinitarinism, https://existentialtype.wordpress.com/2011/03/27/the-holy-tr...

[2] Homotopical Trinitarinism, http://home.sandiego.edu/~shulman/papers/trinity.pdf]

[3] nCatLab, https://ncatlab.org/nlab/show/computational+trilogy

Lacking time to study, is this basically what Phil Wadler has written and talked about, like "Propositions as types"?

To the Mr. Harper's observation we should add that the trinitary theory of computation needs to express itself in reality and it does so thru the quadrant of hardware: transistors, memory, electricity and machine code. Thus three, standing on the four, represents computation in action.

In principle it doesn't have to be transistors specifically. Any switching device will suffice.

Reply on news.ycombinator.com