From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 893D1BC88 for ; Thu, 3 Feb 2005 11:10:20 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j13AAKKe011975 for ; Thu, 3 Feb 2005 11:10:20 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA31054 for ; Thu, 3 Feb 2005 11:10:19 +0100 (MET) Received: from lea.cs.unibo.it (lea.cs.unibo.it [130.136.1.101]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j13AAIE7000961 for ; Thu, 3 Feb 2005 11:10:19 +0100 Received: from fistandantilus.takhisis.org (n32d111.cs.unibo.it [130.136.32.111]) by lea.cs.unibo.it (Postfix) with ESMTP id B8A8F8B3FC for ; Thu, 3 Feb 2005 11:10:18 +0100 (CET) Received: by fistandantilus.takhisis.org (Postfix, from userid 3148) id 542D6274202; Thu, 3 Feb 2005 11:10:05 +0100 (CET) Date: Thu, 3 Feb 2005 11:10:05 +0100 From: Stefano Zacchiroli To: Inria Ocaml Mailing List Subject: Re: [Caml-list] Estimating the size of the ocaml community Message-ID: <20050203101004.GB5230@fistandantilus.takhisis.org> Mail-Followup-To: Inria Ocaml Mailing List References: <891bd33905020213315a2ebb18@mail.gmail.com> <8008871f05020213362d21ba87@mail.gmail.com> <000f01c50971$baad4840$0100a8c0@mshome.net> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <000f01c50971$baad4840$0100a8c0@mshome.net> User-Agent: Mutt/1.5.6+20040907i X-Miltered: at nez-perce with ID 4201F88C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4201F88A.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; zacchiroli:01 unibo:01 caml-list:01 ocaml:01 gava:01 wrote:01 ocaml:01 compiler:01 compiler:01 zacchiroli:01 unibo:01 zack:01 zack:01 debian:02 programming:03 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: On Wed, Feb 02, 2005 at 10:54:11PM +0100, Frédéric Gava wrote: > I also heard that Ocaml is sometime teach in Italian Universities but I am > not sure. Yes, at least here at the Computer Science Department of the University of Bologna it was teached in the past and used for students projects in the compiler course, but this is no longer the case. Still, it is used as a programming language in some research projects. I'm aware of the university of Urbino, in which OCaml is teached as a part of the compiler course. Hope this helps. -- Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/ If there's any real truth it's that the entire multidimensional infinity of the Universe is almost certainly being run by a bunch of maniacs. -!-