John Skaller

Top: I agree, a parameter of type Top should accept everything. However you cannot DO anything with such a parameter except copy it, so in principle you can delete the...

On error handling: passing back disjoint unions works but as you say is clumsy. The problem is that a function, when returning, is actually CALLING the continuation of the master....

"This is any way contradictory as we cannot always compare functions structurally and have to compare them extensional, i.e. each function becomes unique to all other functions and itself." This...

"This is was sucks me as it creates a bitheistic world. For that reason I prefer to cheat procedures as functions which get their return value as parameter. But this...

Let me try to explain how continuation passing works. Suppose we have a program: ``` set (x, 1); print x; print "bye"; ```` I've written it with procedure calls. Now...

Actually i haven't seen that paper. I'm referring to Filinski's Masters Thesis. Its a bit hard to find. The point about categorical definitions is we have to use them as...

Oh, if you mean does the compiler work by using Continuation Passing Style, the answer is no, its a conventional Algol like language, the internal representation is a high level...

BTW: undecidability is an interesting issue that is not well understood. First, although *in general* something is undecidable, it can often be made practically decidable. For example: in general, it...

Note: I recall this had something to do with inherited symbols.

Invariants apply to the object state. Therefore they are children of the object constructor. The constructor in a curried function is the _innermost_ function of the nested functions. The invariant...