ММ
SMP нужен лишь в случае, когда большой кусок данных нужно одновременно месить в несколько тредов, при том, что этот кусок нетривиально на части побить. На практике обычно всё бьётся.
Size: a a a
2021 October 11
VF
Создать себе проблему, а потом героически ее решать, #всекакмылюбим
ММ
Поэтому автор OCaml (Xavier Leroy) как-то скептически всегда к SMP относился, и был против усложнения реализации.
PD
Вот тут сложно, иногда 'хорошие программисты' пишут не самые удачные dsl, так как слишком 'хорошие'. Ну и, если честно, dsl даже на asm можно нормальный сделать )
AW
Очень сложно будет на асме это провернуть
PD
Скорее сложных не должно - при правильной архитектуре. Технически сложных )
AW
Без тайпчекера дсли сложны в реализации
AW
Вы потом начнёте его сами тайпчекать
ММ
А как же Lisp, где DSL-и на каждый чих плодят?
AW
А было бы лучше это делать средствами языка
PD
доменная ошибка - это почти всегда bad smell, imho
ММ
В Емаксе их (DSL-ей) тыщи, и ничего не разваливается.
AW
Я очень завидую людям, которые могут писать надёжные дсли без типов
AW
Я так не умею
AW
Возможно они покрывают код кучей тестов
AW
По сути типы это же способ сразу с кодом писать тесты корректности
ММ
Там фишка в том, что сами макросистемы в таких языках проще, чем в статически типизованных (Template Haskell, Camlp4, Nemerle), и это компенсирует отсутствие статических типов.
VF
Когда-то были распространены сигнальные процессоры, но потом обычные стали мощнее и дешевле и все привет, ниша сдулась. Специализация это попытка обойти какую-то проблему или недостаток каких-то ресурсов. Смотреть на ИС только как на код это немного странно и даже я бы сказал не очень профессионально.
ММ
Скорее, покрывают их миллионом юзеров! 😁
VF
Если это дешевле и работает, то почему нет?