Liam O'ConnorI had an extremely frustrating exchange with a FP practitioner who was overly enthusiastic about Curry-Howard the other day, so I tried to write up my thoughts in this note here.
Jon Sterling@liamoc Curry Howard Isomorphism — isomorphic in the sense of JavaScript (not sure if this meme still lives)
@jonmsterling because of the weird misuse of mathematical terminology I had assumed until right now that the JS runtime "deno" had some ridiculous nominal connection to denotational semantics but apparently it's just meant as an anagram of node.