Обычный GHC. Мы пишем код на Haskell с использованием eDSL Ivory. Получаем программу, которая генерит C99 код и компилирует его с помощью любого компилятор си компилятора (мы GCC используем).
Так получается хорошо разделять бизнес-логику от железа и легко переносить код между различными аппаратными платформами, платами и т.п. Плюс экономия времени на отладке. И как результат достаточно надежный код с гарантированными свойствами.
На выходе получаем машинный код. Haskell служит таким мета-инструментом над C – вроде, шаблонов на стероидах.
Еще в Древнем Риме! И уже потом его не Тьюринг, а Чёрч перепридумал для лямбда-исчисления!
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? )))
На React Native навайбкодили?
Был на одной такой презентации Kotlin в Питерском офисе Oracle в 2016 году ;)
Только на храмовый целлулоид ;)
Все правильно! ИИ-шки же даже не зумеры, а альфы ;)
А Haskell еще лучше ;)
Для разных ОС, например
Сделал под свой рост 170 вот такой сетап:
Я так с ReactNative на Flutter переполз =)