[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

continuations vs linear types

I read Bawden's paper on linear types.  He argues
that compileers should use linear types rather
than continuations for speed (to avoid the cost
of continuations).  He did not talk about the
value of continuations for implementing things
like exceptions.

Does any one here know whether linear types could
also be used to deliver these?


S. Alexander Jacobson                   i2x Media
1-212-787-1914 voice                    1-603-288-1280 fax