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