From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id DD1A37ED7A for ; Tue, 21 Aug 2012 23:19:34 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.186; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.186; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.126.186 as permitted sender) identity=helo; client-ip=212.227.126.186; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkMBAID6M1DU4366jmdsb2JhbABFul8iAQEBAQkLCQkSBSSCJzo/gR0bBhMJiAgHuUMUinQUhwgDjUWJIZFigVY X-IronPort-AV: E=Sophos;i="4.77,804,1336341600"; d="scan'208";a="170452550" Received: from moutng.kundenserver.de ([212.227.126.186]) by mail1-smtp-roc.national.inria.fr with ESMTP; 21 Aug 2012 23:19:34 +0200 Received: from office1.lan.sumadev.de (dslb-084-059-077-189.pools.arcor-ip.net [84.59.77.189]) by mrelayeu.kundenserver.de (node=mrbap4) with ESMTP (Nemesis) id 0M9pN2-1SxI100b6W-00B3JI; Tue, 21 Aug 2012 23:19:34 +0200 Received: from samsung (ip-92-50-84-130.unitymediagroup.de [92.50.84.130]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id C2D6FC00D0; Tue, 21 Aug 2012 23:19:33 +0200 (CEST) Date: Tue, 21 Aug 2012 23:19:34 +0200 From: Gerd Stolpmann To: Anthony Tavener Cc: caml-list@inria.fr In-Reply-To: (from anthony.tavener@gmail.com on Tue Aug 21 23:10:56 2012) X-Mailer: Balsa 2.4.11 Message-Id: <1345583974.2210.8@samsung> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; DelSp=Yes; Format=Flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Provags-ID: V02:K0:4X1GDZkRWv/KiFRkZBiafKbW73OnN7EEwdLMRxS6zt5 KlezLEoXekBLT+8w9SVE9RN00S+ITO6q8/vCzzyscnlDrJxOva ncaTzffUmIl3wt/oOX4R/7qF2jsPuoUOmaNSRJvnTwZ9+Pr3FN B4xi/fua9iSEVj1DxQqwWA+myM1v++YKPJqPP8S4HndFJrIw3k gcMH755gu73bWrY9hwrsic7Il7fHR4oMyHHu6p2Vg8ANsWIKPd O1O2upsMti8v/sJveHFoVvZrCpk9/Vy/nSOfNzA0UVjrGVaACT wylkx//pFiQvMPz12HC4woIjVlMJv4COIia8FHxtkEMgxH2fwl 6c0HBns6NiIs+w2CZbBQ= Subject: AW: [Caml-list] What is the meaning behind the "labl" prefix? Am 21.08.2012 23:10:56 schrieb(en) Anthony Tavener: > I've sometimes wondered this... but where does "Labl" come from in > LablGL/TK/GTK and now Lablwebkit? >=20 > OCaml bindings to libraries... but I'm not sure how to come to that=20=20 > prefix, > even invoking my limited French. Maybe it's obvious, but I've failed=20= =20 > to see > it. Any hints? :) Labl is from "label" in the same way as caml is from "camel"... This is=20= =20 just a silly joke. The Labl* libraries were the first using labeled=20=20 arguments, and were origally written for a branch of ocaml implementing=20= =20 these labels for the first time, called "Objective Labl". This branch=20=20 was later merged with trunk. Gerd PS. Of course, caml is an acronym and has nothing to do with camels. --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------=