caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Ivan Gotovchits <ivg@ieee.org>
To: Kristopher Micinski <krismicinski@gmail.com>
Cc: jon@ffconsultancy.com,  Caml List <caml-list@inria.fr>
Subject: Re: [Caml-list] OCaml on Android
Date: Thu, 19 Sep 2013 07:35:31 +0400	[thread overview]
Message-ID: <87bo3pqy9o.fsf@golf.niidar.ru> (raw)
In-Reply-To: <CAF1Sy-EqZ7-z9V=LyssUVuSgMA7XQjvROLp9Rcgso0WOWHo2Ww@mail.gmail.com> (Kristopher Micinski's message of "Wed, 18 Sep 2013 23:13:59 -0400")

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.  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.)

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

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

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

  reply	other threads:[~2013-09-19  3:35 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-09-17 20:37 Jon Harrop
2013-09-18 10:02 ` Anil Madhavapeddy
2013-09-18 10:06   ` Paolo Donadeo
2013-09-18 10:06 ` Thomas Sibut-Pinote
2013-09-19  3:13 ` Kristopher Micinski
2013-09-19  3:35   ` Ivan Gotovchits [this message]
2013-09-19  4:35     ` Kristopher Micinski
2013-09-19  6:19       ` forum
2013-09-19 15:18         ` Kristopher Micinski
2013-09-19 16:53           ` Alexandre Pilkiewicz
2013-09-19 20:57             ` Kristopher Micinski
2013-09-19 23:14               ` Jon Harrop
2013-09-20  6:20           ` forum
2013-09-19 12:46 ` Richard Mortier
2013-09-20  6:17   ` forum
  -- strict thread matches above, loose matches on Subject: below --
2012-01-13  6:05 Mihamina Rakotomandimby
2012-01-16  7:39 ` Andrej Bauer
2012-01-16  8:59 ` Kakadu

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=87bo3pqy9o.fsf@golf.niidar.ru \
    --to=ivg@ieee.org \
    --cc=caml-list@inria.fr \
    --cc=jon@ffconsultancy.com \
    --cc=krismicinski@gmail.com \
    /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;
as well as URLs for NNTP newsgroup(s).