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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 997C482355 for ; Wed, 24 Jan 2018 02:56:40 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yawar.amin@gmail.com; spf=Pass smtp.mailfrom=yawar.amin@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f43.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yawar.amin@gmail.com) identity=pra; client-ip=209.85.214.43; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="yawar.amin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yawar.amin@gmail.com designates 209.85.214.43 as permitted sender) identity=mailfrom; client-ip=209.85.214.43; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="yawar.amin@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f43.google.com) identity=helo; client-ip=209.85.214.43; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="postmaster@mail-it0-f43.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AwyYgfRR3l1Og7TuZSQu81Gu2vdpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69YByN2/xhgRfzUJnB7Loc0qyK6/mmATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfa5+IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4rx1QxH0li?= =?us-ascii?q?gIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNgHR2ROQ9xRWjRDDYOy?= =?us-ascii?q?b4UBAekPM/tGoYbhvFYBtweyCBO2Ce/z1jNFhHn71rA63eQ7FgHG2RQtENAUv3?= =?us-ascii?q?Xattr1LroZXPywzKnJyzXIcvRb2Dfn54nGaB8hu+uAUqh1ccrQz0kiDAzFjlCK?= =?us-ascii?q?pozkOzOZzPgCs2+e7+d5U++klm0pqxlprzSx2sshjpPFi4EVx1ze6yl13Yk4Kc?= =?us-ascii?q?e3RUN1Z9OvDYFeuDuAN4RsR8MvW2Fotzg+yr0BoZO7eTIFyJUjxxLGavyHb5SE?= =?us-ascii?q?7gvtVOueLzp0nn1leLW4hxa99Uiv1PfwWdWz0FZPtiZFk9/MuW4R1xHL9MSLVv?= =?us-ascii?q?9w8l2i1DuPzQzf9PxILE8umafUJZMt2rswmYASsUTHEC/2gkL2jKqOe0Qk4Oep?= =?us-ascii?q?5f7oYq/8qpCGMo90iwf+P78hmsy6G+s4MwwOU3KH9uS70b3v5Vf5T6lSjv0qjq?= =?us-ascii?q?nZt4jXKtgBqa68Bw9Zy4Ij6xekDze6y9kYhnkGLFddeB2dlYTpOlfOIOr5Dfil?= =?us-ascii?q?mVisni1rlLj6OejBD5PBNHnA2J3merM1v05RzgYpzNN3+5VMDbBHOPX0Qwn6s9?= =?us-ascii?q?mOXTEjNAnh8u/4Ac81/4YfXyrbE6aGObmUuFqJ4MogJuCNYMkevzOreKtt3OLn?= =?us-ascii?q?kXJswQxVRqKux5ZCLSngRq03cXXcWmLlh5I6KUlPuwM/SOLwj1jbCGxcYn+zW+?= =?us-ascii?q?Q34TRpUdv6X7eGfZikhfm65An+BodfPzkUBVWFEHOufIKBCa9VNXCiZ/R5mzlB?= =?us-ascii?q?boCPDo8s0Rb06V3/wrtja+vIomgW6cml299y6One0xo18G4sAg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CZBABT52dahivWVdFeHQEBBQELAYNpA?= =?us-ascii?q?YEyJweDVoE5l1CCAoQBhgSHZYVUghcKhTsChG8HGQcEMhYBAQEBAQEBAQEBARI?= =?us-ascii?q?BAQEICwsIKC+COCQBgkcBBAEjHQEbHQEDAQsGBQQBBjcCAiIBEQEFARwGE4ocA?= =?us-ascii?q?QMNCKZlQIwUggUFARyDCwWDagoZJw1ZgiwBAQEBAQUBAQEBAQEaAgYShDmCFYF?= =?us-ascii?q?XhRaDLwSBO4NLgmUFk0uQOIJHkxiUI5dAFAUggRcmCk2BKzMaI1IygXiCRR+CE?= =?us-ascii?q?SM3jhIBAQE?= X-IPAS-Result: =?us-ascii?q?A0CZBABT52dahivWVdFeHQEBBQELAYNpAYEyJweDVoE5l1C?= =?us-ascii?q?CAoQBhgSHZYVUghcKhTsChG8HGQcEMhYBAQEBAQEBAQEBARIBAQEICwsIKC+CO?= =?us-ascii?q?CQBgkcBBAEjHQEbHQEDAQsGBQQBBjcCAiIBEQEFARwGE4ocAQMNCKZlQIwUggU?= =?us-ascii?q?FARyDCwWDagoZJw1ZgiwBAQEBAQUBAQEBAQEaAgYShDmCFYFXhRaDLwSBO4NLg?= =?us-ascii?q?mUFk0uQOIJHkxiUI5dAFAUggRcmCk2BKzMaI1IygXiCRR+CESM3jhIBAQE?= X-IronPort-AV: E=Sophos;i="5.46,404,1511823600"; d="scan'208,217";a="310376472" Received: from mail-it0-f43.google.com ([209.85.214.43]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Jan 2018 02:56:39 +0100 Received: by mail-it0-f43.google.com with SMTP id x42so3362978ita.4 for ; Tue, 23 Jan 2018 17:56:39 -0800 (PST) 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:to :cc; bh=b4G+11stfMZvjFXJSkmlAfkwAkC2XxLd5lAslOCKYig=; b=Q79JzDN+G9z8vBlVrtEUgcr8LwRVNbTqrmKHSLCFdWEBwQW6O9jJctZep1oW+YtWGL 66v7eLjMGusmP5bfSvsDPaK/yP2mUaZDiZyx1f6wIPo9RqyggMeUaqMNWo67ACdIV8O8 Wou9hSQIEx6NZDMXVaJHfTxqG8/9J4WdKKpAhik/Qzu7EkWTOYHC80aU9Wtl8ZFD2O27 Ba2Sj3uewT+ZXYcWmB2LB6jGCUyIQ2GcK74PkB/N4g/anpeqpqjwo1UhiOcmu1f9h3Qk e4wBH3+cpnkk3QswL0gjt+/ENyboRiNa5xt6JL9a91awXjcy3djwGm8C3uuVUJ6WxA9y FrVQ== 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:to:cc; bh=b4G+11stfMZvjFXJSkmlAfkwAkC2XxLd5lAslOCKYig=; b=m4ZzIeD53P9wNPo1vQBHxPYBnJ8mWQ8f/0Rcau2AZJakuKFARsOx7LA/Vomh7/cGTF odW9TF5XqEiuId3GONUTzitnnUPYHBluvVzU4QGUY5NdQF+lloY0e0QV4FIPtnJCVvKf W+8euJgNP2t37mmJnyTv4VTkte8nsPS9OBB1fhcRo9jGdpatYb3/X042g9BeqHdUUMke wHQG1x6RpH6Rr4B9ytRLWMnFgqXrWzuMivL2/rYq4Gag3UOyXhtLti8uBQn+6psB8QDh lnvpYVPM5kwihHJ/3JgGt9YjA0tLB08/f1JRBDAG2bEXa4QAGJGN5REyq3toaZmQ32a6 BJwg== X-Gm-Message-State: AKwxytc6K2+GXUbNd+F0r6py6W6zcm5JamMmtEcc7IxhiilJFwY6B47O Bjx/1ERLti06E9f3zQznJWG2+G3Scr39fPzuqA== X-Google-Smtp-Source: AH8x227VdDTijiaxbsdnA+Du39phouoLrH5Lezak9D8CWnd+bfrhildY6z1twwzmDeUW075KWekxegoabvv4xLJsL+M= X-Received: by 10.36.44.197 with SMTP id i188mr6991571iti.102.1516758997946; Tue, 23 Jan 2018 17:56:37 -0800 (PST) MIME-Version: 1.0 Received: by 10.2.67.86 with HTTP; Tue, 23 Jan 2018 17:56:17 -0800 (PST) In-Reply-To: <20180123231432.GA20089@topoi.pooq.com> References: <20180123145453.GA1916@Magus.localnet> <20180123231432.GA20089@topoi.pooq.com> From: Yawar Amin Date: Tue, 23 Jan 2018 20:56:17 -0500 Message-ID: To: Hendrik Boom Cc: Ocaml Mailing List Content-Type: multipart/alternative; boundary="001a1143d33048585105637bf9ec" Subject: Re: [Caml-list] Are record types generative? --001a1143d33048585105637bf9ec Content-Type: text/plain; charset="UTF-8" Hi, On Tue, Jan 23, 2018 at 6:14 PM, Hendrik Boom wrote: > I'm starting to think that the ability to write OCaml programs without > mentioning the types is a drawback in the language, because it makes > programs hard to understand. > It's a tooling issue. If your editor can show you type hints and jump to definitions on demand, you no longer have this problem. Yes, you still can't see the types while the code is on GitHub, but that is not insurmountable. Browser extensions nowadays are perfectly capable of downloading and locally storing typing information and displaying it on hover. I believe the tooling will be built when the need is acute enough. --001a1143d33048585105637bf9ec Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi,

On Tue, Jan 23, 2018 at 6:14 PM, Hendrik Boom <= hendrik@topoi.p= ooq.com> wrote:
<= /span>
I'm starting to think that the ability to write OCaml programs w= ithout
mentioning the types is a drawback in the language, because it makes
programs hard to understand.

=C2=A0It&#= 39;s a tooling issue. If your editor can show you type hints and jump to de= finitions on demand, you no longer have this problem. Yes, you still can= 9;t see the types while the code is on GitHub, but that is not insurmountab= le. Browser extensions nowadays are perfectly capable of downloading and lo= cally storing typing information and displaying it on hover. I believe the = tooling will be built when the need is acute enough.
<= /div> --001a1143d33048585105637bf9ec--