From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id ABC407ED7A for ; Wed, 22 Aug 2012 16:34:25 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jun.furuse@gmail.com) identity=pra; client-ip=209.85.212.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="jun.furuse@gmail.com"; x-sender="jun.furuse@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of jun.furuse@gmail.com designates 209.85.212.54 as permitted sender) identity=mailfrom; client-ip=209.85.212.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="jun.furuse@gmail.com"; x-sender="jun.furuse@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vb0-f54.google.com) identity=helo; client-ip=209.85.212.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="jun.furuse@gmail.com"; x-sender="postmaster@mail-vb0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtUBALrtNFDRVdQ2k2dsb2JhbABFsXKITggiAQEBAQkJCwkUBCOCIAEBAQMBEgIsARsdAQMBCwYFBAc7IQEBEQEFARwGEwkLDodbAQMGBguaKQkDjCKCcoVOChknDVeIcQEFDIoZYxSHCAOITYsygVOBFIl5gyk+gk2BQoFL X-IronPort-AV: E=Sophos;i="4.77,808,1336341600"; d="scan'208";a="153592799" Received: from mail-vb0-f54.google.com ([209.85.212.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Aug 2012 16:33:54 +0200 Received: by vbmv11 with SMTP id v11so1962192vbm.27 for ; Wed, 22 Aug 2012 07:33:52 -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=Ghlf496H2wQV2uyMAV77FGnjwrX+PNOGuy9XvKqbtXY=; b=macFGPDWg1dc6VZ4b6TlTG9fUKBr9Vg+Orm/wdkPESIVVvVSkUlSGw0ZMGNGtCI8Oo 1OmmtpYfR2q84Fa74P6QO7tm/bEKuiq0SVwuHZhx1npsbea0ZzfY+WGnyXO0iuEx5aPM L+9iybLJycSS2cNHNYd3k/ZGHCqsOh/ZAHR88xE34Um/v8Q4Oo8axx4fkOAITqJBZ1NC 4CQHVrW241IMYRO2DFTiIeZ4IdFWXrjUBTrqCo+hShjGKj0zeYix4XszqRlBoCCPUFD+ OTX7pwxYEfqxI/uDtfzOseir+I7uhUO0A6x7YguxkUKTqRwi7CFmN2uXbx62q3ZO08QF iCcg== MIME-Version: 1.0 Received: by 10.52.67.143 with SMTP id n15mr6283085vdt.34.1345646032389; Wed, 22 Aug 2012 07:33:52 -0700 (PDT) Received: by 10.58.151.74 with HTTP; Wed, 22 Aug 2012 07:33:52 -0700 (PDT) Received: by 10.58.151.74 with HTTP; Wed, 22 Aug 2012 07:33:52 -0700 (PDT) In-Reply-To: References: <1345583974.2210.8@samsung> Date: Wed, 22 Aug 2012 22:33:52 +0800 Message-ID: From: Jun Furuse To: Anthony Tavener Cc: caml-list , Gerd Stolpmann Content-Type: multipart/alternative; boundary=20cf307f334ec1080604c7dba14f Subject: Re: [Caml-list] What is the meaning behind the "labl" prefix? --20cf307f334ec1080604c7dba14f Content-Type: text/plain; charset=ISO-8859-1 The first "labl" implmentation was done by me, labl-light, an extnsion of caml-light with labeled argumnts for my master thesis. I named it labl with serious respct to Caml community. Not a joke. The real silly part is that the implmentation was lost due to a hard driv crash. Jun Furus On Aug 22, 2012 5:28 AM, "Anthony Tavener" wrote: > 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 >> ------------------------------**------------------------------ > > > --20cf307f334ec1080604c7dba14f Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

The first "labl" implmentation was done by me, labl-light, an = extnsion of caml-light with labeled argumnts for my master thesis. I named = it labl with serious respct to Caml community. Not a joke. The real silly p= art is that the implmentation was lost due to a hard driv crash.

Jun Furus

On Aug 22, 2012 5:28 AM, "Anthony Tavener&q= uot; <ant= hony.tavener@gmail.com> wrote:
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.<= font color=3D"#888888">
--
------------------------------------------------------------
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>

--20cf307f334ec1080604c7dba14f--