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 476E47ED7A for ; Tue, 21 Aug 2012 23:28:02 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anthony.tavener@gmail.com) identity=pra; client-ip=209.85.212.174; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="anthony.tavener@gmail.com"; x-sender="anthony.tavener@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of anthony.tavener@gmail.com designates 209.85.212.174 as permitted sender) identity=mailfrom; client-ip=209.85.212.174; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="anthony.tavener@gmail.com"; x-sender="anthony.tavener@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f174.google.com) identity=helo; client-ip=209.85.212.174; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="anthony.tavener@gmail.com"; x-sender="postmaster@mail-wi0-f174.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuUBAMb8M1DRVdSuk2dsb2JhbABFsg+ISAgiAQEBAQkJCwkUBCOCIAEBAQMBEgIsARsdAQMBCwYFBAcDOCIBEQEFARwGEwgBGYdbAQMGBguaVgkDjCKCcoUtChknDVeIcQEFDIp8FIcIA4hPjQOBFI0iPoJMgVOBOQ X-IronPort-AV: E=Sophos;i="4.77,804,1336341600"; d="scan'208";a="170453178" Received: from mail-wi0-f174.google.com ([209.85.212.174]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Aug 2012 23:28:01 +0200 Received: by wibhr14 with SMTP id hr14so4177200wib.9 for ; Tue, 21 Aug 2012 14:28:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=RB9RFlWPI3QNgwiOUDibVszcFL/+/pYYWlyOxnhH3tk=; b=TRZ2CYsFk8kxpQiHVPMqpxX2S0YCjQcRz9voKcD5j1/L1iZNR7dp5nXAroEFhvLIfn yBT5P8uhop3r2weslqy/KCcjN6ilV6MYxYSjJuvc5uuazSNGmqVGCxtParDOkSDIUjFF 3P6ONlo8wcQImYGaOhwyWZ8OSRGdOuaZ62ZKofuB5YEfOVaqL1V0CjXmmXD4nJdHWM3a nTqFwR+ksskh7bx1RadH0EW0UaGYFTQ6HVXJx8LYHBuP7QpSh3NxcAvt4fTs/IvQ1Po2 XmWdmSDSeA0KPjrQRvsuigv4ENPL+LaU18o/D2HX7uR8Vf/b+ckVPwcVVxqfK0ha3r7q T/zg== MIME-Version: 1.0 Received: by 10.216.134.40 with SMTP id r40mr10357542wei.88.1345584481393; Tue, 21 Aug 2012 14:28:01 -0700 (PDT) Received: by 10.223.3.1 with HTTP; Tue, 21 Aug 2012 14:28:01 -0700 (PDT) In-Reply-To: <1345583974.2210.8@samsung> References: <1345583974.2210.8@samsung> Date: Tue, 21 Aug 2012 15:28:01 -0600 Message-ID: From: Anthony Tavener To: Gerd Stolpmann Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=0016e6d7e87e075cac04c7cd4d8b Subject: Re: [Caml-list] What is the meaning behind the "labl" prefix? --0016e6d7e87e075cac04c7cd4d8b Content-Type: text/plain; charset=ISO-8859-1 Ah! Okay, I guess I should have realized... just how I pronounce it anyway: Label. Well, thanks. One less mystery in my world. :) On Tue, Aug 21, 2012 at 3:19 PM, Gerd Stolpmann wrote: > 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? >> >> OCaml bindings to libraries... but I'm not sure how to come to that >> prefix, >> even invoking my limited French. Maybe it's obvious, but I've failed to >> see >> it. Any hints? :) >> > > Labl is from "label" in the same way as caml is from "camel"... This is > just a silly joke. The Labl* libraries were the first using labeled > arguments, and were origally written for a branch of ocaml implementing > these labels for the first time, called "Objective Labl". This branch was > later merged with trunk. > > Gerd > > PS. Of course, caml is an acronym and has nothing to do with camels. > -- > ------------------------------**------------------------------ > 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 > ------------------------------**------------------------------ --0016e6d7e87e075cac04c7cd4d8b Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Ah! Okay, I guess I should have realized... just how I pronounce it anyway:= Label.

Well, thanks. One less mystery in my world. :)
On Tue, Aug 21, 2012 at 3:19 PM, Gerd Stol= pmann <info@gerd-stolpmann.de> wrote:
Am 21.08.2012 23:10:56 schrieb(en) Anthony= Tavener:

I've sometimes wondered this... but where does "Labl" come fr= om in
LablGL/TK/GTK and now Lablwebkit?

OCaml bindings to libraries... but I'm not sure how to come to that pre= fix,
even invoking my limited French. Maybe it's obvious, but I've faile= d to see
it. Any hints? :)

Labl is from "label" in the same way as caml is from "camel&= quot;... This is just a silly joke. The Labl* libraries were the first usin= g labeled arguments, and were origally written for a branch of ocaml implem= enting these labels for the first time, called "Objective Labl". = This branch was later merged with trunk.

Gerd

PS. Of course, caml is an acronym and has nothing to do with camels.
--
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany =A0 =A0gerd@gerd-stolpmann.de
Creator of GODI and camlc= ity.org.
Contact details: =A0 =A0 =A0 =A0http://www.camlcity.org/contact.html
Company homepage: =A0 =A0 =A0 http://www.gerd-stolpmann.de
------------------------------------------------------------<= /span>

--0016e6d7e87e075cac04c7cd4d8b--