There are a couple of implementations for Ocaml on Android but none for SML. So Id like to suggest that you make a port for Android because mobile computing is becoming much more common and mainstream. And also the fact that Android OS is a much more stable target to port to compared to the fragmentation of Linux distros, the exclusivity of hardware costs and availability for OSX and the problems that windows 8 is bringing to user experience. -Brad Cantrell
A few years back, Matvey Soloviev (in CC) managed to get poly/ML running on an android phone. I'm not sure if he ever released anything though...
On 14 October 2013 08:49, Brad Cantrell <monkeyrater at hotmail.com> wrote:
There are a couple of implementations for Ocaml on Android but none for SML. So Id like to suggest that you make a port for Android because mobile computing is becoming much more common and mainstream. And also the fact that Android OS is a much more stable target to port to compared to the fragmentation of Linux distros, the exclusivity of hardware costs and availability for OSX and the problems that windows 8 is bringing to user experience. -Brad Cantrell
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
A while ago I managed to get Poly/ML running (sort of) on my Android phone. It involved running an ARM Debian distribution in a separate partition on the SD card and then using SSH to connect in to it. It was really just to see if it was possible and I eventually deleted the partition and reformatted the card. I'd be interested if someone has an alternative solution.
I'm not exactly clear about the motivation behind the question. The original poster wasn't actually subscribed to the mailing list. The OCAML implementations seem to provide a small console window that allows someone to enter and run OCAML programs. I don't know how useful that would be in general. It might be more useful to be able to create little ML programs. Without a linker it wouldn't be possible to create stand-alone binaries but it might be possible to create scripts.
David
On 14/10/2013 15:58, Aleks Kissinger wrote:
A few years back, Matvey Soloviev (in CC) managed to get poly/ML running on an android phone. I'm not sure if he ever released anything though...
On 14 October 2013 08:49, Brad Cantrell <monkeyrater at hotmail.com> wrote:
There are a couple of implementations for Ocaml on Android but none for SML. So Id like to suggest that you make a port for Android because mobile computing is becoming much more common and mainstream. And also the fact that Android OS is a much more stable target to port to compared to the fragmentation of Linux distros, the exclusivity of hardware costs and availability for OSX and the problems that windows 8 is bringing to user experience. -Brad Cantrell
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Hello,
It involves a bit of work (specifically, (1) you need to remove some POSIX bindings which don't seem to build and (2) as the build scripts were back then, you needed to manually perform the bootstrapping process by, if I recall correctly, cross-compiling the initial compiler on a full-fledged machine, then running it on Android to compile all the ML sources, and finally linking everything up with your cross compiler again), but apart from a couple of issues (I recall the REPL crashing when exceptions fell through to the top level, for one), it seemed to run fairly well in interpreted mode.
I have my files related to building it buried somewhere in the salvaged harddrive of my previous (RIP) laptop. It's a fairly busy time for me at the moment, but I can have a look if I can find them after I'm done with the more pressing of my todos. In the meantime, I strongly suspect that http://twilightro.kafuka.org/~blackhole89/files/poly might be the binary I compiled back then. (Caveat pulsor*)
Best wishes, Matvey
____ * according to miscellaneous sources, this is the accepted Latin verb for "execute" (as in a program)
On 14/10/13 10:58, Aleks Kissinger wrote:
A few years back, Matvey Soloviev (in CC) managed to get poly/ML running on an android phone. I'm not sure if he ever released anything though...
On 14 October 2013 08:49, Brad Cantrell <monkeyrater at hotmail.com> wrote:
There are a couple of implementations for Ocaml on Android but none for SML. So Id like to suggest that you make a port for Android because mobile computing is becoming much more common and mainstream. And also the fact that Android OS is a much more stable target to port to compared to the fragmentation of Linux distros, the exclusivity of hardware costs and availability for OSX and the problems that windows 8 is bringing to user experience. -Brad Cantrell
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
I've built a simple Android app for Poly/ML using a Java console window and a Poly/ML executable built with the native development kit. It can be found on the SourceForge site at http://sourceforge.net/projects/polyml/files/polyml/5.5.1/androidpoly-5.5.1.... I'd be interested in any feedback and also to have some idea how practical it is to run Poly/ML on Android. One of the problems is that Android has a habit of killing processes once they are idle and it is the responsibility of the process to save its data.
Depending on feedback and the number of downloads I may consider putting it on the Android store and perhaps improving it. Of course, if anyone else is interested in working on it the source code is in the SVN repository.
David
-
aleks0＠gmail.com -
blackhole89＠gmail.com -
David.Matthews＠prolingua.co.uk -
monkeyrater＠hotmail.com