From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <p.donadeo@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.4 required=5.0 tests=SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 049BFBC6B
	for <caml-list@yquem.inria.fr>; Tue,  8 Jan 2008 22:25:46 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgAAAEJ5g0fRVYC/mGdsb2JhbACQGwEBAQEHBAQrkk6GNA
X-IronPort-AV: E=Sophos;i="4.24,259,1196636400"; 
   d="scan'208";a="21033177"
Received: from fk-out-0910.google.com ([209.85.128.191])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Jan 2008 22:25:46 +0100
Received: by fk-out-0910.google.com with SMTP id b27so12337246fka.11
        for <caml-list@yquem.inria.fr>; Tue, 08 Jan 2008 13:25:45 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        bh=AMDnFIlqIV9vjnLv2S6ROOshlxs8N/3WPWQuEDnz1d4=;
        b=Aml9hvrNQ2s4hixbotfpz7F5w7VEL9TyFJwu5NkA1rW5TapALncICWBlDMPETqaGNTzADB0qbaZ7Q/aA6B7Nf5HH8iaveBex/jUEewcK93j3Vh0hhu/Fw5d0rRbnpP1RcAGTOp7n1HT9F2ZF6K0R70p+6FzCEmB64ZzR53NFXv0=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=H6+be6HIENOf6QrnZDnk5NbnY72q49OTHv0oKyd/VAy5bI6luwQsrjxKHvesUCz9jAN3Mw0pewCFukLV+V/ofLhotUWuY1Sd7tFdjT+wsBa+o8iAx04wezEo7iZjBD1lrhxeWg617rLJDehGA2Yo/V+B9AwqnzKJ/neq2rrxg2Q=
Received: by 10.78.131.8 with SMTP id e8mr25570578hud.52.1199827545616;
        Tue, 08 Jan 2008 13:25:45 -0800 (PST)
Received: by 10.78.41.17 with HTTP; Tue, 8 Jan 2008 13:25:45 -0800 (PST)
Message-ID: <4b5157c30801081325i3cfa2cbcrf966d05a923b7d12@mail.gmail.com>
Date: Tue, 8 Jan 2008 22:25:45 +0100
From: "Paolo Donadeo" <p.donadeo@gmail.com>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] "OCaml gives you only monomorphic methods in classes."
In-Reply-To: <200801080942.36566.jon@ffconsultancy.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <200712282337.23952.jon@ffconsultancy.com>
	 <200712290711.34066.jon@ffconsultancy.com>
	 <20080108.113031.162099765.garrigue@math.nagoya-u.ac.jp>
	 <200801080942.36566.jon@ffconsultancy.com>
X-Spam: no; 0.00; ocaml:01 ocaml:01 granularity:01 undervalued:98 caml-list:01 oop:01 monomorphic:01 functional:02 problem:05 sigma:05 sigma:05 probably:07 probably:07 oriented:07 classes:08 

> This begs a question for me: have people used this functionality in their
> OCaml code?

I use OOP heavily, along with the other more functional features of
the language.

In my opinion the object oriented support offered by OCaml is
excellent and largely undervalued, probably because people using OCaml
have probably never programmed in Java ;-)

In OCaml I have the chance to choice the granularity and the paradigm
which best fits the particular problem I'm confronting with and *this*
is great.


-- 
                                            Paolo


Paolo Donadeo, Senior Software Engineer
Studio Associato 4Sigma
Email: p.donadeo@4sigma.it
~
~
:wq