From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 03493BC88 for ; Wed, 2 Feb 2005 22:36:51 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j12LaoAk004955 for ; Wed, 2 Feb 2005 22:36:50 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA07383 for ; Wed, 2 Feb 2005 22:36:50 +0100 (MET) Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.192]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j12LanCF031486 for ; Wed, 2 Feb 2005 22:36:49 +0100 Received: by wproxy.gmail.com with SMTP id 69so102446wra for ; Wed, 02 Feb 2005 13:36:49 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:references; b=RxgS7KN4+/BnxA6rEfMpu2Qag6blfmYYYZ6dR7pq3RKUsUAprgNU9IJzBTFz9GmBunX5lwbfyS4MhFu0DpoCKq91FATpSkpu+ALGaj7bUqJ+YuHt4JBYWyAjlk2K4pZJUqm7HuSTxFWS03W21M5wdL4ysellmz/fYuw9ZsFVPFg= Received: by 10.54.32.15 with SMTP id f15mr42906wrf; Wed, 02 Feb 2005 13:36:48 -0800 (PST) Received: by 10.54.31.22 with HTTP; Wed, 2 Feb 2005 13:36:48 -0800 (PST) Message-ID: <8008871f05020213362d21ba87@mail.gmail.com> Date: Wed, 2 Feb 2005 16:36:48 -0500 From: "Christopher A. Watford" Reply-To: "Christopher A. Watford" To: yminsky@cs.cornell.edu Subject: Re: [Caml-list] Estimating the size of the ocaml community Cc: Caml Mailing List In-Reply-To: <891bd33905020213315a2ebb18@mail.gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit References: <891bd33905020213315a2ebb18@mail.gmail.com> X-Miltered: at concorde with ID 420147F2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 420147F1.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 yaron:01 minsky:01 yminsky:01 wrote:01 ocaml:01 parsers:01 lexers:01 haskell:01 caltech:02 strong:96 programming:03 programming:03 size:95 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled version=3.0.2 X-Spam-Level: On Wed, 2 Feb 2005 16:31:28 -0500, Yaron Minsky wrote: > - Some schools teach ocaml. Brown and Caltech apparently have intro ocaml > courses. Any other places that teach the language? Any ideas on how many > students go through these courses? The University of Illinois at Urbana-Champaign uses OCaml to teach programming language theory classes. This is where I was introduced to OCaml for the first time. Basically we built parsers, lexers, and type checkers. Function programming was included in the coursework, but mainly to show its strong suits. Haskell is also taught in these classes. -- Christopher A. Watford christopher.watford@gmail.com http://dorm.tunkeymicket.com