3 ms·
> ...I'd have done == for assignment... It makes much more sense if you consider it from a logic perspective. '=' is material implication (→), and '==' is mate
by woodman 11y ago
> ...I'd have done == for assignment...
It makes much more sense if you consider it from a logic perspective. '=' is material implication (→), and '==' is material biconditional (↔) - which is logically equivalent to (a → b) ∧ (b → a)... so two equal signs (the logical conjunction is redundant so you drop it). Computer science favors logic, so I'd be pretty surprised if it was simply personal preference.
- nickpsecurity 11y agoI actually never considered that. That's a good idea. Now, hopefully I remember this if I see other Thompson papers. Use of formal logic in them or in his background might explain it.