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 CDC227EE80 for ; Sat, 16 Mar 2013 09:37:40 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fabien.dagnat@telecom-bretagne.eu) identity=pra; client-ip=192.108.117.9; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabien.dagnat@telecom-bretagne.eu"; x-sender="fabien.dagnat@telecom-bretagne.eu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of fabien.dagnat@telecom-bretagne.eu designates 192.108.117.9 as permitted sender) identity=mailfrom; client-ip=192.108.117.9; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabien.dagnat@telecom-bretagne.eu"; x-sender="fabien.dagnat@telecom-bretagne.eu"; 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@zproxy220.enst-bretagne.fr) identity=helo; client-ip=192.108.117.9; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabien.dagnat@telecom-bretagne.eu"; x-sender="postmaster@zproxy220.enst-bretagne.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnoCAHQuRFHAbHUJkWdsb2JhbABChRLAF4FlFg4BAQEBFBIUKIIqAQEEAQxcFgsLGC4hNhmIAgMJBgQIuTwNiVuMTIIWOhaCSWEDlHuCf4RehWuIJQ X-IPAS-Result: AnoCAHQuRFHAbHUJkWdsb2JhbABChRLAF4FlFg4BAQEBFBIUKIIqAQEEAQxcFgsLGC4hNhmIAgMJBgQIuTwNiVuMTIIWOhaCSWEDlHuCf4RehWuIJQ X-IronPort-AV: E=Sophos;i="4.84,856,1355094000"; d="scan'208";a="6709086" Received: from zproxy220.enst-bretagne.fr ([192.108.117.9]) by mail3-smtp-sop.national.inria.fr with ESMTP; 16 Mar 2013 09:37:40 +0100 Received: from localhost (localhost [127.0.0.1]) by zproxy220.enst-bretagne.fr (Postfix) with ESMTP id B456638020 for ; Sat, 16 Mar 2013 09:37:39 +0100 (CET) X-Virus-Scanned: amavisd-new at zproxy220.enst-bretagne.fr Received: from zproxy220.enst-bretagne.fr ([127.0.0.1]) by localhost (zproxy220.enst-bretagne.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 1bX2A2K5g0It for ; Sat, 16 Mar 2013 09:37:39 +0100 (CET) Received: from [192.168.1.192] (ARennes-553-1-175-158.w2-2.abo.wanadoo.fr [2.2.110.158]) by zproxy220.enst-bretagne.fr (Postfix) with ESMTPSA id 0C6563801F for ; Sat, 16 Mar 2013 09:37:38 +0100 (CET) Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) From: Dagnat Fabien In-Reply-To: Date: Sat, 16 Mar 2013 09:37:39 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <3888D053-C95B-42AB-97B1-3C6D02333E09@telecom-bretagne.eu> References: <5143510E.2000009@recherche.enac.fr> To: caml-list@inria.fr X-Mailer: Apple Mail (2.1503) Subject: Re: [Caml-list] Use of OCaml in universities and engineering schools Hello, In T=E9l=E9com Bretagne, there is/was two courses using Caml : - For first year student (L3), for those having already followed the comput= er science option in preparatory school. Notice that the other are in Pytho= n and starting next year Python will be used for all first year students ht= tps://portail.telecom-bretagne.eu/portal/pls/portal/pkg_df.programmes.SHOW_= FICHE?p_id_mod_er=3D24908 - For third year student (M2) of the computer science specialization, it us= ed alongside with scala for functional programming and compilation. https:/= /portail.telecom-bretagne.eu/portal/pls/portal/pkg_df.programmes.SHOW_FICHE= ?p_id_mod_er=3D25142 Notice that the evolution of the preparatory school toward Python instead o= f Caml is probably going to cause serious change in lot of French engineeri= ng school. Here (at TB) the consequence is a switch to Python as basic lang= uage while keeping Java for basic object oriented programming. Fabien Le 16 mars 2013 =E0 06:34, Valentin ROBERT a =E9crit : > My 2 cents: OCaml is used at the University of California, San Diego, as = part of the undergraduate Programming Languages class (along with Python an= d Prolog). >=20 > cf. http://cseweb.ucsd.edu/classes/wi13/cse130-a/ >=20 > - Valentin >=20 >=20 > On Fri, Mar 15, 2013 at 10:26 PM, Jason Yeo wrote: > I'm an undergrad at the National University of Singapore. We are taught t= o use ocaml for a Programming Language Implementation class. >=20 > Previously, the class was taught using java. Ocaml is definitely a better= choice for the class because of ADTs and the expressiveness of the languag= e. >=20 >=20 --------- Fabien Dagnat -- Ma=EEtre de conf=E9rences Responsable de la fili=E8re Syst=E8mes Logiciels et R=E9seaux Mel : fabien.dagnat@telecom-bretagne.eu Web : perso.telecom-bretagne.eu/fabiendagnat Tel : (0|33) 2 29 00 14 09 Fax : (0|33) 2 29 00 12 82 Adr : TELECOM Bretagne D=E9partement Informatique Technop=F4le Brest-Iroise - CS 83818 - 29238 Brest Cedex 3