From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 98320BC69 for ; Sun, 22 Oct 2006 17:11:48 +0200 (CEST) Received: from coriana6.cis.mcmaster.ca (coriana6.CIS.McMaster.CA [130.113.128.17]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k9MFBlru007218 for ; Sun, 22 Oct 2006 17:11:48 +0200 Received: from Gorash7.UTS.McMaster.CA (Gorash7.UTS.McMaster.CA [130.113.196.61]) by coriana6.cis.mcmaster.ca (8.13.7/8.13.7) with ESMTP id k9MFBaXf012601 for ; Sun, 22 Oct 2006 11:11:42 -0400 (EDT) Received: from cgpsrv2.cis.mcmaster.ca (univmail.CIS.McMaster.CA [130.113.64.46]) by Gorash7.UTS.McMaster.CA (8.13.7/8.13.7) with ESMTP id k9MFAwYW005168 for ; Sun, 22 Oct 2006 11:10:58 -0400 Received: from [69.193.76.85] (account carette@univmail.cis.mcmaster.ca HELO [192.168.1.101]) by cgpsrv2.cis.mcmaster.ca (CommuniGate Pro SMTP 4.1.8) with ESMTP-TLS id 145480896 for caml-list@inria.fr; Sun, 22 Oct 2006 11:11:19 -0400 Message-ID: <453B8A20.4070002@mcmaster.ca> Date: Sun, 22 Oct 2006 11:11:28 -0400 From: Jacques Carette Organization: McMaster University User-Agent: Thunderbird 1.5.0.7 (Windows/20060909) MIME-Version: 1.0 To: caml-list@inria.fr Subject: ECMAscript, continuations and ocaml Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-PMX-Version-Mac: 4.7.1.128075, Antispam-Engine: 2.4.0.264935, Antispam-Data: 2006.10.22.73443 X-PerlMx-Spam: Gauge=IIIIIII, Probability=7%, Report='__CP_URI_IN_BODY 0, __CT 0, __CTE 0, __CT_TEXT_PLAIN 0, __HAS_MSGID 0, __MIME_TEXT_ONLY 0, __MIME_VERSION 0, __SANE_MSGID 0, __USER_AGENT 0' X-Miltered: at concorde with ID 453B8A33.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 node:01 threads:01 mcmaster:02 jacques:03 jacques:03 discussion:07 might:11 interesting:12 issue:12 issue:12 kind:13 type:14 relevance:16 There is an interesting discussion of definite relevance to ocaml over at LtU: http://lambda-the-ultimate.org/node/1784 One of the main threads is the issue of what kind of continuations will be 'grafted' on to ocaml for the reference implementation of ECMAscript 4. The keepers of ocaml might want to wade in to this issue before someone else makes a 'de facto' decision as to which type of continuations will be part of the ``language''. Jacques