From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: Anthony Tavener <anthony.tavener@gmail.com>
Cc: caml-list@inria.fr
Subject: AW: [Caml-list] What is the meaning behind the "labl" prefix?
Date: Tue, 21 Aug 2012 23:19:34 +0200 [thread overview]
Message-ID: <1345583974.2210.8@samsung> (raw)
In-Reply-To: <CAN=ouMSke_VBs3MHf6M_EC_aqw1pS3srhDG9qabJ+-rQZ3P+mQ@mail.gmail.com> (from anthony.tavener@gmail.com on Tue Aug 21 23:10:56 2012)
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
------------------------------------------------------------
next prev parent reply other threads:[~2012-08-21 21:19 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 ` Gerd Stolpmann [this message]
2012-08-21 21:28 ` Anthony Tavener
2012-08-22 14:33 ` Jun Furuse
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=1345583974.2210.8@samsung \
--to=info@gerd-stolpmann.de \
--cc=anthony.tavener@gmail.com \
--cc=caml-list@inria.fr \
/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