caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: eijiro_sumii@anet.ne.jp
To: caml-list@inria.fr
Cc: sumii@yl.is.s.u-tokyo.ac.jp
Subject: Re: [Caml-list] Applications written in O'Caml
Date: Sat, 13 Apr 2002 11:27:02 +0900	[thread overview]
Message-ID: <20020413112702T.sumii@yl.is.s.u-tokyo.ac.jp> (raw)
In-Reply-To: <20020412155127.GA13832@vincent>

From: Vincent Foley <vinfoley@iquebec.com>
> 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


  parent reply	other threads:[~2002-04-13  2:27 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-04-12 15:51 Vincent Foley
2002-04-12 16:15 ` Benjamin C. Pierce
2002-04-12 16:44   ` [Caml-list] Simple question Eric Merritt
2002-04-12 16:59     ` Remi VANICAT
2002-04-12 17:04     ` Maxence Guesdon
2002-04-12 17:57       ` Remi VANICAT
2002-04-12 19:15         ` Eric Merritt
2002-04-12 19:55           ` John Prevost
2002-04-15 20:08             ` Eric Merritt
2002-04-12 20:20           ` james woodyatt
2002-04-13 11:10           ` Remi VANICAT
2002-04-13 12:45   ` [Caml-list] Applications written in O'Caml Oliver Bandel
2002-04-13 19:07     ` Benjamin C. Pierce
2002-04-12 16:40 ` Maxence Guesdon
2002-04-12 17:04 ` Warp
2002-04-13  2:27 ` eijiro_sumii [this message]
2002-04-13  3:28   ` Michael Vanier
2002-04-15  8:16 ` Nicolas barnier
2002-04-16 10:12 ` Jacek Chrzaszcz
2002-04-13  0:35 Ryan Tarpine
2002-04-13  0:57 ` David McClain

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=20020413112702T.sumii@yl.is.s.u-tokyo.ac.jp \
    --to=eijiro_sumii@anet.ne.jp \
    --cc=caml-list@inria.fr \
    --cc=sumii@yl.is.s.u-tokyo.ac.jp \
    /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).