The language that I most want to learn in the short term is Ocaml, been seeing a fair few posts about the language showing up in the past year, it seems like th

The language that I most want to learn in the short term is Ocaml, been seeing a fair few posts about the language showing up in the past year, it seems like the community is a good fit for me. MirageOS looks very intersting, and I want to try a language with a strong type system (of the static languages I have only really used C and Java, and Ocaml, Haskell etc seem to be further along the continuum of type systems.) I also would like to learn about compilers and static analysis and Ocaml appears to be quite popular for such projects. I would also like to reacquaint myself with Python, and maybe dabble with some Julia as well. Coq looks pretty intersting as well, but that will probably be late 2015 or 2016. May start playing around with Rust a little as well, they have some intersting ideas that I am curious about. I am also keen to play around with assembler again, my only real usage of assembler was in a Uni paper a few years back and looking at some x86 aseembly from GCC and Clang. Thinking of MSP430 and some ArmV7