From: Alexandre Pilkiewicz <alexandre.pilkiewicz@polytechnique.org>
To: Kristopher Micinski <krismicinski@gmail.com>
Cc: "forum@x9c.fr" <forum@x9c.fr>, Ivan Gotovchits <ivg@ieee.org>,
Jon Harrop <jon@ffconsultancy.com>,
Caml List <caml-list@inria.fr>
Subject: Re: [Caml-list] OCaml on Android
Date: Thu, 19 Sep 2013 12:53:55 -0400 [thread overview]
Message-ID: <CAH2fdNZqUvehaLTXwA4vEpOMu5kEq9P9Au-bqEtLsGMWL0v6FA@mail.gmail.com> (raw)
In-Reply-To: <CAF1Sy-FLg+1n_Y_VHcvFEWXQjLMCZ5vWXn-m8FB6rTiqu2yovg@mail.gmail.com>
[-- Attachment #1: Type: text/plain, Size: 2276 bytes --]
http://gallium.inria.fr/blog/ocaml-on-a-nexus-7/
On Thu, Sep 19, 2013 at 11:18 AM, Kristopher Micinski <
krismicinski@gmail.com> wrote:
>
>
>
> On Thu, Sep 19, 2013 at 2:19 AM, forum@x9c.fr <forum@x9c.fr> wrote:
>
>>
>> Le 19 sept. 2013 à 06:35, Kristopher Micinski a écrit :
>>
>> > With a little bit of hacking it'd probably work, but I'm not sure of
>> the status of ocaml-java and haven't looked into the implementation
>> details. Since ocaml-java outputs class files (afaik) you'd have to sort
>> of hack the android build pipeline yourself, but that wouldn't be the hard
>> part: all the tools are there. The harder part is that the Android SDK is
>> very Java oriented, and it just feels awkward as hell to use in OCaml even
>> if you were to write a thin wrapper around the SDK.
>>
>> In theory, you are right that it wouldn't be hard.
>> In practice, the problem is that OCaml-Java emits classes
>> for Java 1.7 while (to the best of my knowledge) Android
>> only accepts Java 1.6 classes. As far as I know, there is no
>> other pending problem.
>>
>> From this point, the question would be: is it better to wait
>> for Android to update to Java 1.7 (or even 1.8...), or to
>> modify OCaml-Java? Honestly, I would need quite a bit
>> of encouragement to modify OCaml-Java in this direction...
>>
>>
> Yes, that would be a deal breaker. That fell under the technical points
> of ocaml-java with which I wasn't familiar.
>
> Regarding interaction with the classes of the Android SDK,
>> one may be interested in the typer extension allowing to
>> manipulate Java instances from pure OCaml code:
>> http://ocamljava.x9c.fr/preview/javaext.html
>> The main potential problem with this approach is that the
>> extension currently allows only to implement interfaces, but
>> not to extend classes. It may be a problem if for example the
>> event system of Android is based on abstract classes.
>> Another problem may be the "linking", i. e. the way Android
>> expects to execute an application: is it a bare main method,
>> or is there a need to implement/extend a given interface/class?
>>
>
> Yes, it does rely on extending an abstract class. This does, in fact,
> permeate the framework.
>
> kris
>
>
[-- Attachment #2: Type: text/html, Size: 3347 bytes --]
next prev parent reply other threads:[~2013-09-19 16:54 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
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 [this message]
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=CAH2fdNZqUvehaLTXwA4vEpOMu5kEq9P9Au-bqEtLsGMWL0v6FA@mail.gmail.com \
--to=alexandre.pilkiewicz@polytechnique.org \
--cc=caml-list@inria.fr \
--cc=forum@x9c.fr \
--cc=ivg@ieee.org \
--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