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 428F37FB0A for ; Wed, 26 Nov 2014 23:12:57 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of marek@xivilization.net) identity=pra; client-ip=178.63.18.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="marek@xivilization.net"; x-sender="marek@xivilization.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of marek@xivilization.net designates 178.63.18.39 as permitted sender) identity=mailfrom; client-ip=178.63.18.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="marek@xivilization.net"; x-sender="marek@xivilization.net"; 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@coaxial.xivilization.net) identity=helo; client-ip=178.63.18.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="marek@xivilization.net"; x-sender="postmaster@coaxial.xivilization.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiMKAAdQdlSyPxIn/2dsb2JhbABbDgiCTSNSEkW1GJMGhk0CDIEEFgEBAQEBfYQDAQEDAToGAQE3AQQLCyElD0gGE4g3CgMBCLsYhXIBBZFBAQEBAQEBBAEBAQEYBpB7BzCEHZdRhzSBNj+RHoQKgzxBdgGCSQEBAQ X-IPAS-Result: AiMKAAdQdlSyPxIn/2dsb2JhbABbDgiCTSNSEkW1GJMGhk0CDIEEFgEBAQEBfYQDAQEDAToGAQE3AQQLCyElD0gGE4g3CgMBCLsYhXIBBZFBAQEBAQEBBAEBAQEYBpB7BzCEHZdRhzSBNj+RHoQKgzxBdgGCSQEBAQ X-IronPort-AV: E=Sophos;i="5.07,464,1413237600"; d="scan'208";a="90658287" Received: from coaxial.xivilization.net ([178.63.18.39]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 26 Nov 2014 23:12:14 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=xivilization.net; s=xiv; h=Content-Transfer-Encoding:Content-Type:MIME-Version:References:In-Reply-To:Message-ID:Subject:Cc:To:From:Date; bh=AJwVllA939R/MnlhaxjBBjU8O19RcXgfOwCqwIH5GcY=; b=iv3eHOm8dWBLvKQfgRVj0V/CYRVfqdrKbWRv5Fm19c28rMIlGfki0HMiaMly55QzuDw9vovSEX1RmW8KEK+WQ/Tv0GljxMPOhK2QpLeVG0Hc7NVkdCLK9iuJknDm+rsVZgmiUfprBRTV6o5J8esk+iWPJuBUXDKo9Z26rDNPsrk=; Received: from [2001:a60:1232:f101:224:d7ff:fe9f:55cc] (helo=localhost.localdomain) by coaxial.xivilization.net with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.80) (envelope-from ) id 1XtkpR-0002o0-UM; Wed, 26 Nov 2014 23:12:54 +0100 Date: Wed, 26 Nov 2014 23:09:32 +0100 From: Marek Kubica To: Kenichi Asai Cc: caml-list@inria.fr Message-ID: <20141126230932.5c4bede3@xivilization.net> In-Reply-To: <20141126113738.GA29791@pllab.is.ocha.ac.jp> References: <20141126113738.GA29791@pllab.is.ocha.ac.jp> X-Mailer: Claws Mail 3.11.0 (GTK+ 2.24.25; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] teaching OCaml Hi, On Wed, 26 Nov 2014 20:37:38 +0900 Kenichi Asai wrote: > Not directly addressing the error messages, but this spring, I used > our type debugger for OCaml in the introductory course. By answering > questions, it leads you to the source of the type error, with better > error messages. With proper instruction, I found that students > actually learn how OCaml types work from the interaction with the type > debugger. It also introduces a few language levels which are good for > novices. > > http://pllab.is.ocha.ac.jp/~asai/TypeDebugger/ If you're interested, I think we can add your patch directly into OPAM repository, so your students won't have to download additional files and place them in a hidden folder but everything works out of the box. regards, Marek