Hume (язык программирования)
-
Обзор языка программирования Hume
- Hume — это функциональный язык программирования, разработанный в Шотландии с 2000 года.
- Название языка является аббревиатурой и данью уважения Дэвиду Юму.
- Язык ориентирован на встраиваемые системы реального времени, обеспечивая точный расчет временных и пространственных затрат.
- Hume сочетает функциональное программирование с конечными автоматами для структурирования программ.
-
Проектная модель и цели
- Hume стремится сохранить прозрачность затрат времени и пространства, обеспечивая высокий уровень абстракции.
- Язык подходит для различных приложений, от микроконтроллеров до смартфонов.
- Трехуровневая структура языка включает декларативный, координационный и внутренний уровни.
- Внутренний уровень является чисто функциональным и не имеет состояния.
-
Характеристики и особенности
- Интерпретатор и компилятор Hume имеют различия в функциональности.
- Система координации позволяет подключать блоки в стиле программирования потока данных.
- Язык выражений похож на Haskell, а система параллелизма поддерживает асинхронность.
- Встроенный планировщик контролирует соответствие шаблонов во всех блоках.
-
Примеры и рекомендации
- Приведены примеры использования Hume, включая торговый автомат.
- Рекомендовано дальнейшее чтение и внешние ссылки для более глубокого изучения языка.
-
Веб-ресурсы
- Указаны веб-сайт и проекты, связанные с Hume, включая расширенный проект для верификации ограниченного по ресурсам кода.