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 B84D87F98F for ; Mon, 31 Jul 2017 22:56:24 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yann.salmon@prepas.org; spf=None smtp.mailfrom=yann.salmon@prepas.org; spf=None smtp.helo=postmaster@mo29.mail-out.ovh.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yann.salmon@prepas.org) identity=pra; client-ip=178.32.228.29; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yann.salmon@prepas.org"; x-sender="yann.salmon@prepas.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yann.salmon@prepas.org) identity=mailfrom; client-ip=178.32.228.29; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yann.salmon@prepas.org"; x-sender="yann.salmon@prepas.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mo29.mail-out.ovh.net) identity=helo; client-ip=178.32.228.29; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yann.salmon@prepas.org"; x-sender="postmaster@mo29.mail-out.ovh.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AmLER+BZ+7gZQeCyHXIbdWCj/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMSzbnLW6fgltlLVR4KTs6sC0LuG9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT6+bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjAn8G/Zl89+gqxVrx2uuxNxzJXZYJ2WOfdkYq/RYd0XSGhHU81MVyJBGIS8?= =?us-ascii?q?b44XAuUDJ+lYqY/9rEYToxSkAQmsAeTvyjlVjXLx3aw1yeIhEQfc0Aw7Bd0OtH?= =?us-ascii?q?HUrNLzNKoJSeC11rfHzS3ZYPNNwzv975LIch84rPyKQLl+f83RyUw1GAPEiFWd?= =?us-ascii?q?sY3lPzWP1uQMqWeX9eRgVfi3h28nsQ5xpD6vxtw2hYnNg4IVzVbE+T93wIYvI9?= =?us-ascii?q?CzVU11Yca8HZdNtSyXNJF6T808T21ypio21L4LtYSlcCUO0Jgr2gLTZvidf4SV?= =?us-ascii?q?5h/vSPydLDdiiH57dr+ygxC/+lW6xOLmTMm7ylNKozJFktbSsnAN0ATe6s2ASv?= =?us-ascii?q?dj+kqtwzOP2BrS6uFAOEw0krfbK4I7zr43iJoTsV7PHinol0XqlKOWd0Mk9fa0?= =?us-ascii?q?6+n/f7nrpJyRO5V6hw3gKKgihNKzDOciPgQQW2WX4eG826fi/U39TrVKlPo2kq?= =?us-ascii?q?zBvZHaP8sboKi5DxVO0ok57xa/CjCm0NIDkHkfNlJKZgqHgJLyO13UJ/D4F/i/?= =?us-ascii?q?j0y2kDh33/DGIqHhApLVI3ffirjheLJ951dYyAoy1tBf+4lZCqoBIfL2Qk/+rs?= =?us-ascii?q?bUDh4/MwyuwuboEs9x1o0EWTHHPqjMO6rXtRqM5/kzC+iKfo4c/jjneNY/4Pu7?= =?us-ascii?q?vHY/nxcmdK2s2p1fPGGxGPIgOEydZH3qqs8bHH8DpUw5VuO82w7KaiJae3vnB/?= =?us-ascii?q?F03To8Eo/zVYo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BsDAC8mH9ZbR3kILJcHQEFAQsBGQYMg?= =?us-ascii?q?y9kA4ERngiaCCiFLYN+QxQBAQEBAQEBAQEBARINFQdXgjMigm0PAXsCJgJsCAE?= =?us-ascii?q?BEoodDK4+giaLd4ELgh2DTYFhK4R6g0KCR4JhBYlvlgCCKIUnjFiCY4EShz6HC?= =?us-ascii?q?pVyNoErMiExhSOCSXQBAYotAQEB?= X-IPAS-Result: =?us-ascii?q?A0BsDAC8mH9ZbR3kILJcHQEFAQsBGQYMgy9kA4ERngiaCCi?= =?us-ascii?q?FLYN+QxQBAQEBAQEBAQEBARINFQdXgjMigm0PAXsCJgJsCAEBEoodDK4+giaLd?= =?us-ascii?q?4ELgh2DTYFhK4R6g0KCR4JhBYlvlgCCKIUnjFiCY4EShz6HCpVyNoErMiExhSO?= =?us-ascii?q?CSXQBAYotAQEB?= X-IronPort-AV: E=Sophos;i="5.41,304,1498514400"; d="scan'208";a="233315403" Received: from mo29.mail-out.ovh.net ([178.32.228.29]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 31 Jul 2017 22:56:23 +0200 Received: from he22.mail.ovh.net (he22.mail.ovh.net [46.105.67.157]) by mo29.mail-out.ovh.net (Postfix) with ESMTP id 279931528E for ; Mon, 31 Jul 2017 22:56:23 +0200 (CEST) Received: from [192.168.1.68] (unknown [109.190.5.239]) by he22.mail.ovh.net (Postfix) with ESMTPSA id 4BB5D4140EE for ; Mon, 31 Jul 2017 22:56:36 +0200 (CEST) To: caml-list@inria.fr From: Yann Salmon Message-ID: Date: Mon, 31 Jul 2017 22:56:22 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit X-Ovh-Tracer-Id: 11058307411918573343 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeelkedrieejgdduvdelucetufdoteggodetrfdotffvucfrrhhofhhilhgvmecuqfggjfdpvefjgfevmfevgfenuceurghilhhouhhtmecufedttdenuc Subject: [Caml-list] Is anybody still using Caml Light ? Hello, the (old) Caml webpage at INRIA states that Caml Light "is actively used in education". I wonder if this is still true. Is it ? Caml Light is still used in the French classes préparatoires because of an official text that mandates it. More and more teachers would like to switch over to OCaml, but this would require a change in that text, which might take time. If, as I suspect, Caml Light is no longer actively used but for legal reasons, it might be useful to rephrase this part of the Caml website to state that Caml Light is no longer supported and that all users, including for teaching purposes, are encouraged to switch. In its present formulation, this web page might be giving governmental regulators a false impression about Caml Light. -- Cordialement, Yann Salmon Informatique MPSI, PCSI, MP*, PC* Descartes - Tours