From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p33L5tQR024456 for ; Sun, 3 Apr 2011 23:05:55 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AngDAPzfmE1V2gB5hWdsb2JhbAClcwEBAQoLCwUWJb9TDYVeBJEY X-IronPort-AV: E=Sophos;i="4.63,293,1299452400"; d="scan'208";a="80062598" Received: from emailfrontal2.citycable.ch ([85.218.0.121]) by mail3-smtp-sop.national.inria.fr with SMTP; 03 Apr 2011 23:05:50 +0200 X-Alinto-smtpauth-localdomain: Yes Received: from seldon (unknown [85.218.93.111]) (Authenticated sender: guillaume.yziquel@citycable.ch) by emailfrontal2.citycable.ch (Postfix) with ESMTPA id EEC8D20C1AC; Sun, 3 Apr 2011 23:05:47 +0200 (CEST) Received: from yziquel by seldon with local (Exim 4.72) (envelope-from ) id 1Q6USa-0006Wl-Eg; Sun, 03 Apr 2011 23:03:48 +0200 Date: Sun, 3 Apr 2011 23:03:48 +0200 From: Guillaume Yziquel To: Andrej Bauer Cc: caml-list@inria.fr Message-ID: <20110403210348.GB22266@localhost> References: <20110330222702.GF20598@localhost> <20110331234612.GG10930@localhost> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p33L5tQR024456 Subject: Re: [Caml-list] Reasoning about categories at compile-time. Le Sunday 03 Apr 2011 à 09:25:54 (+0200), Andrej Bauer a écrit : > I would be interested to hear why the problem must be solved with > camlp4 and ocaml, because this looks a lot like an instance of someone > with a hammer looking for some nails to hit. Because it's fun and interesting. -- Guillaume Yziquel