From: Francois Berenger <berenger@riken.jp>
To: caml-list@inria.fr
Subject: Re: [Caml-list] How to explain static typing to other people?
Date: Wed, 28 Aug 2013 21:18:40 +0900 [thread overview]
Message-ID: <521DEAA0.6020509@riken.jp> (raw)
In-Reply-To: <20130828114527.GA5713@siouxsie>
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
>
next prev parent reply other threads:[~2013-08-28 12:18 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-08-28 11:45 oliver
2013-08-28 12:18 ` Francois Berenger [this message]
2013-08-28 19:25 ` Raoul Duke
2013-08-28 19:40 ` oliver
2013-08-29 14:53 ` Florent Monnier
2013-08-29 16:00 ` Johan Grande
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=521DEAA0.6020509@riken.jp \
--to=berenger@riken.jp \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).