From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 3D6A07EE80 for ; Fri, 15 Mar 2013 19:24:56 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bertrandbc@gmail.com) identity=pra; client-ip=209.85.220.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bertrandbc@gmail.com"; x-sender="bertrandbc@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of bertrandbc@gmail.com designates 209.85.220.176 as permitted sender) identity=mailfrom; client-ip=209.85.220.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bertrandbc@gmail.com"; x-sender="bertrandbc@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vc0-f176.google.com) identity=helo; client-ip=209.85.220.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bertrandbc@gmail.com"; x-sender="postmaster@mail-vc0-f176.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar0CAJJlQ1HRVdywimdsb2JhbABDhVmtOJIPgV8IFg4BAQEVEhIqgioBAQVAARQHEgsBAwwGBQsNDSEiAREBBQEKEgYTCAEJh28BAw8HBaR2jDKCe4RvChknAwpZiHwBBQyNWX0zB4NAA4h1jWaBH4pMgzUWKYRLHoE3 X-IPAS-Result: Ar0CAJJlQ1HRVdywimdsb2JhbABDhVmtOJIPgV8IFg4BAQEVEhIqgioBAQVAARQHEgsBAwwGBQsNDSEiAREBBQEKEgYTCAEJh28BAw8HBaR2jDKCe4RvChknAwpZiHwBBQyNWX0zB4NAA4h1jWaBH4pMgzUWKYRLHoE3 X-IronPort-AV: E=Sophos;i="4.84,853,1355094000"; d="scan'208";a="6668457" Received: from mail-vc0-f176.google.com ([209.85.220.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Mar 2013 19:24:54 +0100 Received: by mail-vc0-f176.google.com with SMTP id ib11so1455111vcb.7 for ; Fri, 15 Mar 2013 11:24:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:cc:content-type:content-transfer-encoding; bh=B0XP7cfWgjDMdBevfPCS1AnR/HbVPszmJrz8Hhpg0tA=; b=cEA7EZEkFKR7KSllgekx2PGvC5Cju3yuM2rvOJj5OKeT2YEgb0bC0KhnRUVGSNfHYt /UcqRffUcsguRbbiyCpeHFCmpvnAFMLu8wgg5ZkhH3GoDqs3h0DAAIW5mzqPqoxCXiwm PfrEWOw1Gr7nbqzcqs/I1qAGnKuof4/m6jADtI0l7N0dbJbl6gnSqFJGE6ats14dhg/O qT9WbHYEAfTVFhFf3C6otyvvIeDL0Byf41Y+OhYLdoKWd1yEvHdWvU/NnlwDOhp8d3tK 0J2ZsuxE3ccQl52JDUcqsR7n7/h/lHRwqwx72DgGrfWqApMXYJ1HdUPk4+pMRzJ5ksni cdJg== MIME-Version: 1.0 X-Received: by 10.58.196.240 with SMTP id ip16mr8405052vec.50.1363371893479; Fri, 15 Mar 2013 11:24:53 -0700 (PDT) Received: by 10.59.0.34 with HTTP; Fri, 15 Mar 2013 11:24:53 -0700 (PDT) In-Reply-To: <20130315180416.GB28316@voyager> References: <5143510E.2000009@recherche.enac.fr> <20130315180416.GB28316@voyager> Date: Fri, 15 Mar 2013 13:24:53 -0500 Message-ID: From: Bertrand Bonnefoy-Claudet To: Roberto Di Cosmo Cc: Yaron Minsky , Nicolas Barnier , caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Use of OCaml in universities and engineering schools Sup=E9lec has an introductory course to programming languages for first year students (mandatory but not graded) and the section on functional programming is taught with OCaml at least on the Metz campus (http://www.metz.supelec.fr/metz/personnel/frezza/MLP/). I think that Lisp is used instead on other campuses. That's not much but maybe worth mentioning. 2013/3/15 Roberto Di Cosmo : > Hi Nicolas, > nice idea to ask about this... let me add that in the Paris > area there are many many places where OCaml is taught (too > many to list here, but just out of muy head, University Paris Diderot, > level L3 and L1, University Pierre et Marie Curie, Orsay, ESIIE > and Epitech all use OCaml at different levels) > > We would really need a central place to keep this info well > structured. Even a simple wiki page would do. > > On Fri, Mar 15, 2013 at 01:56:14PM -0400, Yaron Minsky wrote: >> - Harvard's CS51 is the 2nd-semester course which all CS majors take, >> and it is taught in OCaml. >> - Cornell's algorithms class is mandatory for all majors, and is >> taught in OCaml. >> - Penn teaches OCaml in at least some of it's intro sequence. >> - Not quite OCaml, but CMU teaches SML to all undergrads as part of >> its intro sequence. >> - Brown does at least some OCaml in their CS curriculum, though I'm >> not sure of the details. I just know that a goodly fraction of the >> applicants from Brown know OCaml. >> - Princeton has a new FP course that teaches OCaml, that I know people >> there are pretty excited about. >> >> There are probably more I'm missing, but that's a start >> >> y >> >> On Fri, Mar 15, 2013 at 12:49 PM, Nicolas Barnier >> wrote: >> > Hi OCamlers, >> > >> > We use OCaml at ENAC (French Civil Aviation University) to teach the b= asics >> > of programming and the >> > design of algorithms in the first year course of CS major since 1995. = The >> > cursus is now under deep >> > revisionand we're trying to advocate its convenience in the new cursus= to >> > our hierarchy and >> > colleagues. >> > >> > We were thus wondering which engineering schools and universities are >> > actually currently using >> > OCaml, and for which cursus. Short of finding a long enough list on the >> > OCaml websites or by >> > googling, we've decided to try the caml-list for feedback. So if you a= re >> > involved in a CS course >> > using OCaml, we would greatly appreciate that you let us know, so as t= o help >> > us arguing to keep >> > this great language in our cursus. >> > >> > Cheers, >> > >> > -- Nicolas Barnier >> > >> > >> > -- >> > Caml-list mailing list. Subscription management and archives: >> > https://sympa.inria.fr/sympa/arc/caml-list >> > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> > Bug reports: http://caml.inria.fr/bin/caml-bugs >> >> -- >> Caml-list mailing list. Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs > > -- > Roberto Di Cosmo > > ------------------------------------------------------------------ > Professeur En delegation a l'INRIA > PPS E-mail: roberto@dicosmo.org > Universite Paris Diderot WWW : http://www.dicosmo.org > Case 7014 Tel : ++33-(0)1-57 27 92 20 > 5, Rue Thomas Mann > F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo > FRANCE. Twitter: http://twitter.com/rdicosmo > ------------------------------------------------------------------ > Attachments: > MIME accepted, Word deprecated > http://www.gnu.org/philosophy/no-word-attachments.html > ------------------------------------------------------------------ > Office location: > > Bureau 320 (3rd floor) > Batiment Sophie Germain > Avenue de France > Metro Bibliotheque Francois Mitterrand, ligne 14/RER C > ----------------------------------------------------------------- > GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3 > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs