Hume (programming language)

<p>Hume is a functionally based programming language developed at the <a href="/facts/University_of_St_Andrews/IwXjmljw">University of St Andrews</a> and <a href="/facts/Heriot-Watt_University/V7ozSYP8">Heriot-Watt University</a> in <a href="/facts/Scotland/VGwbbxB2">Scotland</a> since the year 2000. The language name is both an acronym meaning 'Higher-order Unified Meta-Environment' and an honorific to the 18th-century philosopher <a href="/facts/David_Hume/aTwlJ80V">David Hume</a>. It targets <a href="/facts/Real-time_computing/p9HxgL4L">real-time computing</a> <a href="/facts/Embedded_system/a4muX1wU">embedded systems</a>, aiming to produce a design that is both highly abstract, and yet allows precise extraction of time and space execution costs. This allows guaranteeing the bounded time and space demands of executing programs.
</p><p>Hume combines <a href="/facts/Functional_programming/cdxqPEIM">functional programming</a> ideas with ideas from <a href="/facts/Finite-state_automata/GMusWd0a">finite-state automata</a>. Automata are used to structure communicating programs into a series of "boxes", where each box maps <a href="/facts/Input/output/WQTE8Jas">inputs to outputs</a> in a <a href="/facts/Pure_function/xveknjJ3">purely functional</a> way using high-level pattern-matching. It is  structured as a series of levels, each of which exposes different machine properties.
</p>

Hume (programming language) open-in-new

Hume (programming language)