From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <raould@gmail.com>
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 CD872820A1
	for <caml-list@sympa.inria.fr>; Wed, 28 Aug 2013 21:25:53 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  raould@gmail.com) identity=pra; client-ip=209.85.219.50;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="raould@gmail.com";
  x-sender="raould@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  raould@gmail.com designates 209.85.219.50 as permitted
  sender) identity=mailfrom; client-ip=209.85.219.50;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="raould@gmail.com";
  x-sender="raould@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-oa0-f50.google.com) identity=helo;
  client-ip=209.85.219.50;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="raould@gmail.com";
  x-sender="postmaster@mail-oa0-f50.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhYCALNNHlLRVdsym2dsb2JhbABbhA2CYAG9UYEZCBYOAQEBAQEGCwsJFCiCJAEBBAFAARseAwELBgULOyIBEQEFARwGiAEBAwkGmySMUIMFhBwKGScNZIkAAQUMj1+EGQOJM44+j3gYKYRoHA
X-IPAS-Result: AhYCALNNHlLRVdsym2dsb2JhbABbhA2CYAG9UYEZCBYOAQEBAQEGCwsJFCiCJAEBBAFAARseAwELBgULOyIBEQEFARwGiAEBAwkGmySMUIMFhBwKGScNZIkAAQUMj1+EGQOJM44+j3gYKYRoHA
X-IronPort-AV: E=Sophos;i="4.89,977,1367964000"; 
   d="scan'208";a="30696241"
Received: from mail-oa0-f50.google.com ([209.85.219.50])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Aug 2013 21:25:52 +0200
Received: by mail-oa0-f50.google.com with SMTP id i4so8309965oah.37
        for <caml-list@inria.fr>; Wed, 28 Aug 2013 12:25:52 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :content-type;
        bh=NyRUmB8UbHHEFFMozVNTpCO7xGJuXA6dJ3sNDogz62A=;
        b=EQTK2tvEWsY9/SPZ7n5OfoYeLySZLKioVrrLeLIP76hu/E7x/Fh2yC3mifFRP2ZT0c
         OPZ78mQbr3en4dXrqhH+bXGnaYez5kPfHd9saLskFxBp5RZAwQmZX8MDQPwoydRhLWAD
         IuGvRMEMg0vqv4eWrmRq6RAgaXOk2HwOwRAor6Vl6WUcstPIUQRVlMf//qtHV0eSzlyj
         9XKqEIzL8NcbAIbtXmZu0xX2xEgrh9yOyMk421xzTP4SpWSkzIOH3/Dsq4Ro9rzSAuDT
         C2ticREGZ3I2g0aTHYYJI4ufM2x8q65ufqUOSTVxw5BGYN2qEmCiD7y4zl4/Zfw9PIlH
         Jyrg==
X-Received: by 10.60.60.105 with SMTP id g9mr24499086oer.8.1377717951927; Wed,
 28 Aug 2013 12:25:51 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.182.11.67 with HTTP; Wed, 28 Aug 2013 12:25:31 -0700 (PDT)
In-Reply-To: <521DEAA0.6020509@riken.jp>
References: <20130828114527.GA5713@siouxsie> <521DEAA0.6020509@riken.jp>
From: Raoul Duke <raould@gmail.com>
Date: Wed, 28 Aug 2013 12:25:31 -0700
Message-ID: <CAJ7XQb4Hu8OH0x85RoKca2OO5osmt-+1v1k5R=+5b1NC6POZqQ@mail.gmail.com>
To: OCaml <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [Caml-list] How to explain static typing to other people?

> One advantage is that the OCaml (and Haskell) compilers automatically infer
> the correct type.
>
> In Java, you must always manually input the type, as far as I remember.


i was under the impression, based on personal experience as well as
hear-say, that anybody /really/ using haskell or ocaml or some such
would actually be manually entering type signatures all the time,
because they do not want to later have some incomprehensible error
that does not point to a root cause.