From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id D55365D4 for ; Sun, 17 Jun 2018 03:43:50 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,233,1526335200"; d="scan'208,217";a="332093545" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Jun 2018 05:43:49 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3A76382416; Sun, 17 Jun 2018 05:43:49 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B1BDF82416 for ; Sun, 17 Jun 2018 05:43:42 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=murthy.chet@gmail.com; spf=Pass smtp.mailfrom=murthy.chet@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f50.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Azr294RY1fUs2CMIRYKCffr//LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMm8bnLW6fgltlLVR4KTs6sC17KL9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCa9bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58axlVAHnhz?= =?us-ascii?q?sGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7deNIaRXFaXsZQUSxBDZ63?= =?us-ascii?q?YZUWAeEcM+ZYrpfyp18TohCjAQWhCv/jxjpOi3Tr36M1zv4hHBnE0wwuH9wAvn?= =?us-ascii?q?faosjpO6oJS++50LPFwC/fY/9K2zrw7pXDfBA7ofGLWLJ9adTcyUkxGAPZk16e?= =?us-ascii?q?rpHlPymJ1uQNs2mQ8u1tVeeyi249twFxojiuyt0whYnJmI0V1kvJ9Sp8wIkvJN?= =?us-ascii?q?24TFR3bsKjEJtVriyXMZZ9TMA6Q2xwpio21rkLtYS4cSUK0pgr2QPTZvydf4WI?= =?us-ascii?q?/h7uUvuaLy1ii3J/Yr2/gg6/8Ui+xe34Ucm5yFNKoTBEktnIr3wN0xLT5tSeRv?= =?us-ascii?q?tz/kqtxSyD1w/U6uFDLkA0kbTUJ4Q9zb43k5ofqUXDHinol0XqlKKaaFko9+yy?= =?us-ascii?q?5+nkYrjqvIGQO5J0hw3kMqkihtSzAeEiPQgPW2ib9/681Lrm/UDhRbVKk+c2kr?= =?us-ascii?q?XZsJHaP8gUuq65DBFJ0os45Ba/Ci2p0NUcnXUdMF1FfxeHg5DzO17SOPD4Eeu/?= =?us-ascii?q?g1O0nTh33f/GO7nhDozJLnjCi7fhYa1w61VcyQo21dBQ/YhYCrAHIPLpW0/+rs?= =?us-ascii?q?bUDhEjM1/87fzgDYBW1o4CEUeSGLOZIeuGtEKS+uI+ZeKMaZM9tzP0Kvxj7Pnr?= =?us-ascii?q?2yxq0WQBdLWkiMNEIEuzGe5rdgDGOSO90OdEKn8Du08FdMKvjVSDVTBJYHPrBv?= =?us-ascii?q?Az4zg6DMStCoKRH9nx0ozE5z+yG9htXk4DEkqFSC66eICNWvNKYyWXcJc4z240?= =?us-ascii?q?EIO5Qopk7imA8Q/3z709c7jR8ywc8JbtjJ17urWVmhY1+jh5Sc+a1jPVQg=3D?= =?us-ascii?q?=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DVAwDA2CVbhjLXVdFbHAEBAQQBAQoBA?= =?us-ascii?q?YQUgRUZD4N5gR2TOIFRiFdfhAWCZQGGdguEbAIjgi8ZBwEESAECAQEBAQEBAQE?= =?us-ascii?q?BEwEBAQgLCwgpIwyCNSSCRgEJBiMdARsdAQMMBgUDAQIFNwICIgERAQUBHHWCS?= =?us-ascii?q?QKBZgEDFZ5xPIsIgX8FAReCcgWDRwoZJg1VV4FgAgYSiEKCE4Qbh3YUgkECjSG?= =?us-ascii?q?LdQcCjwlgUQGMCZE+DyGDKjMaI1AxbAiBHoIVGoNOinIfMJA/AQ?= X-IPAS-Result: =?us-ascii?q?A0DVAwDA2CVbhjLXVdFbHAEBAQQBAQoBAYQUgRUZD4N5gR2?= =?us-ascii?q?TOIFRiFdfhAWCZQGGdguEbAIjgi8ZBwEESAECAQEBAQEBAQEBEwEBAQgLCwgpI?= =?us-ascii?q?wyCNSSCRgEJBiMdARsdAQMMBgUDAQIFNwICIgERAQUBHHWCSQKBZgEDFZ5xPIs?= =?us-ascii?q?IgX8FAReCcgWDRwoZJg1VV4FgAgYSiEKCE4Qbh3YUgkECjSGLdQcCjwlgUQGMC?= =?us-ascii?q?ZE+DyGDKjMaI1AxbAiBHoIVGoNOinIfMJA/AQ?= X-IronPort-AV: E=Sophos;i="5.51,233,1526335200"; d="scan'208,217";a="332093532" Received: from mail-lf0-f50.google.com ([209.85.215.50]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 17 Jun 2018 05:43:36 +0200 Received: by mail-lf0-f50.google.com with SMTP id d24-v6so19887280lfa.8 for ; Sat, 16 Jun 2018 20:43:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:cc; bh=rEaJw//xUXPlfMBLsSOIA94L8zS+Pyp1ycLvfs6WqR8=; b=mszaTPZ8NYj7NQsNLiDhFI+EL2Vw+ttfhL+X3lympYUcn+y0PEwwmJHNTaKzDkx39r LHMoPGq0bFGVOkOPiJHtaCZkFkxgVQX71bgj/W1VPy5lmV5SYQYXsYxqA2CFTObo5O96 T94B91cDHjo2k7eqOkHUptlyAapfYV4TKrRjDFJTDDH2BRXICn+hvTDchxAqKtYlMJPE nN7iejqG01pvksy/+3fB5OvWXmNNH6XcXFQ+e4c0F+02f9GLGW6HTmOKWwyysvMM2fVV 9oiSXkoJvG4IB/Aa2jhiSkxZzdw/JfgmseamAtjcjMkm7p6MIO0BlMJHzOytCIOCz/Yr BvbQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:cc; bh=rEaJw//xUXPlfMBLsSOIA94L8zS+Pyp1ycLvfs6WqR8=; b=XucqvrBBaU14kuT0Etga+kAOGelDiyVV3mO0ds3xwUUejNzT1tflMlmcywiSI24FOW Zzt3ajgqX2Mx5FW5hA7pucHfM0OpbOgxtrafL3nTLVKdLejd/yCYLFF86MvUTU/ep9DI cKV/C8L1b1j0vPq+Jh9CApNskimV3fylj/Cw6lrx4sNIbSUmS61TMV1hKrgGPcHi6KNX KynulPMP5oE0YZd8SkF2D92trLWALb1i5+oynypYOBZjQ6tvzXM3ElISzfxnar63OllV espYaLsKAJ0Kb6bmPuw8XpD9YcMfXAD8XcXjIO1XCy8yrgtTPVhedxIaJnMyr1LK+Ljk PSEg== X-Gm-Message-State: APt69E3/ngfINbm4ZC5Iehv5iFxO7ZjzoRRZ5DtrnDADwzOAzQ2cA1ZQ rRrVHX9FpSP5iLnq/8kQ/ZA+S5WK1e1nKM9qMws= X-Google-Smtp-Source: ADUXVKLCR7Qe108rP2JXc0fxlM7Jw759g57VVCC77pt7H7I9c/XBrrMANjSnhXUmv2kcPi4U9g8SBaWJoNHukGeFhnI= X-Received: by 2002:a19:8fc7:: with SMTP id s68-v6mr4198979lfk.2.1529207015890; Sat, 16 Jun 2018 20:43:35 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a2e:89c3:0:0:0:0:0 with HTTP; Sat, 16 Jun 2018 20:43:35 -0700 (PDT) In-Reply-To: References: From: Chet Murthy Date: Sat, 16 Jun 2018 20:43:35 -0700 Message-ID: Cc: OCaml Mailing List Content-Type: multipart/alternative; boundary="000000000000f863f8056ece4040" Subject: Re: [Caml-list] a question about GADTs Reply-To: Chet Murthy X-Loop: caml-list@inria.fr X-Sequence: 16944 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000f863f8056ece4040 Content-Type: text/plain; charset="UTF-8" I'm curious: is there any real-world use of GADTs, other than in PL itself? I mean, writing interpreters, compilers, and such? Any non-PL use? Again, not trying to start a flame-war -- just *curious*. -- 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 --000000000000f863f8056ece4040 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I'm curious: is there any r= eal-world use of GADTs, other than in PL itself?=C2=A0 I mean, writing inte= rpreters, compilers, and such?=C2=A0 Any non-PL use?

Again, not trying to start a= flame-war -- just *curious*.

--000000000000f863f8056ece4040--