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 A24007EE34 for ; Tue, 29 Mar 2016 12:08:13 +0200 (CEST) IronPort-PHdr: 9a23:AK08qB3xeCEP4oGssmDT+DRfVm0co7zxezQtwd8ZsegTKvad9pjvdHbS+e9qxAeQG96Lu7Qe1aGP7ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6CyZ7pnLnss7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLWKD+OqA5VqAQWD8vNmRw4MzwqTHCSxGO7z0SSDNFvABPBl3g5RXxWZP0+g7zquN52yDSacjzRKw9XTerx6huQR7sziwAMmhqoynslsVsgfcD81qarBtlztuMbQ== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mmatalka@gmail.com; spf=Pass smtp.mailfrom=mmatalka@gmail.com; spf=None smtp.helo=postmaster@mail-vk0-f46.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mmatalka@gmail.com) identity=pra; client-ip=209.85.213.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mmatalka@gmail.com designates 209.85.213.46 as permitted sender) identity=mailfrom; client-ip=209.85.213.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@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-vk0-f46.google.com) identity=helo; client-ip=209.85.213.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="postmaster@mail-vk0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BMAQCWUvpWki7VVdFdhH4GqEcEA4crhgmGbIcyB0wBAQEBAQEBARABAQEBBwsLCSEvgi2CCyIRHQEbEQ0DEggBAgU3AiQBEQEFASI1h28BAxKgbYIHgTE+MYs2gWqCV4ZdChknDVGEKwEFCgWGDowBglYFl2yBK4xcgVABjTyNUhEegQ6CdoFTOjCIegEBAQ X-IPAS-Result: A0BMAQCWUvpWki7VVdFdhH4GqEcEA4crhgmGbIcyB0wBAQEBAQEBARABAQEBBwsLCSEvgi2CCyIRHQEbEQ0DEggBAgU3AiQBEQEFASI1h28BAxKgbYIHgTE+MYs2gWqCV4ZdChknDVGEKwEFCgWGDowBglYFl2yBK4xcgVABjTyNUhEegQ6CdoFTOjCIegEBAQ X-IronPort-AV: E=Sophos;i="5.24,410,1454972400"; d="scan'208";a="171400663" Received: from mail-vk0-f46.google.com ([209.85.213.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 29 Mar 2016 12:08:12 +0200 Received: by mail-vk0-f46.google.com with SMTP id k1so12414427vkb.0 for ; Tue, 29 Mar 2016 03:08:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to; bh=2R/cC5HaEKQtm1D6iLN7IqDk9BfkN9+SJNF8U2D/0ds=; b=bnYgp7CThsyY6PUn0CnlKQ+5NigaCaG3sIUL38YgqVpvNcvJGMXPreQW/w529fc0+i NQ2beYFGr4UKWDOxJC9rygSi6V3qM3cXmQWIAbGyLhX41BSuMxAnKI8M0zR5WrhUNF+w eb4v5Xw9wjMf7ryTcYjG95qJFdegwWqek3IViQFqXfZtFlvhX/aoR8zz2QqH6smlz9WM VHwZxoPD1iX9dXWt45zaakASX57uHBfqZvxkZkwp2fJvMBxg52DtKnpbKC4gLdXFUw9s +e3NvuR78Tkn8/1pcIOSosf++3Ibjx719psNP1nUAyvNZDGwWlhnYOiUXE7+00foNaGS Zhdw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to; bh=2R/cC5HaEKQtm1D6iLN7IqDk9BfkN9+SJNF8U2D/0ds=; b=Tnv6zlc9tWn2v8HK6f+HdsWmoTvUeloOR3wQ1LkbumZbR44xHx6FyOQtjDzjUBuFap e0pjZ60toIjbO7LlJwW1HJ1F7nPTzuSN4qC9RBmVE1notJB0ttg3arxSVSyPEPl7lwwQ h6ROLSckOjwOjGH/mtF5fjJPFvgTyHdMJ3kwBVpM02jwL1sFP6xu0vw//Hic0E+9oqa0 le5D4CIRwWEaRFZ+tPTUZ2OGLMMrmfL3yu8gsY2OLhL2s88nSEde/SAVg7NDPIMHFKei tqYQdOXY1K7OxwXtgO2U/TczMUOMswPa2dHelw6WxAg1HFdjXjP7J96raq2c17dL/IzH xpMQ== X-Gm-Message-State: AD7BkJKr/87z8CxY4MIUwRFjIsy/jorYgyT7X3zDOHaS3DM8nUj92Tw46rgfAmILw2T+v6P4cJ2e2PfJhJNKBQ== MIME-Version: 1.0 X-Received: by 10.159.35.87 with SMTP id 81mr710898uae.10.1459246089564; Tue, 29 Mar 2016 03:08:09 -0700 (PDT) Received: by 10.31.10.78 with HTTP; Tue, 29 Mar 2016 03:08:09 -0700 (PDT) Received: by 10.31.10.78 with HTTP; Tue, 29 Mar 2016 03:08:09 -0700 (PDT) Date: Tue, 29 Mar 2016 12:08:09 +0200 Message-ID: From: Malcolm Matalka To: caml-list Content-Type: multipart/alternative; boundary=001a1136e1f8cef640052f2d34ae Subject: [Caml-list] Should you always use GADTs? --001a1136e1f8cef640052f2d34ae Content-Type: text/plain; charset=UTF-8 I've been learning about GADTs this weekend and I'm wondering if there is any reason to not use them all the time? Or put another way, should Ocaml have non generalized variants at all (tossing aside the legacy code thing)? --001a1136e1f8cef640052f2d34ae Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

I've been learning about GADTs this weekend and I'm = wondering if there is any reason to not use them all the time?=C2=A0 Or put= another way, should Ocaml have non generalized variants at all (tossing as= ide the legacy code thing)?

--001a1136e1f8cef640052f2d34ae--