3 ms·
It does exist. You know it as the assignment operator.
by teawrecks 6y ago
It does exist. You know it as the assignment operator.
- seanwilson 6y agoNot quite - logical implication maps to function types in programming via the Curry-Howard isomorphism: https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence#General_formulation https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon... i.e. knowing "A implies B" is like having a function that accepts a value of type A and outputs a value of type B.