Hume

Proiectat de: Greg MichaelsonAndrew IrelandAndy Wallace

Hume este un limbaj de programare bazat funcțional dezvoltat la Universitatea din St Andrews și la Universitatea Heriot-Watt din Scoția din anul 2000.

Numele limbii este atât un acronim care înseamnă „meta-mediu unificat de ordin superior”, cât și onorific pentru 18- Filozoful secolului David Hume.

Se adresează sistemelor încorporate în timp real, care urmărește să producă un design care să fie extrem de abstract, și să permită totuși extragerea precisă a costurilor de execuție a timpului și a spațiului.

Acest lucru permite garantarea cerințelor de timp și a spațiului de delimitare a programelor de executare.

Hume combină ideile de programare funcționale cu idei de la automatele de stat finite.

Automatele sunt utilizate pentru a structura programele de comunicare într-o serie de „cutii”, în care fiecare casetă hărimează intrări la ieșiri într-un mod pur funcțional folosind potrivirea modelului de nivel înalt.

Este structurat ca o serie de niveluri, fiecare dintre acestea expunând diferite proprietăți ale mașinii.