"It follows naturally from the rule: (∃ T . F⟨T⟩) → R ≃ ∀ T . (F⟨T⟩ → R)" — Yup; that's about as natural as it gets.
-
-
I don't think mathematical arguments are out of place in an internal discussion on programming language semantics.
-
Certainly, so long as all the important/relevant parties understand it.
- 4 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.