Ocaml is simple, expressive and fast. While it suffers in terms of libaries and community support it makes a good systems language and is fantastic for expressi

Ocaml is simple, expressive and fast. While it suffers in terms of libaries and community support it makes a good systems language and is fantastic for expressing complex algorithms and data structures. If that doesn't interest you, try some of these: http://anil.recoil.org/papers/2010-hotcloud-lamp.pdf http://anil.recoil.org/papers/2010-hotcloud-lamp.pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.64.1016&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.64.... http://perso.eleves.bretagne.ens-cachan.fr/~dagand/opis/opis_presentation.pdf http://perso.eleves.bretagne.ens-cachan.fr/~dagand/opis/opis... http://linkinghub.elsevier.com/retrieve/pii/S0167642306000712 http://linkinghub.elsevier.com/retrieve/pii/S016764230600071... http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.156.7722&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.156...