From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 B76ED8002E for ; Wed, 12 Oct 2016 09:07:48 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kakadu.hafanana@gmail.com; spf=Pass smtp.mailfrom=kakadu.hafanana@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f41.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kakadu.hafanana@gmail.com) identity=pra; client-ip=74.125.82.41; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kakadu.hafanana@gmail.com designates 74.125.82.41 as permitted sender) identity=mailfrom; client-ip=74.125.82.41; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; 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-wm0-f41.google.com) identity=helo; client-ip=74.125.82.41; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-wm0-f41.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AT4JfNxbnDircmGupJjLnik//LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpcW+bnLW6fgltlLVR4KTs6sC0LuM9fy5Ej1cqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZv?= =?us-ascii?q?IaytQ8iJ3p7xi7n5qsGbSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYe?= =?us-ascii?q?VcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYFYO+dbzuBLf?= =?us-ascii?q?YQyK73oaGiVKw1sbSzTCuTb+X4n8qGPQv+xx1S3SacryTK45Qxys7r1wVFnpjm?= =?us-ascii?q?INOiQ98WeRhsEm34xBpxf0hBV8yoLJKNWWPfl3cr6bfdoUTGxIWM95WClIA4f6?= =?us-ascii?q?ZIwKWblSdd1EppXw8gNd5SC1AhOhUaaykzI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BaFABS4P1XhilSfUpcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgxEBAQEBATs5fAekMIIshhqNeiaFegKCAQUHPBABAQEBAQEBAQE?= =?us-ascii?q?BARIBAQEICwsJGS9BEoFfBAEVBYIRAQEEEhEdARsSCwEDDAYFCw0CAgkdAgIiA?= =?us-ascii?q?REBBQEKEgYTCAoQiBMBAxcOqC2BMj4yi0KBa4JfBYN0ChknAwpTgxkBAQEBBgE?= =?us-ascii?q?BAQEbAwYQd4oLh0uCWwEEhnAMiDWKUYIvg3iJVoFYFk59hlOFaYx5gj0THoERN?= =?us-ascii?q?YNRIIFhOzSBIIYDgUEBAQE?= X-IPAS-Result: =?us-ascii?q?A0BaFABS4P1XhilSfUpcHAEBBAEBCgEBFwEBBAEBCgEBgxE?= =?us-ascii?q?BAQEBATs5fAekMIIshhqNeiaFegKCAQUHPBABAQEBAQEBAQEBARIBAQEICwsJG?= =?us-ascii?q?S9BEoFfBAEVBYIRAQEEEhEdARsSCwEDDAYFCw0CAgkdAgIiAREBBQEKEgYTCAo?= =?us-ascii?q?QiBMBAxcOqC2BMj4yi0KBa4JfBYN0ChknAwpTgxkBAQEBBgEBAQEbAwYQd4oLh?= =?us-ascii?q?0uCWwEEhnAMiDWKUYIvg3iJVoFYFk59hlOFaYx5gj0THoERNYNRIIFhOzSBIIY?= =?us-ascii?q?DgUEBAQE?= X-IronPort-AV: E=Sophos;i="5.31,333,1473112800"; d="scan'208";a="196469387" Received: from mail-wm0-f41.google.com ([74.125.82.41]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Oct 2016 09:07:48 +0200 Received: by mail-wm0-f41.google.com with SMTP id o81so12757044wma.1 for ; Wed, 12 Oct 2016 00:07:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=6W/rdARBWwSHysfUSN5LhVAFjgPzFH2gD3m74p0S9Ow=; b=DJ2wY/VtNW8aRmdeXlmsQDgd1W6asDRfHEdOmeWcR/yLqSyM1khVO5gxXwe9VCx0gh Wlov5fK7THdra0PerpQFyRKGYSgRsHKuwktCmxONtn5KKap2LYJNq0omaq8hLYi4l0zh vOvh/OPZ3/xQ+LcDBAR2iaSUnxYFzigNwbKn7HCwlXyZlAZ2tmXPH4eG1skx8/klw8c/ Hi9Q1NNmxeDdzA59ZfzXI5+zH8P4yQEYh07uayWdNECllOE4ENItOrqvgNRy82Cr9eYe pQQFWstnVaq44VoYbJPBFaPpn90emS8A1LsTch9OWFhQ4R4ohw9KDCrGFMLDQposkJwa TL6A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=6W/rdARBWwSHysfUSN5LhVAFjgPzFH2gD3m74p0S9Ow=; b=gexne53wCmrCMNrsmAggFufa4Pti/Ig2774i/kq4LH7kWpxyGIsszgNC/i/c9JgBFf 4dPmi1/Hxk3UQESs72AwOdeQz1mNY+GACYB4DWs4t15X6BvsTcV5rLuFMDjz6WMVench ZOFYhmYqI33uBxldgAzVHVICzJ0cyw4SNJTRVOmJFrC1xiFhDkvE8UxdYYrkyI0WyETG Yq8jb0Ttw8cf8cA1AhLzQhSIwG+x/+oaPKd5c/XdOGutbZYC7qXAvPwvJwJ6Rx8Mvr5R j4s+O1+nj544UyQaXJTet2UUeyFqyEv06aMlS3ZS7iL+mA4nrSmWRbu5R+WkJbXxZ8p6 bo8g== X-Gm-Message-State: AA6/9RkjI31aOkdZqTocI/M/TzWmb4D2JWp/TQiz5exP4BYhC8dZeP1Xu6uvec7DPcXVuIJll1+JkzqjIQhYdA== X-Received: by 10.28.1.16 with SMTP id 16mr1499878wmb.117.1476256067843; Wed, 12 Oct 2016 00:07:47 -0700 (PDT) MIME-Version: 1.0 Received: by 10.80.153.222 with HTTP; Wed, 12 Oct 2016 00:07:27 -0700 (PDT) In-Reply-To: <20161011235521.Horde.3X1jpLQmLKIbcZWI8PENsh5@webmail.in-berlin.de> References: <20161011235521.Horde.3X1jpLQmLKIbcZWI8PENsh5@webmail.in-berlin.de> From: Kakadu Date: Wed, 12 Oct 2016 10:07:27 +0300 Message-ID: To: Oliver Bandel Cc: Caml List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] First-Class Types?! Which languages already have first class types? Where can I read about it? Kakadu On Wed, Oct 12, 2016 at 12:55 AM, Oliver Bandel wrote: > Hello, > > will there be first-class types in OCaml one day? > > GADT and first-class-modules as a first step towards > first-class-types? > > Is it planned? > Is it possible in OCaml at all? > > > Ciao, > Oliver > > > -- > 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