From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <oliver@first.in-berlin.de>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id D1305820A1
	for <caml-list@sympa.inria.fr>; Wed, 28 Aug 2013 13:45:29 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  oliver@first.in-berlin.de) identity=pra;
  client-ip=192.109.42.8;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="oliver@first.in-berlin.de";
  x-sender="oliver@first.in-berlin.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  oliver@first.in-berlin.de) identity=mailfrom;
  client-ip=192.109.42.8;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="oliver@first.in-berlin.de";
  x-sender="oliver@first.in-berlin.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@einhorn.in-berlin.de) identity=helo;
  client-ip=192.109.42.8;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="oliver@first.in-berlin.de";
  x-sender="postmaster@einhorn.in-berlin.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AocEABPiHVLAbSoIkGdsb2JhbABbgzxLgy23ToZXFg4BAQEBCRQJGCSCTnoRAgUhAhEFGIhFBAOXU45/kjoWgROOWIJSNH0DjymIR4EuiwqITA
X-IPAS-Result: AocEABPiHVLAbSoIkGdsb2JhbABbgzxLgy23ToZXFg4BAQEBCRQJGCSCTnoRAgUhAhEFGIhFBAOXU45/kjoWgROOWIJSNH0DjymIR4EuiwqITA
X-IronPort-AV: E=Sophos;i="4.89,975,1367964000"; 
   d="scan'208";a="24999864"
Received: from einhorn.in-berlin.de ([192.109.42.8])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 28 Aug 2013 13:45:29 +0200
X-Envelope-From: oliver@first.in-berlin.de
X-Envelope-To: <caml-list@inria.fr>
Received: from first (e178006151.adsl.alicedsl.de [85.178.6.151])
	(authenticated bits=0)
	by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id r7SBjRm9004558
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT)
	for <caml-list@inria.fr>; Wed, 28 Aug 2013 13:45:27 +0200
Received: by first (Postfix, from userid 1000)
	id 5F2B01540376; Wed, 28 Aug 2013 13:45:27 +0200 (CEST)
Date: Wed, 28 Aug 2013 13:45:27 +0200
From: oliver <oliver@first.in-berlin.de>
To: caml-list@inria.fr
Message-ID: <20130828114527.GA5713@siouxsie>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
User-Agent: Mutt/1.5.20 (2009-06-14)
X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8
Subject: [Caml-list] How to explain static typing to other people?

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?

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