From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D0AE78002D for ; Wed, 12 Oct 2016 01:09:59 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ivg@ieee.org; spf=Pass smtp.mailfrom=ivg@ieee.org; spf=None smtp.helo=postmaster@mail-qt0-f177.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=209.85.216.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ivg@ieee.org designates 209.85.216.177 as permitted sender) identity=mailfrom; client-ip=209.85.216.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qt0-f177.google.com) identity=helo; client-ip=209.85.216.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-qt0-f177.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Al7WcoRUvT9eg5iao5QRRIPK0VvDV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZh2Ht8tkgFKBZ4jH8fUM07OQ6PG6HzBZqs7c+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJP?= =?us-ascii?q?K/jvHcaK1oLshrr0p8SYO1gArQH+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf?= =?us-ascii?q?9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t/vQqALb?= =?us-ascii?q?QACTynwZW2QQ2loUUkmWpC39C7D1szX3rKJX0S+WMMm+GbcwWCqv9Y9lSQXzlG?= =?us-ascii?q?EGMXsz/XvTi8o2gK8N8zy7oBkq4pDdZsm6M+Z5YKjdfM8BDT5AQMl5ViFMD8W7?= =?us-ascii?q?dYRZXLlJBvpRs4So/whGlhC5HwT5Qb62xw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A8AQB9cP1Xh7HYVdFcGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFgEBAQMBAQEJAQEBgxEBAQEBAXR8pDaCLJQTJoV6AoF7DDwQAQEBAQE?= =?us-ascii?q?BAQEBAQESAQEBCA0JCRkvgjIEARUFghABAQEDARIRHQEBLAsBBAsLGAICCR0CA?= =?us-ascii?q?jQBBQEKEgYTEhCIFAMPCA6oS4EyPjKKW2eESQEBBYQ6A4N2AQEBAQEBAQEBAQE?= =?us-ascii?q?BAQEBAQEBAQEBFAkQd4U2gX0IglCER4MELIIvhnUMkwaGJ4lWgjyHHw6GDIxmE?= =?us-ascii?q?4I9MYERNWyCYiCBelYBhyKBQQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0A8AQB9cP1Xh7HYVdFcGgEBAQECAQEBAQgBAQEBFgEBAQM?= =?us-ascii?q?BAQEJAQEBgxEBAQEBAXR8pDaCLJQTJoV6AoF7DDwQAQEBAQEBAQEBAQESAQEBC?= =?us-ascii?q?A0JCRkvgjIEARUFghABAQEDARIRHQEBLAsBBAsLGAICCR0CAjQBBQEKEgYTEhC?= =?us-ascii?q?IFAMPCA6oS4EyPjKKW2eESQEBBYQ6A4N2AQEBAQEBAQEBAQEBAQEBAQEBAQEBF?= =?us-ascii?q?AkQd4U2gX0IglCER4MELIIvhnUMkwaGJ4lWgjyHHw6GDIxmE4I9MYERNWyCYiC?= =?us-ascii?q?BelYBhyKBQQEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,479,1473112800"; d="scan'208";a="196442202" Received: from mail-qt0-f177.google.com ([209.85.216.177]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Oct 2016 01:09:58 +0200 Received: by mail-qt0-f177.google.com with SMTP id f6so6147299qtd.2 for ; Tue, 11 Oct 2016 16:09:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ieee-org.20150623.gappssmtp.com; s=20150623; h=mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=lNg1MgFvQSBcrk0gn2J4tCm1RAsVYW3q+qDQ+tq/1iA=; b=tqq7NSWFBD2ZYFA22mlWnN1xPzRUJOrvoUnG1LN9A3VDei/aoW0z1jV5Hm5Kt7YU6r g9K783hRIHej99vx+VAJR+rFwBzXjXrzdb8yx6gC07plBWu8LkfhQvp7jTa08qqr6ZZS mm7PRpsB82i4SMKUsGs/JRVJwvg3kDF/tsoGWjLiuOpeEdmMR39K/qt6vT2LODbucly8 +PXwiGWaak+K7Eao+WcEsg40spZkozj5JSJ2opMoHKKpeSoAeYwEigFiLlEREk27mSKi 8ddH+FARumOPJU63p4N1QW5v9Db0JFzVFhOlr3co+nrEgJlzXbSp8fDwiBR2z6ylceEk 4r6Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=lNg1MgFvQSBcrk0gn2J4tCm1RAsVYW3q+qDQ+tq/1iA=; b=aROq1D19dz/1YbYemaVOMf3igENTurQqm4srDdEgWSXUNK9fZqi8ncm0esDoWfLgUF y8797JDxNL/1Tp9Tklnyg1qzQLePuIn2c0EDar6U2Sxo6rm7/JrRg/FYvaHEFVVUD3zR qJP+RkLkbPWD0IlDtzFMJOz3ctbteFb2MHidLSrmxZttW0KBvamvLE+OTgPyzpyNoXTm /na0TN7p6Zo2DyyDMA+iaPqTdnO+0inhLYzIh5/1Xw/1gUcSi2VdwcrkyvInEcr2yMYb D8YT4J1pKim2mKVaUpnDDjM5U7Zc+P6X/UOMMVeE7HGnxn1GJotZSXE1ZXtuJvRo4Hyd hsvg== X-Gm-Message-State: AA6/9RkngqgrIKe2iduUTuRvz6jIYfK+tk3bDdLOE9UvuWJ0jTkQ8nIeSmbLeLrZBOlJD7OI X-Received: by 10.200.36.154 with SMTP id s26mr6218634qts.0.1476227397403; Tue, 11 Oct 2016 16:09:57 -0700 (PDT) Received: from [192.168.1.4] (c-73-40-253-29.hsd1.pa.comcast.net. [73.40.253.29]) by smtp.gmail.com with ESMTPSA id r57sm1864532qtr.47.2016.10.11.16.09.55 (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Tue, 11 Oct 2016 16:09:56 -0700 (PDT) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) From: Ivan Gotovchits In-Reply-To: <20161012002017.Horde.Q29WqRVKrgs1smGddL5SF_Y@webmail.in-berlin.de> Date: Tue, 11 Oct 2016 19:09:54 -0400 Cc: caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: <380FF407-4857-4363-971F-1567AD43A0BC@ieee.org> References: <20161011235521.Horde.3X1jpLQmLKIbcZWI8PENsh5@webmail.in-berlin.de> <20161011235748.Horde.tw6-aD_0MDiWndBLvD9dd9C@webmail.in-berlin.de> <20161012002017.Horde.Q29WqRVKrgs1smGddL5SF_Y@webmail.in-berlin.de> To: Oliver Bandel X-Mailer: Apple Mail (2.3124) Subject: Re: [Caml-list] First-Class Types?! > On Oct 11, 2016, at 6:20 PM, Oliver Bandel wr= ote: >=20 >=20 > Zitat von Oliver Bandel (Tue, 11 Oct 2016 23:= 57:48 +0200) >=20 >> Zitat von Oliver Bandel (Tue, 11 Oct 2016 23= :55:21 +0200) >>=20 >>> Hello, >>>=20 >>> will there be first-class types in OCaml one day? OCaml with first-class types is called Coq.=20 >> [...] >>=20 >> Meaning: types as first-class values... >=20 >=20 > ...or does static types contradict first-class types? They do not=E2=80=A6 once you have decided what is the type of type, and sh= ould it be first class too :) >=20 > Ciao, > Oliver >=20 >=20 > --=20 > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs