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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id F2C457EE49 for ; Thu, 19 Sep 2013 05:14:01 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of krismicinski@gmail.com) identity=pra; client-ip=209.85.214.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="krismicinski@gmail.com"; x-sender="krismicinski@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of krismicinski@gmail.com designates 209.85.214.172 as permitted sender) identity=mailfrom; client-ip=209.85.214.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="krismicinski@gmail.com"; x-sender="krismicinski@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f172.google.com) identity=helo; client-ip=209.85.214.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="krismicinski@gmail.com"; x-sender="postmaster@mail-ob0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvACABxrOlLRVdaslGdsb2JhbABagz9SwS2BGggWDgEBAQEHCwsJEiqCJgEFQAEUBxILAQMMBgUEAwQ7IgERAQUBHBkIh2gBAw+cKIxRgweEDwoZJw1kiHgBBQyOEoFJBxaECAOXe5ALGCmEaCCBNQ X-IPAS-Result: AvACABxrOlLRVdaslGdsb2JhbABagz9SwS2BGggWDgEBAQEHCwsJEiqCJgEFQAEUBxILAQMMBgUEAwQ7IgERAQUBHBkIh2gBAw+cKIxRgweEDwoZJw1kiHgBBQyOEoFJBxaECAOXe5ALGCmEaCCBNQ X-IronPort-AV: E=Sophos;i="4.90,934,1371074400"; d="scan'208";a="27334353" Received: from mail-ob0-f172.google.com ([209.85.214.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Sep 2013 05:14:01 +0200 Received: by mail-ob0-f172.google.com with SMTP id gq1so9174587obb.31 for ; Wed, 18 Sep 2013 20:13:59 -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=6l3OUxLiyCv+qiWUeQsOTrdSvMnhrR6OxDYkfap1c9M=; b=tTrKdXvSr68DEeDmqy3W4rsanz5p4q2WI4ULL4L8mMaJ7kn6mAGH64LUristakD5Vg 6OiegrSdAAf1aek8wJOofxHwz7l+X7yF2ar+2BcuCdG/Q3oT9zOhlmeNb+Nf2Nr1nsSX 4TIc0/BOxd96hijQ7UXZqd+Cjg4cbWY51qmbMchW3P+o9CY7ReBKRdxhA85m7I6zu/1o Ix7NbCIRVmI25HMPJ6QRKWVYZwQCQgD0namRCr71O/XFz08lQQzKK4KaGYdT9xo1lNhD 0hrJ7ljKDH2y05CHsibfPEerbPRn98j6RRYDeh84yAnaeNn2WxXQ/FOwMeWzGMJIzuKe I28g== MIME-Version: 1.0 X-Received: by 10.182.250.163 with SMTP id zd3mr4333806obc.20.1379560439567; Wed, 18 Sep 2013 20:13:59 -0700 (PDT) Received: by 10.182.96.34 with HTTP; Wed, 18 Sep 2013 20:13:59 -0700 (PDT) In-Reply-To: <036501ceb3e5$bcd7b920$36872b60$@ffconsultancy.com> References: <036501ceb3e5$bcd7b920$36872b60$@ffconsultancy.com> Date: Wed, 18 Sep 2013 23:13:59 -0400 Message-ID: From: Kristopher Micinski To: jon@ffconsultancy.com Cc: Caml List Content-Type: multipart/alternative; boundary=089e01634ec2f2a91f04e6b3f13b Subject: Re: [Caml-list] OCaml on Android --089e01634ec2f2a91f04e6b3f13b Content-Type: text/plain; charset=ISO-8859-1 I have a large amount of Android experience. The basic problem with running OCaml on Android is that pretty much everything (minus a few system services / daemons, for example) runs inside a Dalvik VM. Everything that is a "real app" thus uses the facilities of the SDK to interact with the underlying system. (Various services such as internet can be opened via a raw socket, and are protected via lower level system modifications.) So while it's possible to write pieces of apps in OCaml, I don't think anyone's taken the time to generate wrappers around the Android SDK. I was very skeptical that this could be done efficiently since you'd be jumping through JNI back and forth to bytecode / native code a lot, but I've talked to someone on the Haskell-cafe mailing list (I'll try to dig up the email) of someone who's said the penalty isn't as high as you'd think. Kris On Tue, Sep 17, 2013 at 4:37 PM, Jon Harrop wrote: > ** ** > > What is the status of OCaml on Android? Have any Android apps been written > in OCaml?**** > > ** ** > > -- **** > > Dr Jon Harrop, Flying Frog Consultancy Ltd.**** > > http://www.ffconsultancy.com**** > --089e01634ec2f2a91f04e6b3f13b Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
I have a large amount of Android experience.

The basic problem with running OCaml on Android is that pretty much e= verything (minus a few system services / daemons, for example) runs inside = a Dalvik VM. =A0Everything that is a "real app" thus uses the fac= ilities of the SDK to interact with the underlying system. =A0(Various serv= ices such as internet can be opened via a raw socket, and are protected via= lower level system modifications.)

So while it's possible to write pieces of apps in O= Caml, I don't think anyone's taken the time to generate wrappers ar= ound the Android SDK. =A0I was very skeptical that this could be done effic= iently since you'd be jumping through JNI back and forth to bytecode / = native code a lot, but I've talked to someone on the Haskell-cafe maili= ng list (I'll try to dig up the email) of someone who's said the pe= nalty isn't as high as you'd think.

Kris



On Tue, Sep 17, 2013 at 4:37 PM, Jon = Harrop <jon@ffconsultancy.com> wrote:

=A0

What is the status of OCaml on Android? Have any Android apps been writ= ten in OCaml?

=A0

--

Dr Jon Harrop, Flying Frog Consultancy = Ltd.

http://www.ffconsu= ltancy.com


--089e01634ec2f2a91f04e6b3f13b--