At long (way too long) last, I’ve gone back to OCaml and completed enough of the re-re-re-re-rewrite that we can blog again. Comments now work too :).
If you want the gritty details, check out the colophon.
The OCaml Summer Project results came in earlier this week, and my project didn’t made it. Oh well; other opportunities await. However, I do think they’ve selected some excellent projects. The multicore work in particular — deserializing OCaml so that it can take advantage of modern multicore and/or multiprocessor systems will be a significant plus for OCaml development. It will be interesting to see what progress they are able to make. The OCamlWizard project may also produce some interesting results, although I’d be content with working Semantic integration in Tuareg (maybe it can do it already, but I haven’t seen any indication that it can).
I’m presently facing a programming task to work on, and am thinking through which language to work on it in. It’s a simple calendar & address book app, so it needs to work with vCard/iCalendar and network/VFS type things (at least HTTP). It also needs a GUI; preferably GTK+.
Contenders:
I blogged a while ago about finding OCaml, and really liking it. Well, that like has now been intensely increased.
For some time now, I have wanted a debugger that can go backwards. A company called Undo Software has one, UndoDB, that works with GDB. But they charge a decent fee for their product.
I’ve been thinking lately: What would happen if we used OCaml as a language for introductory programming at the collegiate level?
To be sure, it would need some improvement to be suitable for this. For starters, a compiler with more useful error messages (although I have heard that using camlp4 improves error message quality). Also, some good interactive environment, possibly fusing the capabilities of DrScheme and Eclipse, would be most beneficial (I have heard of the existence of a project called DrOcaml; perhaps it has some merit).
For a long time, I’ve liked Python. My interest in it has dwindled some in the last few years, but I still return to it on a somewhat regular basis to get things done. Its relative cleanliness, well-defined and understandable semantics, and mix of paradigms is a pleasant environment.
I also enjoy Scheme and Common Lisp. In particular, Lisp’s macro system and the power of a good interactive environment such as Slime make these languages a joy to work with.