From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA26216 for caml-redistribution; Thu, 8 May 1997 21:56:05 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA07578 for <caml-list@pauillac.inria.fr>; Wed, 7 May 1997 18:26:26 +0200 (MET DST)
Received: from haven.uchicago.edu (root@haven.uchicago.edu [128.135.12.3]) by nez-perce.inria.fr (8.8.5/8.7.3) with ESMTP id SAA00482 for <caml-list@inria.fr>; Wed, 7 May 1997 18:26:22 +0200 (MET DST)
Received: from midway.uchicago.edu (root@midway.uchicago.edu [128.135.12.12])
	by haven.uchicago.edu (8.8.5/8.8.5) with ESMTP id LAA21959
	for <caml-list@inria.fr>; Wed, 7 May 1997 11:26:14 -0500 (CDT)
Received: from kimbark.uchicago.edu (root@kimbark.uchicago.edu [128.135.12.52]) by midway.uchicago.edu (8.8.5/8.8.3) with ESMTP id LAA20148 for <caml-list@inria.fr>; Wed, 7 May 1997 11:24:39 -0500 (CDT)
Received: from kimbark.uchicago.edu (4208@localhost [127.0.0.1]) by kimbark.uchicago.edu (8.8.5/8.8.3) with ESMTP id LAA29105 for <caml-list@inria.fr>; Wed, 7 May 1997 11:24:32 -0500 (CDT)
Message-Id: <199705071624.LAA29105@kimbark.uchicago.edu>
To: caml-list@inria.fr
Subject: continuations
Date: Wed, 07 May 1997 11:24:31 -0500
From: Lyn A Headley <laheadle@midway.uchicago.edu>
Sender: weis

hi,

I was reading an article about language implementation in Standard ML
(slightly annoying name isn't it?) which described a
continuation-passing interpreter.  It seems that in sml, continuations
are simply unit -> unit functions.  So it seems that any language with
higher-order functions is capable of passing continuations.  This is
not the impression I get from the Scheme camp, who seem to think that
continuations are a special form that only a few almighty languages
support.  Anyone know the full story?

Lyn