@bascule and all the work in SES and proxies!
-
-
-
@halorgium see also: <iframe sandbox>
End of conversation
New conversation -
-
-
@bascule@puffnfresh the TS* type system doesn't seem to include sum types. Am I missing something, or is that on purpose? -
-
@puffnfresh@bascule Church encoding of sums? ah... A + B = ∀α. (A → α) → (B → α) → α http://lambda-the-ultimate.org/node/4065 -
@puffnfresh@bascule nifty... but without sugar for pattern matching, I wouldn't expect sum types to get much traction. hm.
End of conversation
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.