Some articles and links related to programming. The programs I wrote are under /software/ , with things targeted at Ocaml developers are under /software/ocaml/ .
I've been doing functional programming (FP) for about twelve years now, first with Scheme, and then with Ocaml, professionally for nearly three years now. I'm a big fan of FP and a big fan of static typing. So I have no prejudice against FP languages and I have tried many FP languages over the years, including, of course, Haskell.
Universal types do not serialize properly using serialization libraries such as Sexplib. A property list, for instance, needs to take serializers and deserializers each time a property name is created. Here is an example implementation.
The TIOBE index ranks programming languages. It claims to be based "on the world-wide availability of skilled engineers, courses and third party vendors". But how can they reliably and automatically mine such infomration using just search engine results?
The practical performance of a program is not just a technical detail but a crucial component of its correctness. Therefore, programming languages that make reasoning about the asymptotic performance of a program too difficult, unfeasible or depending on compiler specifics are dangerous.
The Objective Caml programming language. One of the better programming languages in this world.
A place for the Ocaml community.
Essentially a nice wiki (written in Ocaml) including how-tos, etc.
(MzScheme or DrScheme) is a good Scheme implementation, which includes a nice module system, a fine cross-platform GUI and a statically typed variant.
Of course I have to link to the big Lambda-site.