From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <berenger@riken.jp>
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 CCE2F820A2
	for <caml-list@sympa.inria.fr>; Wed, 28 Aug 2013 14:18:45 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  berenger@riken.jp) identity=pra; client-ip=134.160.33.175;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="berenger@riken.jp";
  x-sender="berenger@riken.jp"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  berenger@riken.jp designates 134.160.33.175 as permitted
  sender) identity=mailfrom; client-ip=134.160.33.175;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="berenger@riken.jp";
  x-sender="berenger@riken.jp"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  postmaster@postman.riken.jp designates 134.160.33.175 as
  permitted sender) identity=helo; client-ip=134.160.33.175;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="berenger@riken.jp";
  x-sender="postmaster@postman.riken.jp";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ArABANLpHVKGoCGvnGdsb2JhbABbgzxLgy29A4E4DgEBAQEBBg0JCRQogiQBAQQBIxVABgsLGAICBRYLAgIJAwIBAgFFEwgBAYd3BQEHpkeSOIEpjkIWglKBMQOJMY5AgS2LCohZ
X-IPAS-Result: ArABANLpHVKGoCGvnGdsb2JhbABbgzxLgy29A4E4DgEBAQEBBg0JCRQogiQBAQQBIxVABgsLGAICBRYLAgIJAwIBAgFFEwgBAYd3BQEHpkeSOIEpjkIWglKBMQOJMY5AgS2LCohZ
X-IronPort-AV: E=Sophos;i="4.89,975,1367964000"; 
   d="scan'208";a="30653462"
Received: from postman3.riken.jp (HELO postman.riken.jp) ([134.160.33.175])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 28 Aug 2013 14:18:43 +0200
Received: from postman.riken.jp (postman3.riken.jp [127.0.0.1])
	by postman.riken.jp (Postfix) with SMTP id 9763038380BB
	for <caml-list@inria.fr>; Wed, 28 Aug 2013 21:18:41 +0900 (JST)
Received: from fbrs-iMac.local (usr013.bb802-01.ual.im.wakwak.ne.jp [219.121.104.207])
	by postman.riken.jp (Postfix) with ESMTPA id 20E34382007F
	for <caml-list@inria.fr>; Wed, 28 Aug 2013 21:18:41 +0900 (JST)
Message-ID: <521DEAA0.6020509@riken.jp>
Date: Wed, 28 Aug 2013 21:18:40 +0900
From: Francois Berenger <berenger@riken.jp>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:17.0) Gecko/20130801 Thunderbird/17.0.8
MIME-Version: 1.0
To: caml-list@inria.fr
References: <20130828114527.GA5713@siouxsie>
In-Reply-To: <20130828114527.GA5713@siouxsie>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-PMX-Version: 6.0.0.2142326, Antispam-Engine: 2.7.2.2107409, Antispam-Data: 2013.8.28.121215
Subject: Re: [Caml-list] How to explain static typing to other people?

On 8/28/13 8:45 PM, oliver wrote:
> Hello,
>
> did you ever get the response, that one could use Java,
> when you talked about the static typing advantages of
> languages like OCaml or Haskell?

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 often heard that and after trying to explain the differences
> for a while, I  started to stop the discussion, because the other person
> will not understand it. (Maybe it needs to be tried in the real world
> to see the differences... discussing about it alone can't work, I guess.)
>
> Here is a talk, that I enjoy(ed) viewing, because it's clearly
> showing the advantages of static typing and IMHO this
> guy has a lot of humor, making the talk fun to view:
>
>    [ny-haskell] A Pragmatic Case for Static Typing with Brian Hurt
>      http://vimeo.com/72870631
>
>
> Ciao,
>     Oliver
>