From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 5EFA75D4 for ; Tue, 30 Oct 2018 06:52:56 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.54,443,1534802400"; d="scan'208,217";a="353404435" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Oct 2018 07:52:54 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 910D682534; Tue, 30 Oct 2018 07:52:54 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 9A9A1824CF for ; Tue, 30 Oct 2018 07:52:49 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yrg@irif.fr; spf=Pass smtp.mailfrom=yrg@irif.fr; spf=None smtp.helo=postmaster@korolev.univ-paris7.fr IronPort-PHdr: =?us-ascii?q?9a23=3AzOxXDB+0fhk5tv9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?1escTK2v8tzYMVDF4r011RmVBdqds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+55/ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiC?= =?us-ascii?q?gZMT457HrXgdF0gK5CvR6tuwBzz4vSbYqINvRxY7ndcMsVSmpPXMlfVyJPDICh?= =?us-ascii?q?YYURE+UMJvxXo5XnqlYUsReyGQuhCeXywTFInH/22qg63vwjHg7c2gwgGc8Fvm?= =?us-ascii?q?jOq9X6NacSSvm5wqjJzTrZafNZwyz945XPfxEhu/GMUql9ccvLyUkuGQPJlFuQ?= =?us-ascii?q?qZb8Mj6Ty+8DsHCb4vJ9We+rhGMrsR99rzigy8s2i4TFm5gZxk3K+Ch62Io5O8?= =?us-ascii?q?G0RUphbdOnEJZcrT+WO5Z5T884Xm1lujs2x7sbspChZicK0o4oxxvHZvyHbYeI?= =?us-ascii?q?5hXjWf6SITd/nnJlf7a/iAis8US61+38UMi00EhToipdiNbMrHEN1wfR58SdRP?= =?us-ascii?q?t95F+t2TeJ1w/N9uFJOV04mK7UJpI73LI9lpUevV7CEyPrgkn6kaGbe0Y89uit?= =?us-ascii?q?8evnY7HmppGGN49zjwHzKqQvmtawAekjMwgORWmb+eqm2L3t5031WK9KgeEukq?= =?us-ascii?q?nFrJDaItwWqbKjDA9Q1oYv8hK/Dza90NQEhnQHN1JEeBefj4fzIV3OIfb4De2+?= =?us-ascii?q?g1u2ijtryerGbfXdBcD3KXLOiqupWKt570NGgF4pytpS/Y4SD6wFJP/pAGf+sd?= =?us-ascii?q?XZClkyNAnikMj9D9Ao54oYXyq1g6CYK+b9sFaO7/lnd/iWa6cUojfzbfY/sa29?= =?us-ascii?q?xUQlkEMQKPH6laAcb2q1S7E/ex3AMCjcx+wZGGJPhTIQCenjiVmMSzlWNiSzRa?= =?us-ascii?q?MyoD8hWtv/UdXzA7u1ibnE5x+VW4VMbzEUC0qNHzHmbdfcAqpeWGepOsZk1wc8?= =?us-ascii?q?e/2hRosmj038twjgzL5qMKzJ/CwG8IrqztluuKvdj0Nq+A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BsBQCP/tdbbYo9/sJkghkBgS5UgWUog?= =?us-ascii?q?3aBHYdaizmCDQ+IcXaNPoFmCwEBKwGEQAKDMhkHAQQ1CQwBAwEBAgEBAQEBEw0?= =?us-ascii?q?LCQYrL0IBDgGBZCQBgmABBAEjVgULCwQBBjcCAiEBEgEFAQ4BDQYThQsDDQgBA?= =?us-ascii?q?517PIsMgS6Hfw2BC2sii2cXggCDczCBfliBdQESAYMjglcCiSiVMy4JgQiMVYM?= =?us-ascii?q?nGJBHjXCJBgIEBgUCBQ4BIYEENoEEcU0nETsxBoI1kFhugQUBAYQBhCyCPgEB?= X-IPAS-Result: =?us-ascii?q?A0BsBQCP/tdbbYo9/sJkghkBgS5UgWUog3aBHYdaizmCDQ+?= =?us-ascii?q?IcXaNPoFmCwEBKwGEQAKDMhkHAQQ1CQwBAwEBAgEBAQEBEw0LCQYrL0IBDgGBZ?= =?us-ascii?q?CQBgmABBAEjVgULCwQBBjcCAiEBEgEFAQ4BDQYThQsDDQgBA517PIsMgS6Hfw2?= =?us-ascii?q?BC2sii2cXggCDczCBfliBdQESAYMjglcCiSiVMy4JgQiMVYMnGJBHjXCJBgIEB?= =?us-ascii?q?gUCBQ4BIYEENoEEcU0nETsxBoI1kFhugQUBAYQBhCyCPgEB?= X-IronPort-AV: E=Sophos;i="5.54,443,1534802400"; d="scan'208,217";a="353404414" Received: from korolev.univ-paris7.fr ([194.254.61.138]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 Oct 2018 07:52:48 +0100 Received: from potemkin.univ-paris7.fr (potemkin.univ-paris7.fr [IPv6:2001:660:3301:8000::1:1]) by korolev.univ-paris7.fr (8.14.4/8.14.4/relay1/82085) with ESMTP id w9U6qgvl003233 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO) for ; Tue, 30 Oct 2018 07:52:42 +0100 Received: from mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [81.194.30.253]) by potemkin.univ-paris7.fr (8.14.4/8.14.4/relay2/82085) with ESMTP id w9U6qilw008772 for ; Tue, 30 Oct 2018 07:52:44 +0100 Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id 25CE43FF89 for ; Tue, 30 Oct 2018 07:52:48 +0100 (CET) X-Virus-Scanned: amavisd-new at math.univ-paris-diderot.fr Received: from mailhub.math.univ-paris-diderot.fr ([127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [127.0.0.1]) (amavisd-new, port 10023) with ESMTP id wkEOU5GX-oJP for ; Tue, 30 Oct 2018 07:52:46 +0100 (CET) Received: from mail-pl1-f171.google.com (mail-pl1-f171.google.com [209.85.214.171]) (Authenticated sender: yrg) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id E8EDA3FF82 for ; Tue, 30 Oct 2018 07:52:45 +0100 (CET) Received: by mail-pl1-f171.google.com with SMTP id s5-v6so3403586plq.11 for ; Mon, 29 Oct 2018 23:52:45 -0700 (PDT) X-Gm-Message-State: AGRZ1gKpXr5mNV5wPHpWHI+lJL1DHKCoLWSYEKleDa+ZSsNsjTYBeyJg GmWtDs/136dprrnzDLT9DVHbW/nk8Hu+6NPJiSo= X-Google-Smtp-Source: AJdET5f4RJHtbs9WHsYdWYwTIzJxx4z2T981eqtcnLfjHVbEyCtiidi9Dl0v3/QKHYOrGC8XyKHtaQuvHFr2vWkk7so= X-Received: by 2002:a17:902:a9cb:: with SMTP id b11-v6mr6844466plr.219.1540882364635; Mon, 29 Oct 2018 23:52:44 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: =?UTF-8?B?WWFubiBSw6lnaXMtR2lhbmFz?= Date: Tue, 30 Oct 2018 07:15:21 +0100 X-Gmail-Original-Message-ID: Message-ID: To: Robert Muller Cc: Ocaml Mailing List Content-Type: multipart/alternative; boundary="000000000000fc20aa05796ca1df" X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (korolev.univ-paris7.fr [IPv6:2001:660:3301:8000::1:2]); Tue, 30 Oct 2018 07:52:42 +0100 (CET) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (potemkin.univ-paris7.fr [194.254.61.141]); Tue, 30 Oct 2018 07:52:44 +0100 (CET) X-Miltered: at korolev with ID 5BD7FFBA.005 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-Miltered: at potemkin with ID 5BD7FFBC.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 5BD7FFBA.005 from potemkin.univ-paris7.fr/potemkin.univ-paris7.fr/null/potemkin.univ-paris7.fr/ X-j-chkmail-Enveloppe: 5BD7FFBC.000 from mailhub.math.univ-paris-diderot.fr/mailhub.math.univ-paris-diderot.fr/null/mailhub.math.univ-paris-diderot.fr/ X-j-chkmail-Score: MSGID : 5BD7FFBA.005 on korolev.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Score: MSGID : 5BD7FFBC.000 on potemkin.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Status: Ham X-j-chkmail-Status: Ham Subject: Re: [Caml-list] Recommended teaching setups? Reply-To: =?UTF-8?B?WWFubiBSw6lnaXMtR2lhbmFz?= X-Loop: caml-list@inria.fr X-Sequence: 17111 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000fc20aa05796ca1df Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi Robert, the subject of your email refers to "teaching" so just to be sure, are you looking for an environment to teach OCaml? In that case, can you describe the profile of your students? I am convinced that there is not a single answer to this question depending on the background of your students. Cheers, Le mar. 30 oct. 2018 =C3=A0 01:31, Robert Muller = a =C3=A9crit : > Greetings. I've been using OCaml in my programming languages course for > many years. But I haven't been keeping up with best practices vis-a-vis a > common environment for unix (MacOS) and Windows users. I've been using > Vagrant/Virtual Box, with atom + merlin and make files. (Merlin is > fantastic.) I believe that I should upgrade the build system to use Dune, > but I'm not sure about the rest of it. If you know of other aspects of th= is > setup that I should upgrade, I'd appreciate the heads up. > Thanks, > Bob Muller > > -- Yann R=C3=A9gis-Gianas --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs= --000000000000fc20aa05796ca1df Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi Robert,

the subject of your email re= fers to "teaching" so just to be sure, are you looking for an env= ironment to teach OCaml? In that case, can you describe the profile of your= students? I am convinced that there is not a single answer to this questio= n depending on the background of your students.

Ch= eers,

Le=C2=A0ma= r. 30 oct. 2018 =C3=A0=C2=A001:31, Robert Muller <robert.muller2@gmail.com> a =C3=A9crit=C2=A0:<= br>
Greetings. I'v= e been using OCaml in my programming languages course for many years. But I= haven't been keeping up with best practices vis-a-vis a common environ= ment for unix (MacOS) and Windows users. I've been using Vagrant/Virtua= l Box, with atom=C2=A0+ merlin and make files. (Merlin is fantastic.) I bel= ieve that I should upgrade the build system to use Dune, but I'm not su= re about the rest of it. If you know of other aspects of this setup that I = should upgrade, I'd appreciate the heads up.
Thanks,
Bob = Muller

--
Yann R=C3=A9gis-Gianas
--000000000000fc20aa05796ca1df--