post on dh-ocaml paper
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 28 Nov 2009 11:34:48 +0000 (12:34 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 28 Nov 2009 11:36:15 +0000 (12:36 +0100)
blog/posts/2009/11/Enforcing_type-safe_linking_using_package_dependencies.mdwn [new file with mode: 0644]

diff --git a/blog/posts/2009/11/Enforcing_type-safe_linking_using_package_dependencies.mdwn b/blog/posts/2009/11/Enforcing_type-safe_linking_using_package_dependencies.mdwn
new file mode 100644 (file)
index 0000000..93f2432
--- /dev/null
@@ -0,0 +1,37 @@
+# Eclectic paper: dh-ocaml
+
+In my day job as a researcher, I mostly
+[[publish papers|research/publications]] along the lines of my main research
+interests (theorem proving, web technologies, formal methods applied to
+software engineering, ...). Some time though, I just come up to some **eclectic
+idea**, not strictly related to my job, that I feel like cooking up as a paper
+to be reviewed by some scientific venue.
+
+It happened some weeks ago with
+[**dh-ocaml**](http://packages.debian.org/sid/dh-ocaml), the package
+implementing the **new dependency scheme for OCaml-related packages** in
+Debian. It took us (as in
+[Debian OCaml maintainers](http://wiki.debian.org/Teams/OCamlTaskForce))
+several years to get it right and satisfactory for maintainers, users, release
+team, etc.
+
+The problem which dh-ocaml addresses is that, differently than C and other
+system-level languages, **OCaml breaks ABI compatibility very often**, due to
+the need of ensuring type safety across different libraries at link time. Other
+similar strongly typed languages, such as Haskell, behave similarly. This is at
+odds with the implicit assumption of forward-compatibility (unless otherwise
+"stated", e.g. with soname changes) that is relied upon by versioned
+dependencies in distributions like Debian.
+
+This discussion, the analysis of possible solutions, and the description of the
+solution we have actually implemented in dh-ocaml (called **ABI
+approximation**) turned out to be interesting for the French functional
+programming academic community: the
+[[**paper on dh-ocaml**|research/publications/jfla10-dh-ocaml.pdf]] has been
+accepted at forthcoming [JFLA 2010](http://jfla.inria.fr/2010/).
+
+It is no rocket science :-) , but people maintaining programs and libraries
+written in languages with concerns similar to OCaml's (e.g. Haskell, hello
+[nomeata](http://www.joachim-breitner.de/blog/)) might want to have a look.
+
+[[!tag lang/english planet/debian debian academia paper ocaml]]