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 21E605D4 for ; Tue, 30 Oct 2018 10:40:07 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.54,444,1534802400"; d="scan'208,217";a="353448756" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Oct 2018 11:40:05 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2AB0182533; Tue, 30 Oct 2018 11:40:05 +0100 (CET) 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 A8E9A824CF for ; Tue, 30 Oct 2018 11:40:00 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=robert.muller2@gmail.com; spf=Pass smtp.mailfrom=robert.muller2@gmail.com; spf=None smtp.helo=postmaster@mail-lj1-f176.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Aq52BjBx0mxKZ7X3XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1O8fIJqq85mqBkHD//Il1AaPAd2Eraocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HRbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDtU7s6RSqt4LtqSB/wiS?= =?us-ascii?q?cIKTg58H3MisdtiK5XuQ+tqwBjz4LRZoyeKfhwcb7Hfd4CSmVBUMReWSxPDI2/?= =?us-ascii?q?coUBEfYOMP1CoIXhvVYDtweyCRWuCe7p1zRGhmX23ao/0+k5DQ/G2xcvEMwUsH?= =?us-ascii?q?TIsd77M7oSUeSxzKbW1zXIcvRb2S366IfTbB8hu+2MUah1ccrMzUkvEx3Kjk+O?= =?us-ascii?q?pYH+MDOV0/4Cs2mf7+Z6Se2vjGsnphh3rzOyxckskpHEipwJxl3A7yl0w4Y4Kc?= =?us-ascii?q?emREJnYtOoCoZcuiObOoZwX8gsWXtnuDwgxb0DoZO7fDYFyJAgxxPHbvyIaYmI?= =?us-ascii?q?4hb6WOaVIzd0mWtpeLyiixuw8EWs0OL8Vs6z0FZFqipKjMPAuWwK1xzW8sSHS/?= =?us-ascii?q?198Vm92TuXyQzf9uVJLVo3mKfbMZIt3KI8m5kJvUjeHCL7mV36jKqMeUUl/uio?= =?us-ascii?q?5f7nYrLjppKELY90jRrxPbo0msyjG+g4NxUOX2yf+euizr3v41b0QLpPjvIsk6?= =?us-ascii?q?nZtIrWKtgcpq68GwNVyJos6w6jDze619QVhWUII0hAeBKDloTpP1DOIOvkDfqk?= =?us-ascii?q?mFStkDJrx+jcMbH7A5XNKGLDkLb7crpn5U5c0ll78dcK9ohbIrAbIfy1VFWims?= =?us-ascii?q?bfC0oDNAa52fqvLch50o4EETaVBaWUKr+UtEKM4u81ecGDYYYUvHD2LP1ztK2m?= =?us-ascii?q?tmMwhVJIJfrh5pAQcn3tW60+exzIM0qpuc8IFCIxhiR7SeXrjFOYVjsKPiS9Wq?= =?us-ascii?q?s94ncwD4f0VN6fFLDou6SI2WKAJrMTfnpPUwneHnLhdoHCUPAJOnrLf51R1wcc?= =?us-ascii?q?XL3kcLcPkBGjsAiglehiJ+vQvyka7NftjYcroeLUkh42+Hp/CMHPi2w=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A3CwB3NNhbhrDQVdFkHgEGBwaBZYNqK?= =?us-ascii?q?IN2YjuCXpA1gg2JEY4jgWYNhGwCgyMaBwEENBYBAwEBAgEBAQEBEwEBAQgLCwg?= =?us-ascii?q?pIwyCNiQBgmABBAEjHQEbHQEDAQsGBQQHNwICIQEBEQEFAQ4BDRmDIYFpAQMNC?= =?us-ascii?q?J1RPIsMgREFAReCdwWEOwoZJw1agRwaAgYSi1WCF4NzMIF9AViBdQESAWyCN4J?= =?us-ascii?q?XAoEqAYd/lTguBgECgUtLi0mDKBiQSI13iSAPIYE5gQVxMxojUDFtgU6CGhqDU?= =?us-ascii?q?YpuIzCJOoI+AQE?= X-IPAS-Result: =?us-ascii?q?A0A3CwB3NNhbhrDQVdFkHgEGBwaBZYNqKIN2YjuCXpA1gg2?= =?us-ascii?q?JEY4jgWYNhGwCgyMaBwEENBYBAwEBAgEBAQEBEwEBAQgLCwgpIwyCNiQBgmABB?= =?us-ascii?q?AEjHQEbHQEDAQsGBQQHNwICIQEBEQEFAQ4BDRmDIYFpAQMNCJ1RPIsMgREFARe?= =?us-ascii?q?CdwWEOwoZJw1agRwaAgYSi1WCF4NzMIF9AViBdQESAWyCN4JXAoEqAYd/lTguB?= =?us-ascii?q?gECgUtLi0mDKBiQSI13iSAPIYE5gQVxMxojUDFtgU6CGhqDUYpuIzCJOoI+AQE?= X-IronPort-AV: E=Sophos;i="5.54,444,1534802400"; d="scan'208,217";a="283807689" Received: from mail-lj1-f176.google.com ([209.85.208.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 Oct 2018 11:39:54 +0100 Received: by mail-lj1-f176.google.com with SMTP id c4-v6so10835476lja.4 for ; Tue, 30 Oct 2018 03:39:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=2yHwdtiydXiCAV4fccmMZvhGj9E/ntxOIrJGnzi7ggM=; b=AzKjI2uIbMWvEkxSuSv5F57qcWSQgriHr2Dn9ZXZd/6+41EE28mUX1Fbudz5yfwVuH LfxSPDvUq1AGrz35Kj9ljKMahaZ0ULmPasN9EfQw3TyvEnBkhKmQA+373tJ8lHhF5bH6 8xt8hRi0B1bMRRwTztdLMBbwo7RKi6WAWJAL1UMXNmE95ExyS0WkAdH+HGzzD1OGPSfP 49yUHx/MrmlNNj+7zfxzwgzCOD6Kov3cRvb1LcIIdVyWVNgYLgvV/wPDppvhbnja6qb2 gvkW/wTkOceu+BrzgnCrHDgHQ8k9HxQj9GJwf0Kor4xWnGGWl0jMoRN3qsVHALRMOfJ4 dm9A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=2yHwdtiydXiCAV4fccmMZvhGj9E/ntxOIrJGnzi7ggM=; b=OKFJygOMqDZYBF1MK/KC6RWOZS8l7OQBf2hDxb2AT2W6bcsqTLX2zjFQw0q0zZA10d bSFq3HwI8LhlG6+fvr3McS61FNzUoYdBDKIHK3rq9dIc45VfvljCBgbo8si3JeQQVcUH uCNqz3Drup10Bs3J0z0y3UmLEN/O+GtYJOFlUlpxVhKJqXW/nnHSPdOnsB8O4TcdZFAo ZWjjD2vW/ypaBISi5hNXeoiMV/FT3baJyZubKDciD/SLgEbdCkhICtal44vsU7p4hOZA nJAVHQOCHmajU7ZE6zq3EXYErPUu4s1Hr4J42AIUpSozFeX6bT1TD3dUhVjtUMhS/OSH ZOUg== X-Gm-Message-State: AGRZ1gIcYx0+bA+txHGabn0liMBEdZCEDTUlBrASQ9JxwJ4PS2lvzWh9 KgzQR2dRNSRA1sW/Cbuc8093iRGYewHcRGiyYZmFXQ== X-Google-Smtp-Source: AJdET5dwLzkiRLJBwcc7vnpuiBEYNwtvci/a6gAoGCtwcR5hB3/hj2Ne5+e+cCEy9eRnyiWn+0TI48j76w42iWuzbeU= X-Received: by 2002:a2e:730b:: with SMTP id o11-v6mr9027758ljc.67.1540895993300; Tue, 30 Oct 2018 03:39:53 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Robert Muller Date: Tue, 30 Oct 2018 06:39:39 -0400 Message-ID: To: yrg@irif.fr Cc: Ocaml Mailing List Content-Type: multipart/alternative; boundary="00000000000051122f05796fce74" Subject: Re: [Caml-list] Recommended teaching setups? Reply-To: Robert Muller X-Loop: caml-list@inria.fr X-Sequence: 17112 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: --00000000000051122f05796fce74 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Sorry about that. The environment is used in a Principles of Programming Languages class for 4th-year undergraduate university students. Bob Muller On Tue, Oct 30, 2018 at 2:52 AM Yann R=C3=A9gis-Gianas wrote: > 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 t= his >> 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= --00000000000051122f05796fce74 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Sorry about that. The environment is used in a Principles = of Programming Languages class for 4th-year undergraduate university studen= ts.
Bob Muller

On Tue, Oct 30, 2018 at 2:52 AM Yann R=C3=A9gis-Gianas <yrg@irif.fr> wrote:
Hi Robert,

the subject of you= r 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 profi= le of your students? I am convinced that there is not a single answer to th= is question depending on the background of your students.

Cheers,

= Le=C2=A0mar. 30 oct. 2018 =C3=A0=C2=A001:31, Robert Muller <robert.muller2@gmail.com<= /a>> a =C3=A9crit=C2=A0:
--
Yann R= =C3=A9gis-Gianas

--00000000000051122f05796fce74--