I wrote an article on the new OCaml 4.03 release for LWN.net. It was published last week to subscribers, and is now available for everyone to read. I would warmly recommend subscribing to LWN.net; it's rather cheap (starts at $3.5 a month), and supports what I find to be an excellent source of technical journalism -- mostly about the Linux kernel development, but also the free software and open source community at large.
Writing an article for a general audience takes a fair amount of work, but was a pleasant and interesting experience. I wrote a first draft, then Jake Edge, the editor, asked for many clarifications on things that were not detailed enough, and of course the result ended up being too long and too specialized and we cut a lot of it -- the article originally mentioned the ongoing projects of multicore runtime and modular implicits, which I was sad to see go away.
One thing that was forcefully reminded to me in the process of writing and polishing the article is that the general knowledge about programming languages among the community of programmers. Some things that I'm used to take for granted, such as "type inference", "module system" or "pattern matching", are actually niche ideas. I think that it is a bit sad, and that we could work on that. (Not sure what is the best way, I guess writing blogs and articles and talking at the right conferences.)http://lwn.net/Articles/684128/