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 7233482355 for ; Wed, 24 Jan 2018 02:35:28 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=berenger@bioreg.kyushu-u.ac.jp; spf=None smtp.mailfrom=berenger@bioreg.kyushu-u.ac.jp; spf=None smtp.helo=postmaster@h4.hosting4.cc.kyushu-u.ac.jp Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of berenger@bioreg.kyushu-u.ac.jp) identity=pra; client-ip=133.5.13.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="berenger@bioreg.kyushu-u.ac.jp"; x-sender="berenger@bioreg.kyushu-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of berenger@bioreg.kyushu-u.ac.jp) identity=mailfrom; client-ip=133.5.13.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="berenger@bioreg.kyushu-u.ac.jp"; x-sender="berenger@bioreg.kyushu-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@h4.hosting4.cc.kyushu-u.ac.jp) identity=helo; client-ip=133.5.13.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="berenger@bioreg.kyushu-u.ac.jp"; x-sender="postmaster@h4.hosting4.cc.kyushu-u.ac.jp"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A2uWjsBSmZ7YuISdGnmIlVRLEFtpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69bReN2/xhgRfzUJnB7Loc0qyK6/mmATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfa5+IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/nzJhMx+jKxVoxyvqBJwzIHWfI6bO+Fzfr/fcN4AWWZNQshcWi5HD4ih?= =?us-ascii?q?b4UPFe0BPeNAoof9vVsBtx2+ChWrBOPu0T9Dm2L706Im3eouCQ/I3QMuEc4Tu3?= =?us-ascii?q?nTt9r6Kr0SXv6zzKnH0zrDdehb1iz86IjPaBAuv/6MUahzccvR1EkvDAPFjkiJ?= =?us-ascii?q?pYz4JT+azPgCv3KZ7+p4TO+ijXMspQJpojW328shhIfEipgVx1ze6Cl0zpw5KN?= =?us-ascii?q?2gREJmb9OpHoFcuiGAO4doX88vQHtktDs1x7AFv5OwYTIEx449xxHFbvyKa4iI?= =?us-ascii?q?7QznVOaWOTp4hH1odKi/hxa16kig1uz8Vs+70FtFtCZKjsXDumoO1x3T98iHUf?= =?us-ascii?q?t9/lq41TaSzQzc8P1LLVo2larDM5Ihw7gwmYQPsUnbAyP7lkv7gLWWe0k+5+Sl?= =?us-ascii?q?5f7rb7X+qp+ZLYB0iwX+Mqo0msy4BOQ1KhMBUHaB+eui0r3j8lP2QK9Rg/Itk6?= =?us-ascii?q?nZt4raKtoUpqKjAA9U0psj6w2/Dze7ydgYgGMLI0hZdx6djYjpI0nCIOrkAven?= =?us-ascii?q?n1SsjDBryujaMbL7B5XNKmHPkLPgfbZm905R0xEzzNBa55JMEL4NOvPzWknrtN?= =?us-ascii?q?zZFBA1KQK0w/y0QOl6g4gXXGbKBq6CLIvTt0WJ76QhObqifogQ7RjnIv4u4P/1?= =?us-ascii?q?xVUUo3I7UoSTlc8dZWq1GPtrOW2TYH32j9hHEnYXpQojCfGsgVbEUyYFNCX6ZL?= =?us-ascii?q?41+jxuUNHuNozEXI342OXQjhf+JYVfYyV9Mn7JFH7pc4ueXPJWM3CYI8h7nzNC?= =?us-ascii?q?Vqm8UI88kAzovQS8yaI1drOIqB1djorq0Z1O38OWjQs7r2cmBcWayWyCCWJlg3?= =?us-ascii?q?gIWnormql0505lmA/ajPpIxsdAHNkW3MtnFwc3MZmHlr56V5byXRndf9GGFBCt?= =?us-ascii?q?SZOlECwqTs903pkHaAB/A4f6gw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CmAACd4WdahwUNBYVeGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYQrcYQEixiPTCeZVQEJggGDOgKFDwYFNBQBAQEBAQEBAQEBARIBAQE?= =?us-ascii?q?KCwkIKC+COCKCSgEFI2YLGAICJgICHzgTCAEBijCzOYInh30cgj0BCgEBASSBD?= =?us-ascii?q?4M8hX0MgnmEboEAgkuCZQWILgeLE5A2HpU/ggIBiiiHeJdQgTw2gXKBBT2CK4J?= =?us-ascii?q?jggKPAwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CmAACd4WdahwUNBYVeGgEBAQEBAgEBAQEIAQEBAYQrcYQ?= =?us-ascii?q?EixiPTCeZVQEJggGDOgKFDwYFNBQBAQEBAQEBAQEBARIBAQEKCwkIKC+COCKCS?= =?us-ascii?q?gEFI2YLGAICJgICHzgTCAEBijCzOYInh30cgj0BCgEBASSBD4M8hX0MgnmEboE?= =?us-ascii?q?AgkuCZQWILgeLE5A2HpU/ggIBiiiHeJdQgTw2gXKBBT2CK4JjggKPAwEBAQ?= X-IronPort-AV: E=Sophos;i="5.46,404,1511823600"; d="scan'208";a="310375652" Received: from hosting4.cc.kyushu-u.ac.jp (HELO h4.hosting4.cc.kyushu-u.ac.jp) ([133.5.13.5]) by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Jan 2018 02:35:26 +0100 Received: from [192.168.2.36] (unknown [133.5.218.148]) (using TLSv1.2 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: berenger@bioreg.kyushu-u.ac.jp) by h4.hosting4.cc.kyushu-u.ac.jp (hde-lc-postfix) with ESMTPSA id BD7C22B62E3 for ; Wed, 24 Jan 2018 10:35:12 +0900 (JST) (envelope-from berenger@bioreg.kyushu-u.ac.jp) To: caml-list@inria.fr References: <20180123145453.GA1916@Magus.localnet> <20180123231432.GA20089@topoi.pooq.com> From: Francois BERENGER Message-ID: Date: Wed, 24 Jan 2018 10:35:07 +0900 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.0 MIME-Version: 1.0 In-Reply-To: <20180123231432.GA20089@topoi.pooq.com> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Are record types generative? On 01/24/2018 08:14 AM, 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 is a decisive advantage of the language when prototyping software (i.e. all the work before you decide to engrave a .mli file on a stone).