ΑZ
но это речь про рантайм. А версию языка можно практически любую брать и худшем случае редкие новые фичи не дадут скомпилиться. Но если их не юзать - то можно под первую версию рантайма компилять последней версией языка
Size: a a a
2020 October 17
I
но это речь про рантайм. А версию языка можно практически любую брать и худшем случае редкие новые фичи не дадут скомпилиться. Но если их не юзать - то можно под первую версию рантайма компилять последней версией языка
Хм. Там-же вроде совместить сломали при введении async/await?
SB
Я когда-то с дотнета пришел. Даже в 2.0 уже была очень вменяемая рантайм кодогенерация. Там вообще рефлексия довольно шустрая и не теряет информацию о типах генериков. А с тех пор как появился Рослин (compiler services) это ещё и модно стало. Спарк я не юзал оттуда но аргумент что у дотнета не принято в кишки рантайма и компиляции лезть - довольно спорный имхо
Я думал «кишки рантайма» это что-то типа контекстов выполнения или синхронизации, кастомные шедулеры и все такое, а не обычная рефлексия. Что в рефлексии такого-то?
I
Так а что тебе мешает подменить класс контекста своим сгенеренным в рантайме? Ну примешь некий секс с доменами (app domain), но не более.
SB
Так а что тебе мешает подменить класс контекста своим сгенеренным в рантайме? Ну примешь некий секс с доменами (app domain), но не более.
Ну вот это уже ближе к кишкам.
I
В общем мне сейчас сложно реально сравнивать (я с дотнета когда Рослин только выпустили). Скажу только то что мне до перехода на фп-скалу очень всегда не хватало возможностей рефлексии дотнета в жабке (со всей кодо-генерацией, которая у них тоже рефлексией считается)
SB
Ну не знаю, я лично не большой сторонник рефлексии в принципе, есть исключения, но в целом — против.
I
Ну для мета-программирования не так много подходов
0 - препроцессор языка на (всякие project lombok и annotation processors тоже тут)
1 - рантайм кодогенерация
2 - темплейты
3 - вейвинг
4 - типы высоких порядков
(а больше ничего так и не вспомню)
0 - препроцессор языка на (всякие project lombok и annotation processors тоже тут)
1 - рантайм кодогенерация
2 - темплейты
3 - вейвинг
4 - типы высоких порядков
(а больше ничего так и не вспомню)
SB
Ну для мета-программирования не так много подходов
0 - препроцессор языка на (всякие project lombok и annotation processors тоже тут)
1 - рантайм кодогенерация
2 - темплейты
3 - вейвинг
4 - типы высоких порядков
(а больше ничего так и не вспомню)
0 - препроцессор языка на (всякие project lombok и annotation processors тоже тут)
1 - рантайм кодогенерация
2 - темплейты
3 - вейвинг
4 - типы высоких порядков
(а больше ничего так и не вспомню)
А почему HKT это мета-программирование?
I
А почему HKT это мета-программирование?
Хотел сначала сказать про тайпклассы но подумал что теже arrow это тоже мета-программа которая может степени параллелизма менять прозрачно для пользовательского кода.
Вообще тут наверное надо определиться что такое мета-программа. Если по классике типа код создающий другой код то все конструкторы типов это мета-программа
Вообще тут наверное надо определиться что такое мета-программа. Если по классике типа код создающий другой код то все конструкторы типов это мета-программа
AD
Хотел сначала сказать про тайпклассы но подумал что теже arrow это тоже мета-программа которая может степени параллелизма менять прозрачно для пользовательского кода.
Вообще тут наверное надо определиться что такое мета-программа. Если по классике типа код создающий другой код то все конструкторы типов это мета-программа
Вообще тут наверное надо определиться что такое мета-программа. Если по классике типа код создающий другой код то все конструкторы типов это мета-программа
Байткод
I
Байткод
Что байт-код? Модификация байт-кода это вейвинг и есть
O
HKT это такое же метапрограммирование, как функции высших порядков
AD
Что байт-код? Модификация байт-кода это вейвинг и есть
Хкт не метапрога
Oℕ
ХКТ разное бывает
Oℕ
то, что в дотти, и то, что в хошкеле при должной поддержке могут работать как платформа для метапрограммирования
I
HKT это такое же метапрограммирование, как функции высших порядков
Ну тут уже философия. Является ли скала мета-програмой для ассемблера?)))
I
то, что в дотти, и то, что в хошкеле при должной поддержке могут работать как платформа для метапрограммирования
O
> мета-программа
программа, в которой в виде объектов первого класса представлен исходный код, АСТ, байт-код?
программа, в которой в виде объектов первого класса представлен исходный код, АСТ, байт-код?
I
> мета-программа
программа, в которой в виде объектов первого класса представлен исходный код, АСТ, байт-код?
программа, в которой в виде объектов первого класса представлен исходный код, АСТ, байт-код?
Тогда с++ со своими шаблонами нервно курит?