Paolo Donadeo — LifeLOG/Personal consultancy

Installing OPAM 1.1.1 on a CentOS 6.5

p.donadeo@gmail.com (Paolo Donadeo) — Wed, 21 May 2014 23:00:00 +0000

I'm in this situation: I need to compile an OCaml program on a CentOS 6.5 server. This is actually quite problematic, because CentOS 6.5 provide out of the box a very old OCaml 3.11.2, released by INRIA in January 2010, more than four years ago.

No problem, OPAM come to the rescue! No. The OPAM team doesn't provide a binary executable compatible with the (actually very old) system libraries present in CentOS.

Ok, step back: OPAM can be compiled from sources (instructions here) so it's just a matter of minutes. Again: nope. To compile OPAM you need at least OCaml 3.12.1, while in CentOS we have only 3.11.2.

Step back: first compile and install OCaml from sources. This time I say no, because the whole point of OPAM is to get an up and running OCaml environment in a few minutes, which is actually true in most cases.

I decide to install OCaml using GODI, the “old” OCaml source distribution, the one everybody used before OPAM was born. So the fastest steps to have an OPAM and OCaml environment on a CentOS server are:

download and install GODI;
clone the OPAM repository, compile and install it; it will find a “system” compiler provided by GODI;
$ opam switch 4.01.0 will recompile a new environment;
$ opam switch remove system to delete the “system” environment;
$ rm -Rf ~/godi.

No root access is required in this process, I usually install OPAM in ~/opam, and GODI in ~/godi.

There is an irony in all this story: GODI has been the OCaml source distribution for years, and the coming of OPAM, which is actually newer and has some important features missing in GODI, has produced many frictions in the OCaml community, that in the end caused the shut down of GODI.

The moral part here is: embrace the new things, but don't be too impatient in throwing out the window the precious work that, in the end, still works.

In any case, I want to thank both Gerd Stolpmann (author of GODI) and the OPAM team: they gave to the OCaml community a mature, industrial grade, set of tools to use OCaml.

Debugging memory in OCaml: any advice?

p.donadeo@gmail.com (Paolo Donadeo) — Mon, 27 Feb 2012 23:37:00 +0000

A server I just deployed (written in OCaml, of course) seems to eat RAM at breakfast. This is the chart of the RSS field of "ps" in the past 24h (click to enlarge). The program starts with almost 6 Mb and is now reaching 40 Mb, in a linear trend that has nothing good to say.

Any advice on how to debug the memory consumption?

Words of wisdom…

p.donadeo@gmail.com (Paolo Donadeo) — Tue, 27 Sep 2011 17:00:00 +0000

…from Edsger Dijkstra: “Program testing can be used to show the presence of bugs, but never to show their absence!”

Segnalazione… pubblicitaria

p.donadeo@gmail.com (Paolo Donadeo) — Sun, 06 Mar 2011 23:57:00 +0000

Brevissimo post per segnalarvi la nascita di un nuovo fantastico blog, cui tengo molto visto che racconterà storie interessanti (si spera) che riguardano una piccola realtà italiana, lo Studio Associato 4Sigma.

Il fatto che incidentalmente io sia uno dei soci dello studio non vi tragga in inganno: il mio giudizio sul nuovo blog è del tutto disinteressato ;-)

Di cosa tratterà? A dire la verità non lo so ancora, per adesso direi che parleremo di tutto quello che possiamo ritenere interessante su due fronti, almeno: la gestione ed i problemi che affronta una piccola realtà che vuole fare della qualità (in Italia!) la propria bandiera e qualche argomento più prettamente tecnico, ispirato dalle quotidiane battaglie con la tecnologia informatica.

Non disdegneremo anche qualche aneddoto divertente nel rapporto di amore/odio con i clienti e, soprattutto, le critiche ai cosiddetti professionisti dell'ambiente. Che spesso si rivelano degli autentici truffatori.

Incubo PHP

p.donadeo@gmail.com (Paolo Donadeo) — Thu, 25 Nov 2010 20:10:00 +0000

Sto facendo la manutenzione di un vecchio sito che avevamo scritto in PHP.

Avevo pessimi ricordi di PHP, ma non mi ricordavo più quanto fosse un incubo programmare in questo, chiamiamolo così, linguaggio.

Disgustoso!

OCaml per programmatori Python

p.donadeo@gmail.com (Paolo Donadeo) — Sun, 22 Aug 2010 22:08:00 +0000

Sorry for English speaking people, but this post makes sense only for Italians, so it's in Italian :-)

Qualche mese fa, precisamente a fine Febbraio, mi è stato chiesto di presentare in un breve workshop il linguaggio Objective Caml che, manco a dirlo, è il mio linguaggio di programmazione preferito. Mi ero riproposto di scrivere qualcosa in merito, ma una serie di problemi me lo ha impedito, così colmo con qualche mese di ritardo la lacuna.

L'invito mi è arrivato da Develer, un'azienda con sede vicino Firenze molto attenta alla formazione ed alle novità nel mondo delle tecnologie informatiche. In questo caso la novità non sta tanto nel linguaggio OCaml, che ha ormai 14 anni, quanto nel volersi avvicinare alla programmazione funzionale con uno sguardo pragmatico.

Develer è poi l'azienda che contribuisce in maniera sostanziale alla realizzazione del PyCon Italia, una splendida manifestazione che è un unicum nel panorama culturale italiano, e non solo per i programmatori appassionati di Python, ma per tutti gli sviluppatori e smanettoni sufficientemente smart da non ignorare Python.

Il background culturale legato a Python e l'assoluto digiuno di programmazione funzionale hanno portato ad un workshop in cui ho cercato di mostrare alcuni dei concetti della FP, utilizzando OCaml, e spiegandone nel contempo la sintassi in estrema sintesi, mostrando qualche parallelo con Python.

Non so se il risultato sia stato positivo per Develer, perché da un lato non sono un vero esperto OCaml, e dall'altro ho dovuto (voluto?) concentrare in poco tempo una serie di concetti non banali, per cui forse non è stato facile per i presenti seguire il discorso. Comunque sia, nessuno mi ha tirato pomodori :-)

Per il workshop ho ovviamente preparato una piccola presentazione che potete scaricare in formato PDF, sperando possa essere utile a qualcuno, non fosse altro per l'elenco di link a risorse relative ad OCaml. La presentazione è distribuita con licenza Creative Commons (Attribuzione, condividi allo stesso modo), il che vuol dire che se siete così matti da copiarne dei pezzi, almeno ricordatevi di citarmi tra gli autori.

Google Android

p.donadeo@gmail.com (Paolo Donadeo) — Sat, 17 Jul 2010 12:13:00 +0000

First of all Google decided to bind its brand new and "revolutionary" operating system to an old pile of crap like Java.

Then the Big G decided to enlighten us with App inventor, nothing more than a toy for kids.

As a consequence of this policy, aimed to entice smart people, someone decided to write PFA, PHP for Android, doubtless an excellent idea.

My question now is: what's next? Maybe COBOL?