Обычный GHC. Мы пишем код на Haskell с использованием eDSL Ivory. Получаем программу, которая генерит C99 код и компилирует его с помощью любого компилятор си компилятора (мы GCC используем).
Так получается хорошо разделять бизнес-логику от железа и легко переносить код между различными аппаратными платформами, платами и т.п. Плюс экономия времени на отладке. И как результат достаточно надежный код с гарантированными свойствами.
На выходе получаем машинный код. Haskell служит таким мета-инструментом над C – вроде, шаблонов на стероидах.
Как раз использую альтернативу TOTP – WebAuthn/FIDO2/passkeys
– Протестую! Достоевский бессмертен!
Кукуха?
Только Doom!
На React ;)
В хаскеле оно не надо, там все иммутабельно ;)
У Haskell, получается, еще ниже!
А как же Haskell? 😜😎
Еще в Древнем Риме! И уже потом его не Тьюринг, а Чёрч перепридумал для лямбда-исчисления!
APL – все уже давно придумано
Python – плохой пример. Haskell – хороший!
Дефлопе ;)
Haskell же ;)
Haskell не хватает в списке ;)
LRU?
Обычный GHC. Мы пишем код на Haskell с использованием eDSL Ivory. Получаем программу, которая генерит C99 код и компилирует его с помощью любого компилятор си компилятора (мы GCC используем).
Так получается хорошо разделять бизнес-логику от железа и легко переносить код между различными аппаратными платформами, платами и т.п. Плюс экономия времени на отладке. И как результат достаточно надежный код с гарантированными свойствами.
На выходе получаем машинный код. Haskell служит таким мета-инструментом над C – вроде, шаблонов на стероидах.
Косноязычно получилось. Нет C++ не используем, используем Haskell вместо.
C остался тоже. Библиотеки вендоров, например
Из-за них и взяли Haskell.
Не боимся. В Haskell коде они есть, а в самих прошивках нет
На железе по итогу все работает в статической памяти без кучи и даже почти без стека
Жесткий реалтайм, без использования ОС с кооперативной многозадачностью, до 500К IRQ в секунду
Haskell реабилитирует полностью ;) мы на него с C перешли
Делаем это на Haskell ;)
Неужели целый Electron? )))