Semantic patching with Coccinelle
Posted Jan 20, 2009 22:41 UTC (Tue) by Thue
Parent article: Semantic patching with Coccinelle
it is written in OCaml, so the potential developer base is somewhat limited
Every programmer should learn to write ML or another functional language (OCaml is an object-oriented version of ML). It is the first language taught at the Department of Computer Science at University of Copenhagen, so there is at least some people who know it.
For some kinds of programs ML code is 1/3 the size of an equivalent imperative program, as well as more readable and easier to verify for correctness. ML has excellent compile time checking; If your ML program compiles it will usually also run correctly.
Many of the computer science students who learn ML keeps it as their favorite language. In my experience it is especially the best students who 'gets it' and likes ML.
to post comments)