АХ
Ну и кодогенерация из того же хаскелля :-Р
Size: a a a
2020 March 20
Д
Пока только раст
там нет полного zero-cost. Слабая поддержка оптимизации.
AD
AM
там нет полного zero-cost. Слабая поддержка оптимизации.
А вы непосредственно железо программируете, или прикладной софт, который с этим железом коммуницирует?
АХ
там нет полного zero-cost. Слабая поддержка оптимизации.
А что подразумевается под zero-cost? На контроллеры нонче жырные. На них порой можно и худенький рантайм засунуть
AN
А как без них?
Вообще запретить касты не связанных типов. Если у тебя такой редкий случай, когда надо работать с байтовыми блоками и интерпретировать их, работать с ними как с блоками байтов при помощи адаптеров
Д
Ну и кодогенерация из того же хаскелля :-Р
Кодогенерация идея хороша, да. Но хаскелем делать асинхронные statefull протоколы проще удавиться. И кодогенератон на какой-нибудь USB нагенерит тебе совсем не ZeroCost
AM
Вообще запретить касты не связанных типов. Если у тебя такой редкий случай, когда надо работать с байтовыми блоками и интерпретировать их, работать с ними как с блоками байтов при помощи адаптеров
Реинтерпрет ровно для таких "байтовых блоков" и используется обычно, да.
AM
Там как раз описываются структуры с чёткими правилами выравнивания полей и т.п.
AN
У zero-cost programming всегда будет своя ниша
Можно сделать zero-cost без убогих решений.
Д
Вообще запретить касты не связанных типов. Если у тебя такой редкий случай, когда надо работать с байтовыми блоками и интерпретировать их, работать с ними как с блоками байтов при помощи адаптеров
А как тогда объявить таблицу векторов прерываний?
memcpy это тоже каст.
memcpy это тоже каст.
АХ
Вообще запретить касты не связанных типов. Если у тебя такой редкий случай, когда надо работать с байтовыми блоками и интерпретировать их, работать с ними как с блоками байтов при помощи адаптеров
Это экстремизм
Д
Можно сделать zero-cost без убогих решений.
Теоритически - можно. На практике это будет мешанина union-подобного шлака.
AN
А как тогда объявить таблицу векторов прерываний?
memcpy это тоже каст.
memcpy это тоже каст.
Так явный же.
Д
Кто явный?
Д
А, memcpy.
АХ
reinterpret_cast тоже явный
Д
и c-like тоже.
AN
Теоритически - можно. На практике это будет мешанина union-подобного шлака.
Ничего подобного. Опять-таки вопрос в ширине кругозора. В С этого нельзя сделать нормальные акксессоры для байтовых массивов просто потому что уровень абстркции в языке нулевой. В современных языках это можно сделать
AN
reinterpret_cast тоже явный
Ну да, но все равно, если кто-то где-то поменяет структуру класса/структуры, оно не просто ляжет, а будет генерить ерунду