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 ESMTP id 28B175D4 for ; Tue, 30 Oct 2018 00:31:31 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.54,442,1534802400"; d="scan'208,217";a="353388248" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Oct 2018 01:31:29 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2F1E382534; Tue, 30 Oct 2018 01:31:29 +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 737FC824CF for ; Tue, 30 Oct 2018 01:31:21 +0100 (CET) Authentication-Results: mail2-smtp-roc.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-lf1-f42.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ANFUauxL679G76m1Xi9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRLfvxwZ3uMQTl6Ol3ixeRBMOHs60C07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwdFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJOUchRWSJPAZ6y?= =?us-ascii?q?YZUTAOcaJ+lUs5PwqkESoReiBwShAv7kxD9Shn/x2K03y/gvEQbd0wM+BdIOrG?= =?us-ascii?q?nfotLoNKcWVeC60rPIxijEYvNM3jfy85bHcgo9of2WWLJwbM7RyU0xGAPfkFmd?= =?us-ascii?q?soPlPzaP2eQMt2iX9fZvVeWqi2M+rQx6vzuhxt80h4XXmo4YzkrI+CZ5zYovON?= =?us-ascii?q?G1SUx2bcSrHZdOsSyRKpF4Tdk4Q25yvSY30r0GtoC/fCgN0JknwgTQa/2Dc4SR?= =?us-ascii?q?5hLjWvudLS52hH9qZr6znRmy8U+nyu3zUsm7zkxGoTZCktnJrnwN1hrT5dabSv?= =?us-ascii?q?Zl4EutxTKC2xrQ5+xEO0w4iKvWJpw7zrM/iJYfqUHDETX3mEXygq+WbEIk+u2w?= =?us-ascii?q?5uT9ZbXpvYGTN5Voig3kN6Quh8i/AeAmPQgUQWSW4uu81Lj58k34RLVGlOE5kq?= =?us-ascii?q?7csJzCP8QUura5AxNJ0oYk8xuwEy2p0NEcnXUeKFJFeQmHj5TyNlHVIPH4CO+/?= =?us-ascii?q?jE62nDdqwfDGJLzhDY/XInjNireyNYp6vmlXwQ83hfVW5pZVDL5JBPPoRgelv9?= =?us-ascii?q?XdClo9Mheo6+fhEtR0kI0EDzGhGKicZZnVu1KS+qoKPu2IaZVd7Cz6IfU/+7jr?= =?us-ascii?q?kHs9lEVHVaas1JoTLnu/G6I1cA2ifXPwj4JZQi8xtQ0kQbmv0QXaCG8BVzOJR6?= =?us-ascii?q?s5owoDJsejBIbHSJqqheXYjii+F5xSIGtBDwLVSCu6R8C/Q/4JLRmqDIp5iDVd?= =?us-ascii?q?DOquToYg0Velswqok+M6fNqRwTURsNfY7PYw5+DXkktvpzl9DsDY12/UCm8oxC?= =?us-ascii?q?UHQDg52K05qkt4mA+O?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CtBwDKpNdbhiqnVdFkHgEGBwaBZQKCK?= =?us-ascii?q?AGBPyiDdYEdgl6QNosebYRGgxGHRQ0FiBYZBwEENBYBAwEBAgEBAQEBEwEBAQg?= =?us-ascii?q?LCwgpIwxCARABgWIkAYJWMx0BGx4DEggBBzcCJAERAQUBDgETgzSBaQEDFZsfg?= =?us-ascii?q?x48iwyBEQUBF4J3BYQ3ChknDVqBHBoCBhKLVYIXhCOBfoYEglcCgSoBh32VYQY?= =?us-ascii?q?BAoFLEziObhiQR5cNDyGBOYF2MxojgQFtgU6CGhqDUYpuIzCCRopfAQE?= X-IPAS-Result: =?us-ascii?q?A0CtBwDKpNdbhiqnVdFkHgEGBwaBZQKCKAGBPyiDdYEdgl6?= =?us-ascii?q?QNosebYRGgxGHRQ0FiBYZBwEENBYBAwEBAgEBAQEBEwEBAQgLCwgpIwxCARABg?= =?us-ascii?q?WIkAYJWMx0BGx4DEggBBzcCJAERAQUBDgETgzSBaQEDFZsfgx48iwyBEQUBF4J?= =?us-ascii?q?3BYQ3ChknDVqBHBoCBhKLVYIXhCOBfoYEglcCgSoBh32VYQYBAoFLEziObhiQR?= =?us-ascii?q?5cNDyGBOYF2MxojgQFtgU6CGhqDUYpuIzCCRopfAQE?= X-IronPort-AV: E=Sophos;i="5.54,442,1534802400"; d="scan'208,217";a="353388208" Received: from mail-lf1-f42.google.com ([209.85.167.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 Oct 2018 01:31:20 +0100 Received: by mail-lf1-f42.google.com with SMTP id m18-v6so7504208lfl.11 for ; Mon, 29 Oct 2018 17:31:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=vlCWS2JC05v0DkFJUXBDLoqb4lPUz4nEqnPLduMAiIM=; b=PFy460yy4x/NM8a9IOBMYoBbSV5o9qHcO1RTM/9HIcu3iCW5CU743Gb2Y6C7uZCvc/ e8a401ONlqaG9miZFHtiu8MytP5NSqRCakEGC7+z6GS7sCy4npkDfQGsHygkDG6G18Ng AAhQ6wxSByhpZNrsjc7zontmgHfsBQTwa+a/6BeRYFT/3Q4mCe12NdeH+JjLPZVitIne et+1IS/4pONIzNIaCzKtsv2wc66Jvm4Z78XFZe8ueUmd3jo0+1p0TIAmc+ozYHzmvvK9 SrSinV8U+ty+AQeiVi5UB6x7cceDhvkzec+WRb52tgBv4H0aGIDV2VaQlSZxKEPD0cwM LIsg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=vlCWS2JC05v0DkFJUXBDLoqb4lPUz4nEqnPLduMAiIM=; b=Wg9t3j1Jb5fEI/8xkjO71j/riwnkcujuY3aDs7jbneT1PZrFIUcl2GJv5HufzUthwQ qpkU1/3Uwm/rWHJ5W+QRlguMwhBpXl2Q4OdwDyv9xbC2T+sUK2PERp8aQ1dYtycOvIdM ZNgRB/8F62cre8/DSyqMHiI9NERNw1FOcgdqCtDTawicNneoDSPx8I4/BKBswzwLPzcN wVtuYgOrQcaoE/El11GV0CucBX6pTabhx4VXvIrGNW61IUAQ6lVex1lXj+CrB+HUNA77 tLzSiKk2Iadk1cuZMOvRmuUtjv+7eHCzllkuruewuqDBTaE7rJkxD4PzYDI+C4Ym5B61 R53A== X-Gm-Message-State: AGRZ1gLfoTNL88vJvoWsRLAZyour/+6QdRGAMc86MEyClMOSff4fKPb9 Okt4NUdc/Nqye3ZWrv0DxtmBfwCAzeCKcSYFK1o6HQ== X-Google-Smtp-Source: AJdET5dX//bwJ1QM5O06RNSyYcPRBod2x6BPRfmHOmFSZx9NiZ9EDmcZOAVbhMyNYp3xKL/EInfxFKiMZ7Tk5Wl9IIM= X-Received: by 2002:a19:db4a:: with SMTP id s71mr532569lfg.36.1540859479152; Mon, 29 Oct 2018 17:31:19 -0700 (PDT) MIME-Version: 1.0 From: Robert Muller Date: Mon, 29 Oct 2018 20:31:06 -0400 Message-ID: To: Ocaml Mailing List Content-Type: multipart/alternative; boundary="000000000000e75ce10579674dca" Subject: [Caml-list] Recommended teaching setups? Reply-To: Robert Muller X-Loop: caml-list@inria.fr X-Sequence: 17109 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: --000000000000e75ce10579674dca Content-Type: text/plain; charset="UTF-8" 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 this setup that I should upgrade, I'd appreciate the heads up. Thanks, Bob Muller -- 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 --000000000000e75ce10579674dca Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Greetings. I've been using OCaml in my programming lan= guages course for many years. But I haven't been keeping up with best p= ractices vis-a-vis a common environment for unix (MacOS) and Windows users.= I've been using Vagrant/Virtual Box, with atom=C2=A0+ merlin and make = files. (Merlin is fantastic.) I believe that I should upgrade the build sys= tem to use Dune, but I'm not sure about the rest of it. If you know of = other aspects of this setup that I should upgrade, I'd appreciate the h= eads up.
Thanks,
Bob Muller

--000000000000e75ce10579674dca--