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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 9F20A7ED7A for ; Wed, 22 Aug 2012 17:45:21 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anthony.tavener@gmail.com) identity=pra; client-ip=74.125.82.52; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="anthony.tavener@gmail.com"; x-sender="anthony.tavener@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of anthony.tavener@gmail.com designates 74.125.82.52 as permitted sender) identity=mailfrom; client-ip=74.125.82.52; receiver=mail4-smtp-sop.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 (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f52.google.com) identity=helo; client-ip=74.125.82.52; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="anthony.tavener@gmail.com"; x-sender="postmaster@mail-wg0-f52.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtUBAIX9NFBKfVI0jWdsb2JhbABFsXOITggiAQEBAQkJCwkSBiOCIAEBAQMBEgIsARsdAQMBCwYFCw0uIQEBEQEFARwGEwkLDodbAQMGBguaIgkDjCKCcoVVChknDVeIcQEFDIoZYxSHCAOIT4swgVOBFIl5gyk+gk2BVIE5 X-IronPort-AV: E=Sophos;i="4.77,808,1336341600"; d="scan'208";a="153600429" Received: from mail-wg0-f52.google.com ([74.125.82.52]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Aug 2012 17:45:20 +0200 Received: by wgbfg15 with SMTP id fg15so896756wgb.9 for ; Wed, 22 Aug 2012 08:45:20 -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=pP3sZumBEIycsK5Hy2voTkZvYIcrkeqre3mKJcAJKOc=; b=0ywp3mPxwy+HViJNIagarrWaRGgkAgLKd13G/pEAf6k3aPT3Gb6pqJkh5S1Vrr/EQ5 sAqNlqDos7j02mnMy04zy6bV4Mi80487yt1/+BhJv2DyLXYyeVR9nVmYQo2i6B9TsoWZ wsU2xoSI+OOX1WhCItw9GwseMPUUHRyWk7PucVNI0CTb02ViIzJ5NMZH5FgXRZnFgiYI E923hI46nd6WBVDQO6LUbVnbaz+zDoBAZ10srXitYHgTXN2nEF43xWdIybSG7dejWGiP +vDcTZ7Sv2/7OSftaDqgu7RfbEVPicERzn/SiEDZT2FH2+HQqWZ8TELe5Q5f3z13tthe fJRw== MIME-Version: 1.0 Received: by 10.180.86.106 with SMTP id o10mr6819712wiz.22.1345650320535; Wed, 22 Aug 2012 08:45:20 -0700 (PDT) Received: by 10.223.3.1 with HTTP; Wed, 22 Aug 2012 08:45:20 -0700 (PDT) In-Reply-To: References: <1345583974.2210.8@samsung> Date: Wed, 22 Aug 2012 09:45:20 -0600 Message-ID: From: Anthony Tavener To: Jun Furuse Cc: caml-list Content-Type: multipart/alternative; boundary=f46d0418275258f04004c7dca139 Subject: Re: [Caml-list] What is the meaning behind the "labl" prefix? --f46d0418275258f04004c7dca139 Content-Type: text/plain; charset=ISO-8859-1 That's a very sensible naming. Then evolution takes hold. ;) Thanks for the history! On Wed, Aug 22, 2012 at 8:33 AM, Jun Furuse wrote: > 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 >>> ------------------------------**------------------------------ >> >> >> --f46d0418275258f04004c7dca139 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable That's a very sensible naming. Then evolution takes hold. ;) Thanks for= the history!

On Wed, Aug 22, 2012 at 8:3= 3 AM, Jun Furuse <jun.furuse@gmail.com> wrote:

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 communit= y. Not a joke. The real silly part is that the implmentation was lost due t= o 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>


--f46d0418275258f04004c7dca139--