Meta-programmazione di binding OCaml per GTK3

GTK è una delle principali librerie per costruire interfacce grafiche, ed essendo scritta in C sono molti i linguaggi che realizzano dei binding a questa libreria. GTK dispone di un sistema di introspezione in grado di generare un file XML che descrive l'intera API della libreria. Tramite questo meccanismo, per numerosi linguaggi sono state realizzate delle librerie in grado di leggere questo file XML e generare automaticamente i binding per GTK. Nel caso di OCaml invece esiste la libreria lablgtk, la quale è però scritta a mano: questo permette di avere una API più vicina ai costrutti idiomatici del linguaggio, ma incompleta, sensibile ai cambi di versione e prona ad errori. L'obiettivo raggiunto in questa tesi è la realizzazione di un prototipo funzionante in grado di generare automaticamente i binding di GTK per OCaml. Il prototipo è stato ottenuto modificando haskell-gi, la libreria analoga per Haskell, un linguaggio simile ad OCaml che ha dovuto affrontare problematiche simili. In particolare questa libreria è composta di due moduli principali, uno per la lettura del file XML, ed uno per la generazione del codice Haskell a partire dalle informazioni ottenute dal parsing. In ocaml-gi-gtk, la libreria creata in questa tesi, è stato riusato completamente il modulo di parsing, ma è stato riscritto il modulo di generazione del codice per generare codice OCaml invece che Haskell.