Прошивка представляет собой строго-типизированное мета-описание на Haskell. MCU описывается типом. От него зависит выбор компилятора, создание конфига для него и все такое.
Да! Если представление от том, как должна работать программа, не совпало с тем как она работает на самом деле ;) Но это не проблема программы, она то все равно работает правильно, ровно так как и написана!
Даже и пытаться осиливать не стали, разу взяли Shake ;)
Haskell же!
Да, хотя бы PDF :)
Говорят, с Java так прокатило?
Это я про применение!
Сегодня некуда, а завтра, оказывается, есть, а, бывает, даже, и не завтра, а через сто лет ;)
Только начал читать и конец ;)
Не пропатчив :)
Прошивка представляет собой строго-типизированное мета-описание на 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