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 F21E482355 for ; Fri, 26 Jan 2018 15:41:45 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rixed@happyleptic.org; spf=None smtp.mailfrom=rixed@happyleptic.org; spf=None smtp.helo=postmaster@pim.happyleptic.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rixed@happyleptic.org) identity=pra; client-ip=5.135.156.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rixed@happyleptic.org"; x-sender="rixed@happyleptic.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rixed@happyleptic.org) identity=mailfrom; client-ip=5.135.156.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rixed@happyleptic.org"; x-sender="rixed@happyleptic.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@pim.happyleptic.org) identity=helo; client-ip=5.135.156.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rixed@happyleptic.org"; x-sender="postmaster@pim.happyleptic.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AYiq6UByZQHwZkh/XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1OgfIJqq85mqBkHD//Il1AaPAd2Craocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HObwlSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHmiC?= =?us-ascii?q?kJKSM3/mLZisN/kK1UvRCuqBJkzo7IfI2YLuZycr/HcN8EQ2dKQ8ZfVzZGAoO5?= =?us-ascii?q?d4YCEfQOMvtCr4n8u1QFsAWzCheoBOPryz9HmGX21rA93uQ7EAHH0xIvEM8VvX?= =?us-ascii?q?TUttr1LL8SUOCxzKbW1TXDc/JW1ivn5IjPaBAhruiBULRtesTS0UkiDwPIgk+N?= =?us-ascii?q?pYHrPz6ZzPkBvmia4uZ6SO6iiGwqpxlyrzWv3Msgl4bEi4EPxl3F+yh12oc4Kc?= =?us-ascii?q?G+RUVme9CrCoFQuDufN4ZuQsMtXWVouCEix70euJ67eTIGyJQ9yB7Hc/yGc4yI?= =?us-ascii?q?7Qz7VOaNIDd3mGhpeLWlhxa96USgy+v8Wdeo0FtSridJiMTAu34N2hDJ98SKSv?= =?us-ascii?q?pw8l281TuM1Q3f8uRELlo1larfJZ4h2Lkwlp8LvETZHy/3l1v5g7KNe0Uk4Oeo?= =?us-ascii?q?8/znY7XippCCL490lgD+Pbg0lsy4G+Q4PRACX3KH9uSkyL3j4Ur5Ta1WgfIsl6?= =?us-ascii?q?nZtInWJcAapq6iHw9YyZ0j6ha6Dze+ytsUh3gHLFRfeBKGlYflIV/OIOqrRcu4?= =?us-ascii?q?1l+llTMuw/HdIpXgBI/MJz7NiuTPZ7F4vmVRxBAyxph06pZQC7wbaKbpW1/8uP?= =?us-ascii?q?TYBwchIgi52/rmA5N6zIxICjHHObOQLK6H6QzA3ekoOeTZPNZE6ga4EOAs4rvV?= =?us-ascii?q?tVF8nFYceaez2p5ONyK4F+x+MkGUeWbtiZEGC2hY5lNiHtyvs0WLVHtoX1j3R7?= =?us-ascii?q?g1v25pCIu+FZbHS5ixgbfH2z20TMUPOzJ2T2uUGHKtTL2qHvcBbCXIe515kzlC?= =?us-ascii?q?VbG5U54l2AmytQS8zKBofLLZ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BOHwB9PWta/7uchwVdHQEBBQELAYNCg?= =?us-ascii?q?VonjnWNd0gBBZsPCoU7AgiCFRkGBTQUAQEBAQEBAQEBAQFqKII4IoJKBjoGAQE?= =?us-ascii?q?4DwshExIPBYsEEQGmC4ltgxWDCgEBBYdGAQEBAQYBAQEBHAiEUoIVgQ+FXoVug?= =?us-ascii?q?nyCNKQYlVkNggKSJpdfgTw2IoFQMxoIKAg9giqCRoITd44sAQEB?= X-IPAS-Result: =?us-ascii?q?A0BOHwB9PWta/7uchwVdHQEBBQELAYNCgVonjnWNd0gBBZs?= =?us-ascii?q?PCoU7AgiCFRkGBTQUAQEBAQEBAQEBAQFqKII4IoJKBjoGAQE4DwshExIPBYsEE?= =?us-ascii?q?QGmC4ltgxWDCgEBBYdGAQEBAQYBAQEBHAiEUoIVgQ+FXoVugnyCNKQYlVkNggK?= =?us-ascii?q?SJpdfgTw2IoFQMxoIKAg9giqCRoITd44sAQEB?= X-IronPort-AV: E=Sophos;i="5.46,416,1511823600"; d="scan'208";a="310819131" Received: from pim.happyleptic.org ([5.135.156.187]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Jan 2018 15:41:45 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=happyleptic.org; s=20160823; h=In-Reply-To:Content-Type:MIME-Version:References:Message-ID:Subject:To:From:Date; bh=SFinhFrE500eESGhEdBSWSJIIS80SLosPMjAPxgQhWg=; b=oW0D9b4aTh75l3uBm5Yj/vamG0yTMPEeaYct7yohtph14nA0ntSZ1SSkM5evLkOWXQjIN6AcXE1mkzgULM+SZrqrRkFeFh0+PckSsrJWDxhnpwM1vAG/KpIaIRj4KnSVzJLbntaI4cXNRCp2dpPecY9yc+BvnhpsKPCQm6Hhfo0=; Received: from s55943f3c.adsl.online.nl ([85.148.63.60] helo=rxdmac.local) by pim.happyleptic.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1ef5CK-0008KS-8y for caml-list@inria.fr; Fri, 26 Jan 2018 15:41:44 +0100 Date: Fri, 26 Jan 2018 15:41:37 +0100 From: Cedric Cellier To: caml-list@inria.fr Message-ID: <20180126144137.GA8669@rxdmac.local> References: <20180126110325.GA3461@Magus.localnet> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20180126110325.GA3461@Magus.localnet> User-Agent: Mutt/1.9.2 (2017-12-15) Subject: Re: [Caml-list] Type annotations [Was: Are record types generative?] -[ Fri, Jan 26, 2018 at 08:03:25PM +0900, Oleg ]---- > In short, if we know that a function is to take three arguments and > return an int, why not to write it down. Because sometime the compiler does a better job at guessing more generic types than what I had in mind, which might came handy later when/if I do need that more generic function? Or merely because I actualy enjoy giving only the vaguest indications to the compiler and have it walk me toward the actual thing that I wanted to say :)