From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <anil@recoil.org>
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 A5E3E7EE4A
	for <caml-list@sympa.inria.fr>; Wed, 18 Sep 2013 12:02:11 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  anil@recoil.org) identity=pra; client-ip=89.16.177.154;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="anil@recoil.org"; x-sender="anil@recoil.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  anil@recoil.org) identity=mailfrom; client-ip=89.16.177.154;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="anil@recoil.org"; x-sender="anil@recoil.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@dark.recoil.org) identity=helo;
  client-ip=89.16.177.154;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="anil@recoil.org";
  x-sender="postmaster@dark.recoil.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhEJAPV4OVJZELGa/2dsb2JhbABZgz+uAZN7gS50giUBAQEDAQECNz8QC0YoLwYTh30KCLlgBI80MwcWgwiBAAOVMIJLkXSDJTs
X-IPAS-Result: AhEJAPV4OVJZELGa/2dsb2JhbABZgz+uAZN7gS50giUBAQEDAQECNz8QC0YoLwYTh30KCLlgBI80MwcWgwiBAAOVMIJLkXSDJTs
X-IronPort-AV: E=Sophos;i="4.90,929,1371074400"; 
   d="scan'208";a="27251232"
Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154])
  by mail3-smtp-sop.national.inria.fr with SMTP; 18 Sep 2013 12:02:10 +0200
Received: (qmail 5927 invoked by uid 634); 18 Sep 2013 10:02:09 -0000
X-Spam-Level: *
X-Spam-Check-By: dark.recoil.org
Received: from no-dns-yet.demon.co.uk (HELO [192.168.15.157]) (62.49.66.12)
  (smtp-auth username remote@recoil.org, mechanism cram-md5)
  by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Wed, 18 Sep 2013 11:02:08 +0100
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\))
From: Anil Madhavapeddy <anil@recoil.org>
In-Reply-To: <036501ceb3e5$bcd7b920$36872b60$@ffconsultancy.com>
Date: Wed, 18 Sep 2013 11:02:08 +0100
Cc: "Caml List" <caml-list@inria.fr>
Content-Transfer-Encoding: quoted-printable
Message-Id: <063874FA-1757-4B88-B186-DF8D90584F32@recoil.org>
References: <036501ceb3e5$bcd7b920$36872b60$@ffconsultancy.com>
To: <jon@ffconsultancy.com>
X-Mailer: Apple Mail (2.1508)
X-Virus-Checked: Checked by ClamAV on dark.recoil.org
Subject: Re: [Caml-list] OCaml on Android

On 17 Sep 2013, at 21:37, "Jon Harrop" <jon@ffconsultancy.com> wrote:

>=20=20
> What is the status of OCaml on Android? Have any Android apps been writte=
n in OCaml?

There's a GitHub OPAM repository here:
https://github.com/vouillon/opam-android-repository

and I've just ordered myself my first Android device, as Mirage has just be=
en ported over to it a few days ago in UNIX mode:
https://lists.cam.ac.uk/pipermail/cl-mirage/2013-September/msg00062.html

I haven't tried it myself yet, but intend to once my physical device shows =
up.  Googling reveals a few applications built using it already, but I have=
 no idea how substantial they are.

-anil