Я экспериментирую с Ivory (http://ivorylang.org, https://github.com/GaloisInc/ivory) и с помощью модуля ivory-hw для управления некоторыми регистрами в микроконтроллере. cmain :: Def ('[] :->())
cmai
Здравствуйте. Я играю с библиотекой Ivory, которая в значительной степени опирается на современные возможности Haskell. Среди прочего, он определяет модели IvoryType, принимающий все типы, и IvoryArea