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 72E3A7EE49 for ; Thu, 19 Sep 2013 11:38:44 +0200 (CEST) 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=80.12.242.131; 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: Neutral (mail3-smtp-sop.national.inria.fr: domain of fabien.dagnat@telecom-bretagne.eu does not assert whether or not 80.12.242.131 is permitted sender) identity=mailfrom; client-ip=80.12.242.131; 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@smtp.smtpout.orange.fr) identity=helo; client-ip=80.12.242.131; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabien.dagnat@telecom-bretagne.eu"; x-sender="postmaster@smtp.smtpout.orange.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtIBAMzFOlJQDPKDm2dsb2JhbABbgk1ywzcOAQEBAQEGCwsJFCEHgjhcMDBviBoImFKhKY4YhHSBAAOtFw X-IPAS-Result: AtIBAMzFOlJQDPKDm2dsb2JhbABbgk1ywzcOAQEBAQEGCwsJFCEHgjhcMDBviBoImFKhKY4YhHSBAAOtFw X-IronPort-AV: E=Sophos;i="4.90,936,1371074400"; d="scan'208,217";a="27378751" Received: from smtp09.smtpout.orange.fr (HELO smtp.smtpout.orange.fr) ([80.12.242.131]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Sep 2013 11:38:43 +0200 Received: from portdagnat.secure.enstb.org ([193.50.97.194]) by mwinf5d18 with ME id Sxej1m00K4Bduy903xejGd; Thu, 19 Sep 2013 11:38:43 +0200 From: Dagnat Fabien Content-Type: multipart/alternative; boundary="Apple-Mail=_9CA44325-4F35-4355-8BC5-88C2FED11779" Message-Id: Date: Thu, 19 Sep 2013 11:38:41 +0200 To: "caml-list@inria.fr" Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) X-Mailer: Apple Mail (2.1510) Subject: [Caml-list] Opam use for teaching lab infrastructure --Apple-Mail=_9CA44325-4F35-4355-8BC5-88C2FED11779 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 Hello, I'm teaching (basic) functional programming and (simple) compilation in oca= ml (to master students). Currently, I ask the system administrators to inst= all a basic ocaml package. I'm thinking on switching to opam to make it eas= ier for students to experiment various libraries. =20 Does anyone has used opam for labs with student? I would be glad to hear an= y report on this mainly on the following points: - Is opam really usable when you keep changing of machine? - Having a .opam for all student accounts seem interesting so that they can= freely experiment without interfering with others but has the cost of dupl= icating lot of common files. Any thoughts? - What is the usual size of an .opam directory? Mine is 1G but I don't know= if it's usual. - What kind of ocaml libs do you introduce to the students? I was thinking = of utop, ounit, core / batteries, menhir.=20 Thanks in advance Fabien Fabien DAGNAT Ma=EEtre de conf=E9rences au d=E9partement informatique Responsable de la fili=E8re Syst=E8mes Logiciels et R=E9seaux T=E9l. : (0 | 33) 2 29 00 14 09 Technop=F4le Brest-Iroise, CS 83818 29238 Brest Cedex 3, France=20 Une =E9cole de l'Institut Mines-T=E9l=E9com=20=20=20=20=20 --Apple-Mail=_9CA44325-4F35-4355-8BC5-88C2FED11779 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=iso-8859-1 Hello,
I'm teaching= (basic) functional programming and (simple) compilation in ocaml (to = master students). Currently, I ask the system administrators to install a b= asic ocaml package. I'm thinking on switching to opam to make it easier for= students to experiment various libraries.
 
Does an= yone has used opam for labs with student? I would be glad to hear any repor= t on this mainly on the following points:
- Is opam really usable= when you keep changing of machine?
- Having a .opam for all stud= ent accounts seem interesting so that they can freely experiment without in= terfering with others but has the cost of duplicating lot of common files. = Any thoughts?
- What is the usual size of an .opam directory? Min= e is 1G but I don't know if it's usual.
- What kind of ocaml libs= do you introduce to the students? I was thinking of utop, ounit, core / ba= tteries, menhir. 

Thanks in advance
Fabien

3D"T=E9l=E9com
Fabien DAGNAT
Ma=EEtre de conf=E9rences au d=E9partement informatique
Responsable de la fili=E8re Syst=E8mes Logiciels et R=E9seaux
T=E9l. : (0 | 33) 2 29 00 14 09
Technop=F4le Brest-Iroise, CS 83818
29238 Brest Cedex 3, France
3D"Site3D"Blog
Une =E9cole de l'Institut Mines-T=E9l=E9com

= --Apple-Mail=_9CA44325-4F35-4355-8BC5-88C2FED11779--