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.9 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 71640BC6B for ; Tue, 30 Oct 2007 18:04:58 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAJIBJ0fAXQInh2dsb2JhbACOYAIBCAop X-IronPort-AV: E=Sophos;i="4.21,347,1188770400"; d="scan'208";a="5290404" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 30 Oct 2007 18:04:58 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l9UH4srX001195 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 30 Oct 2007 18:04:57 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAOAAJ0dQW+UCh2dsb2JhbACOYAIBCAop X-IronPort-AV: E=Sophos;i="4.21,347,1188770400"; d="scan'208";a="3844704" Received: from main.gmane.org (HELO ciao.gmane.org) ([80.91.229.2]) by mail1-smtp-roc.national.inria.fr with ESMTP; 30 Oct 2007 18:04:57 +0100 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1ImuVQ-0007nI-L5 for caml-list@inria.fr; Tue, 30 Oct 2007 17:03:56 +0000 Received: from user-0cdfa2e.cable.mindspring.com ([24.215.168.78]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 30 Oct 2007 17:03:56 +0000 Received: from ccshan by user-0cdfa2e.cable.mindspring.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 30 Oct 2007 17:03:56 +0000 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Chung-chieh Shan Subject: Re: Which syntax to teach ? Date: Tue, 30 Oct 2007 12:59:12 -0400 Message-ID: <0g4kv4-mbk.ln1@mantle.rutgers.edu> References: <1193225773.3612.27.camel@Blefuscu> <471F7F7B.9040905@fmf.uni-lj.si> <666572260710241205x19edbd4ar840811b1d7a7315f@mail.gmail.com> <5i2kv4-hmj.ln1@mantle.rutgers.edu> <47275E10.4070705@janestcapital.com> X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: user-0cdfa2e.cable.mindspring.com User-Agent: tin/1.9.2-20070201 ("Dalaruan") (UNIX) (Linux/2.6.22 (i686)) Sender: news X-Miltered: at concorde with ID 47276437.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; syntax:01 gmane:01 polymorphism:01 functor's:01 sig:01 polymorphic:01 wrote:01 abstract:01 functions:01 constructor:01 constructor:01 caml:02 argument:02 black:96 module:03 Brian Hurt wrote in article <47275E10.4070705@janestcapital.com> in gmane.comp.lang.caml.inria: > Not sure how well this would work, but my idea would be to map the > concepts onto the standard code concepts. [...] I guess the issue then boils down to how to teach higher-kinded polymorphism, that is, functions that are polymorphic over a type *constructor*. It is crucial for me that the functor's argument module contain an abstract type *constructor*. -- Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig One can show you aren't immediately killed by tidal forces once crossing over the event horizon of Black Hole. Mathematically, your space coordinates become time-like and vice versa. This causes a shift in your light cone and your world line can never intersect with someone on the outside.