From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id EAA13224; Sat, 13 Apr 2002 04:27:17 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 EAA03509 for ; Sat, 13 Apr 2002 04:27:13 +0200 (MET DST) Received: from dynabooK (210.238.31.164.tcn-catv.ne.jp [210.238.31.164]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g3D2RAr09111 for ; Sat, 13 Apr 2002 04:27:11 +0200 (MET DST) Received: from dynabook ([127.0.0.1] helo=localhost ident=sumii) by dynabooK with esmtp (Exim 3.12 #1 (Debian)) id 16wDFn-0000ct-00; Sat, 13 Apr 2002 11:27:03 +0900 To: caml-list@inria.fr From: eijiro_sumii@anet.ne.jp cc: sumii@yl.is.s.u-tokyo.ac.jp Subject: Re: [Caml-list] Applications written in O'Caml In-Reply-To: <20020412155127.GA13832@vincent> References: <20020412155127.GA13832@vincent> X-Mailer: Mew version 1.94.2 on Emacs 20.7 / Mule 4.1 (AOI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20020413112702T.sumii@yl.is.s.u-tokyo.ac.jp> Date: Sat, 13 Apr 2002 11:27:02 +0900 X-Dispatcher: imput version 991025(IM133) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk From: Vincent Foley > P.S.: I also meant to ask: does anyone know schools where students are > given programming classes with O'Caml? The department of information science in u-tokyo has been practicing a rather ambitious curriculum involving functional languages, including OCaml, for undergraduate students. - In the winter semester of the 2nd year, Scheme is taught, where the last assignment is implementing a meta-circular Scheme interpreter. - In the summer semester of the 3rd year, OCaml (and also Prolog) is taught, where the assignments include implementing a mini-ML interpreter with ML-polymorphic type inference (and also a mini-Prolog interpreter in ML). - In the winter semester of the 3rd year, students implement a compiler of a simply typed higher-order functional language. This is linked with another class where students design and implement their own original CPUs, onto which a ray tracer written in mini-ML is compiled and its speed is competed. These may sound like crash courses, but given enough help, most students just do fine, maybe because our department is rather small (there are only 30-40 students per year). -- Eijiro Sumii (http://www.yl.is.s.u-tokyo.ac.jp/~sumii/) Research Associate of Yonezawa Group, University of Tokyo ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners