Le 30/08/2016 à 02:26, Hendrik Boom a écrit :
On Mon, Aug 29, 2016 at 04:33:15PM -0400, Matthias Felleisen wrote:
Continuations don’t return. In a set-oriented type system this means their
result type is the empty set:
I tried, but failed, to get this convention into Algol 68 for
functinos that don't return.
-- hendrik
Could anybody justify this convention?
An empty set is a legitimate piece of data. In the non-deterministic
monad in Haskell the empty list means a failure, a "no answer" result,
but a result anyway.
In my head I always saw the non-returning functions as yielding
something more "dramatic", a bottom perhaps?...
Jerzy Karczmarczuk
/Caen, France/
--
You received this message because you are subscribed to the Google Groups "Racket
Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
