p
И вообще, я уверен, что вкатились все)
Ну я отчасти понял сам логос
Size: a a a
2020 July 16
p
А вот как его использовать, как запускать, какие проблемы решать, как писать инфраструктуру вокруг него - нет.
KR
А вот как его использовать, как запускать, какие проблемы решать, как писать инфраструктуру вокруг него - нет.
Примерно как используется Lua в геймдеве.
У тебя есть движок, куда ты, предполагается, не лазаешь. А ты знай, да и только накидывай себе "пользовательские сценарии" для игры.
У тебя есть движок, куда ты, предполагается, не лазаешь. А ты знай, да и только накидывай себе "пользовательские сценарии" для игры.
KR
Наваял сценарий - скормил в ядро, и пользуешься как макросом, когда надо.
Т8
@DogeShibu так что он в итоге хочет, тайпклассы или HKT? Я читал, читал, но там они уже совсем в математику скатились, ничего не понимаю
@categories_plusplus
@categories_plusplus
Т8
Первое, как я понимаю, в Расте есть, а претензия к нему. Значит, про второе?
DS
Т-34 85
@DogeShibu так что он в итоге хочет, тайпклассы или HKT? Я читал, читал, но там они уже совсем в математику скатились, ничего не понимаю
@categories_plusplus
@categories_plusplus
Он хочет дактайпинг как в шаблонах.
Т8
Он хочет дактайпинг как в шаблонах.
Это какой-то профит даёт?
DS
Т-34 85
Это какой-то профит даёт?
Сомнительный. Чуть меньше писать в некоторых кейсах, но ценой адских сообщений об ошибках в местах инстанциинирования шаблонов.
DS
Тут трейдофф скорее - в тайпклассах тебе надо явно обьявлять инстансы, но при этом имееются норм сообщения об ошибках и сами ошибки до мономорфизации.
DS
В шаблонах - тебе не надо явно никаких инстансов обьявлять, утиная типизация, все дела, но при этом ошибки выходят адские в сложных кейсах.
Т8
Сомнительный. Чуть меньше писать в некоторых кейсах, но ценой адских сообщений об ошибках в местах инстанциинирования шаблонов.
А так уж они адские? Надо просто смотреть на первую ошибку, а не на цепочку, идущую от неё
Т8
Или речь о другом?
DS
Т-34 85
А так уж они адские? Надо просто смотреть на первую ошибку, а не на цепочку, идущую от неё
В сложных кейсах это всё равно толком не спасет, когда у тебя много инстансов со сложной логикой.
DS
Плюс ещё то, что шаблоны - это некоторая адхок хрень впендюренная в китчен-синк язык и жестко сшитая с самим процессом и логикой компилирования этого конкретного языка, а тайпклассы - вполне себе нормальная формальная конструкция с точки зрения теории типов, что позволяет компилить её достаточно по разному в разных языках, но иметь схожую семантику между ними.
Т8
Плюс ещё то, что шаблоны - это некоторая адхок хрень впендюренная в китчен-синк язык и жестко сшитая с самим процессом и логикой компилирования этого конкретного языка, а тайпклассы - вполне себе нормальная формальная конструкция с точки зрения теории типов, что позволяет компилить её достаточно по разному в разных языках, но иметь схожую семантику между ними.
А что концепты в си++20 изменят?
DS
Т.е. как пример, в том же хаскеле в зависимости от использования (и настроения компилятора) тайпклассы могут компиляться в целиком мономорфизированный код, либо в рекорды функций.
DS
Сюда же возможность всяких экзистенциальных типов с тайпклассами в хаскеле и дин трейтов в расте.
DS
Что с шаблонами не выйдет по очевидным причинам
p
Наваял сценарий - скормил в ядро, и пользуешься как макросом, когда надо.
Проще под каждую задачу писать свой ДСЛ имхо