Conversione in OCaml della libreria ocaml-gi-gtk

L’utilizzo in larga scala della libreria grafica GTK implementata in C ha forzato gli sviluppatori della stessa a rendere semplice la creazione di binding ad essa con linguaggi di alto livello. Esistono due tipi di binding: manuale e automatico. Il binding automatico permette di svincolarsi dalle modifiche che vengono effettuate a GTK, rendendo il processo di binding più robusto. OCaml, linguaggio di programmazione emergente e multi-paradigma, non possiede una libreria di binding automatici per GTK scritta in OCaml, ma una libreria scritta in Haskell chiamata ocaml-gi-gtk e sviluppata all’interno dell’Università di Bologna. Questo progetto ha lo scopo di convertire in OCaml questa libreria, in modo che possa essere addottata dalla community del linguaggio. È spesso infatti presente una sorta di tendenza all’autarchia nel mondo dei linguaggi di programmazione, che rende riluttanti gli utilizzatori di un linguaggio nei confronti di uno simile e "concorrente"