No. Maemeque interface on Android is NOT the way to go. I don't want a crippled OS. The way to go is to run a real Linux distro (e.g. Debian/Gentoo) on some device. Need Haskell? Apt-get it. Need OCaml? Need Brain****? Need a fully fledged source code editor or a modern CAS? It's there for you to install (Debian) or compile from source (Gentoo)