Прошивка представляет собой строго-типизированное мета-описание на Haskell. MCU описывается типом. От него зависит выбор компилятора, создание конфига для него и все такое.
Да! Если представление от том, как должна работать программа, не совпало с тем как она работает на самом деле ;) Но это не проблема программы, она то все равно работает правильно, ровно так как и написана!
Не пропатчив :)
Прошивка представляет собой строго-типизированное мета-описание на Haskell. MCU описывается типом. От него зависит выбор компилятора, создание конфига для него и все такое.
Это не совсем утилита: https://hackage.haskell.org/package/shake
Используем Shake вместо Make
Дежа-вю )
https://habr.com/en/articles/1004240/
Нолики и единички!
SSH/SCP/Rsync/FTP/SFTP на свою VPS ;) или даже Samba!
Красное и белое!
А в какой алгебре?
Да! Если представление от том, как должна работать программа, не совпало с тем как она работает на самом деле ;) Но это не проблема программы, она то все равно работает правильно, ровно так как и написана!
тесты то же всегда true)
код всегда true )
Вот такая архитектура получается
https://github.com/gev/glue/blob/main/flutter/ARCHITECTURE.md
А мы используем для генерации C кода Ivory eDSL для Haskell.
Это в котором долларами программируют?
Ответ очевиден – Haskell :)
Симуляции для баночников же!
Снять офис и работать из него удаленно!!! )))
Неужто неонку?
mtl – это что-то на хаскельном?