From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jon@ffconsultancy.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id D2B467EE25
	for <caml-list@sympa.inria.fr>; Wed, 13 Nov 2013 20:00:49 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  jon@ffconsultancy.com) identity=pra; client-ip=84.93.230.227;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jon@ffconsultancy.com";
  x-sender="jon@ffconsultancy.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  jon@ffconsultancy.com) identity=mailfrom;
  client-ip=84.93.230.227;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jon@ffconsultancy.com";
  x-sender="jon@ffconsultancy.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@avasout01.plus.net) identity=helo;
  client-ip=84.93.230.227;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jon@ffconsultancy.com";
  x-sender="postmaster@avasout01.plus.net";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ArIGAIjLg1JUXebjlWdsb2JhbABZhwe8MAQCgScWDgEBAQEHDQkJEiqCJQEBBQgCGWMDAgkYAgImAgIZIxsCBB4Fh3WtXJJLgSmNKoETFoJVgUYDjxyeJw
X-IPAS-Result: ArIGAIjLg1JUXebjlWdsb2JhbABZhwe8MAQCgScWDgEBAQEHDQkJEiqCJQEBBQgCGWMDAgkYAgImAgIZIxsCBB4Fh3WtXJJLgSmNKoETFoJVgUYDjxyeJw
X-IronPort-AV: E=Sophos;i="4.93,693,1378850400"; 
   d="scan'208";a="35383240"
Received: from avasout01.plus.net ([84.93.230.227])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 13 Nov 2013 20:00:49 +0100
Received: from XPS ([91.125.195.171])
	by avasout01 with smtp
	id p70m1m0043iMGYT0170ndC; Wed, 13 Nov 2013 19:00:48 +0000
X-CM-Score: 0.00
X-CNFS-Analysis: v=2.1 cv=IvYnLtPg c=1 sm=1 tr=0
 a=a6U91l+GGD6YS1JHlKv6lg==:117 a=a6U91l+GGD6YS1JHlKv6lg==:17 a=0Bzu9jTXAAAA:8
 a=dlN-Lro554sA:10 a=Xub9RBUEA-sA:10 a=Kvk-SOs2Z7YA:10 a=IkcTkHD0fZMA:10
 a=r2vSxAw-AAAA:8 a=0zY9ZKiRTjIA:10 a=oJIsmtAjA77vnuJTZrYA:9 a=QEXdDO2ut3YA:10
 a=BhVBKn_70rIA:10 a=VPtSngkC5FEA:10
X-AUTH: jdh302:2500
Reply-To: <jon@ffconsultancy.com>
From: "Jon Harrop" <jon@ffconsultancy.com>
To: <caml-list@inria.fr>
References: <d7f9f3fb65cc0c93ba87569464c80910@whitequark.org> <010801cedc66$0425bcc0$0c713640$@ffconsultancy.com> <14f25a35d63f2b6ce6185d86dc66d2bd@whitequark.org> <012101cedc76$1665b920$43312b60$@ffconsultancy.com> <CAHaHOqSGEA4=5R2BLs4U66dq66eUuVDcXU2dtmn=dAMuh2R-Rg@mail.gmail.com> <f2b4398d78be424e036e7fc34fe1ccf0@whitequark.org>
In-Reply-To: <f2b4398d78be424e036e7fc34fe1ccf0@whitequark.org>
Date: Wed, 13 Nov 2013 19:00:48 -0000
Organization: Flying Frog Consultancy Ltd.
Message-ID: <01f601cee0a2$aae0b520$00a21f60$@ffconsultancy.com>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="utf-8"
Content-Transfer-Encoding: quoted-printable
X-Mailer: Microsoft Outlook 14.0
Thread-Index: AQGgoxwJKhkD3bR9IPQyJdy8fT65mAH+4tiRAjHDqEEDYSEOrQHXezodArzH6bOaHs4jcA==
Content-Language: en-gb
Subject: RE: [Caml-list] LLVM OCaml bindings

Jeff Meister wrote:
> If I have=20
> to give up static type safety to work with LLVM in OCaml, then I might=20
> as well not use OCaml on that project.

Peter Zotov wrote:
> Speed? :)

I use OCaml+LLVM for the algebraic data types, pattern matching, functional=
 programming and so on. Type safety of the bindings is way down on the list=
 for me.

Cheers,
Jon.