when you use continuations, the inverse works just as well.
-
-
-
as
@pervognsen implied, the "strange intruder" here is the 'return' idiom whose typing isn't symmetrical to input argument typing. - 3 more replies
New conversation -
-
-
They are not really inverses though because parsing can fail
-
A failure of parsing and a function parameter type mismatch in printing are analogous, and are the same thing in a logic language.
End of conversation
New conversation -
-
-
You can overload on return types with typeclasses, e.g. Haskell's Read typeclass.
-
For "dynamic overloading", I'd say that a classic parseExp :: String -> Exp where it decides the kind of Exp based on String content fits.
- 2 more replies
New conversation -
-
-
I think its because our machines are better at synthesis than they are at analysis
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Isn't it because conversion of ordered data into unordered is simpler? Entropy is cheap.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.