From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ivg@ieee.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 479277EE49
	for <caml-list@sympa.inria.fr>; Thu, 19 Sep 2013 05:35:40 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  ivg@ieee.org) identity=pra; client-ip=209.85.217.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  ivg@ieee.org designates 209.85.217.176 as permitted sender)
  identity=mailfrom; client-ip=209.85.217.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org";
  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-lb0-f176.google.com) identity=helo;
  client-ip=209.85.217.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ivg@ieee.org";
  x-sender="postmaster@mail-lb0-f176.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Av0CAANwOlLRVdmwlWdsb2JhbABbgz+DNUe+A4EiFg4BAQEBBw0JCRIqgiUBAQQBI1YFCwsODAIFIQICDwEEDRMBBQEiE4dxAwkGBJwmjACIMQ2JYoEpi1KCbAeCaYE1A4kyjGCBaYEvixIDg0dBhFE
X-IPAS-Result: Av0CAANwOlLRVdmwlWdsb2JhbABbgz+DNUe+A4EiFg4BAQEBBw0JCRIqgiUBAQQBI1YFCwsODAIFIQICDwEEDRMBBQEiE4dxAwkGBJwmjACIMQ2JYoEpi1KCbAeCaYE1A4kyjGCBaYEvixIDg0dBhFE
X-IronPort-AV: E=Sophos;i="4.90,934,1371074400"; 
   d="scan'208";a="27335309"
Received: from mail-lb0-f176.google.com ([209.85.217.176])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Sep 2013 05:35:39 +0200
Received: by mail-lb0-f176.google.com with SMTP id y6so7245120lbh.7
        for <caml-list@inria.fr>; Wed, 18 Sep 2013 20:35:38 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to
         :message-id:user-agent:mime-version:content-type
         :content-transfer-encoding;
        bh=FjmqoCl8Djtr69G3k8U3FrytwxjfT+cc/eZSKVuE+Ic=;
        b=GVlkCtLwWrU4JbGAkmnTVKObTYM7yVXLGW3RsWJRPApwpYy2Ds6P5P7nXGhpMIOt3r
         ZGZwy3accbAFSyVFAFRkuGFw49oAHhqR1+YJHvuRwJXop+/vp1xb+j1fxWqo0RQjvQ7E
         GaCMhw/KsjxkNQ3LSc8tQr5Poc+D0H99ZMqmY3+nSS9wEOlX1tNAlckyX5X/FTZlbgBa
         s/SU9gGAbgAqs5uqROPJxqcmSceqiFQi9I0y+CTwb7a2EQlzqCmXKJuCQM4pyJkNKzP9
         8Iqn9gaGnv5FbuQ/GacCxdBr9a1KqQ3RDujy0iMq+DThbqKomR0lSOUrAvFdPGPFport
         Y6qA==
X-Gm-Message-State: ALoCoQkt6QvseDrMtirTdCfDraLQAZ+eib2fIKjxIofg6IEVADBB31j03NR4Fl7ccUfY3lmNGPFK
X-Received: by 10.112.145.37 with SMTP id sr5mr66959lbb.59.1379561738453;
        Wed, 18 Sep 2013 20:35:38 -0700 (PDT)
Received: from golf.niidar.ru.niidar.ru ([109.188.127.89])
        by mx.google.com with ESMTPSA id mr1sm1144990lbc.16.1969.12.31.16.00.00
        (version=TLSv1.1 cipher=RC4-SHA bits=128/128);
        Wed, 18 Sep 2013 20:35:38 -0700 (PDT)
From: Ivan Gotovchits <ivg@ieee.org>
To: Kristopher Micinski <krismicinski@gmail.com>
Cc: jon@ffconsultancy.com,  Caml List <caml-list@inria.fr>
References: <036501ceb3e5$bcd7b920$36872b60$@ffconsultancy.com>
	<CAF1Sy-EqZ7-z9V=LyssUVuSgMA7XQjvROLp9Rcgso0WOWHo2Ww@mail.gmail.com>
Date: Thu, 19 Sep 2013 07:35:31 +0400
In-Reply-To: <CAF1Sy-EqZ7-z9V=LyssUVuSgMA7XQjvROLp9Rcgso0WOWHo2Ww@mail.gmail.com>
	(Kristopher Micinski's message of "Wed, 18 Sep 2013 23:13:59 -0400")
Message-ID: <87bo3pqy9o.fsf@golf.niidar.ru>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Caml-list] OCaml on Android

Kristopher Micinski <krismicinski@gmail.com> writes:

> 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. =C2=A0Everything that is a "real app" thus uses the
> facilities of the SDK to interact with the underlying
> system. =C2=A0(Various services such as internet can be opened via a raw
> socket, and are protected via lower level system modifications.)

And what about OCaml-Java [1]. Will it be possible to use it with
dalvik?

[1] http://ocamljava.x9c.fr/preview/

--=20
         (__)=20
         (oo)=20
   /------\/=20
  / |    ||=20=20=20
 *  /\---/\=20
    ~~   ~~=20=20=20
...."Have you mooed today?"...