B
а можно типу там чтото вроде drop прикрутить свой?
Size: a a a
2021 April 27
А
Они там прям с арифметикой?
DS
Да
А
А, ого
DS
И вот всякие операции
B
шоб дма дропать после трансфера
DS
bracket или можно сворганить на лин типах
А
значит раст уже не нужон по сути
B
ага, короче тогда ембеддед хаскель вперед
DS
Ну как бы ленивый язык с гц и рантаймом против раста - это странное сравнение, очень разные ниши
B
а раст ненужон
DS
У хаскеля рантайм здоровый для ембеддеда
B
да елки
А
это была шутка очевидно
DS
Ну а что ты хотел. Там и gc, и реализация зеленых потоков, и реализация STM и т.д. и т.п.
Я уж молчу про то, как сам хаскель вычисляется, там дофига машинерии вокруг STG и т.п.
Я уж молчу про то, как сам хаскель вычисляется, там дофига машинерии вокруг STG и т.п.
DS
Там рантайм соврешенно не тривиальный, это точно не для эмбеддеда в любом смысле слова. (Если только rpi и т.п. одноплатники не считать эмбеддедом)
Т8
А у Idris, который с завтипами?
DS
Там тоже рантайм, он сейчас вообще в лиспы компилится, если речь про Idris 2