Hardcaml

Per ottenere i vantaggi dell'implementazione di algoritmi software nell'hardware, di solito devi "srotolare" operazioni iterative o sequenziali in una pipeline hardware che può calcolare molte cose in parallelo. I linguaggi di descrizione hardware tradizionali offrono solo funzionalità di generazione molto primitive, quindi questo srotolamento diventa ingombrante e tende a produrre codice difficile da leggere e riutilizzare nei progetti.