HaLVM - это гипервизороподобная операционная система, состоящая из среды выполнения языка GHC, работающей в Xen.

Определение:

Согласно официальной документации:

Что такое HaLVM?

Облегченная виртуальная машина Haskell, или HaLVM, является портом инструментария Glasgow Haskell Compiler, позволяющего разработчикам создавать высокоуровневые, облегченные виртуальные машины, которые могут работать непосредственно на гипервизоре Xen.

В то время как Galois изначально проектировал HaLVM, чтобы обеспечить быстрое и простое создание прототипов компонентов операционных систем, HaLVM со временем выросла, что позволило использовать гораздо более широкий спектр вариантов использования. При подключении к соответствующим библиотекам HaLVM может, например, работать как сетевое устройство.

Запись для легковесной виртуальной машины Haskell аналогична написанию обычного языка Haskell, и многие чистые библиотеки Haskell переносятся в HaLVM практически без каких-либо трудностей. Фактически, мы включили стандартный набор инструментов Haskell Cabal, чтобы упростить интеграцию внешних библиотек Haskell. Однако вместо того, чтобы работать поверх обычной операционной системы, программы HaLVM работают на очень низком уровне непосредственно на гипервизоре Xen. Это позволяет создавать очень легкие одноцелевые домены Xen с минимальными требованиями к ресурсам.

Важные ссылки: