Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Jun Furuse <jun.furuse@gmail.com>
To: Anthony Tavener <anthony.tavener@gmail.com>
Cc: caml-list <caml-list@inria.fr>, Gerd Stolpmann <info@gerd-stolpmann.de>
Subject: Re: [Caml-list] What is the meaning behind the "labl" prefix?
Date: Wed, 22 Aug 2012 22:33:52 +0800	[thread overview]
Message-ID: <CAAoLEWvz=6X0sqQ+u5MCLXvgTpNFd0fg4gsAZi1-rEEYZQ5GAw@mail.gmail.com> (raw)
In-Reply-To: <CAN=ouMQHhLtQYe=-+X5kj1aWHsoMROXwaU45yBFfcHz3EoYKMA@mail.gmail.com>

[-- Attachment #1: Type: text/plain, Size: 1775 bytes --]

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" <anthony.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 Stolpmann <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 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<http://www.camlcity.org/contact.html>
>> Company homepage:       http://www.gerd-stolpmann.de
>> ------------------------------**------------------------------
>
>
>

[-- Attachment #2: Type: text/html, Size: 2858 bytes --]

  reply	other threads:[~2012-08-22 14:34 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-08-21 21:10 Anthony Tavener
2012-08-21 21:13 ` Raoul Duke
2012-08-21 21:19 ` AW: " Gerd Stolpmann
2012-08-21 21:28   ` Anthony Tavener
2012-08-22 14:33     ` Jun Furuse [this message]
2012-08-22 15:45       ` Anthony Tavener
2012-08-22 16:11         ` Adrien

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAAoLEWvz=6X0sqQ+u5MCLXvgTpNFd0fg4gsAZi1-rEEYZQ5GAw@mail.gmail.com' \
    --to=jun.furuse@gmail.com \
    --cc=anthony.tavener@gmail.com \
    --cc=caml-list@inria.fr \
    --cc=info@gerd-stolpmann.de \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox