r
Ладно, может temple-lang напишет. Постараюсь не тыкать его палочкой.
У него любопытные идеи по поводу яп есть.
То есть его язык было бы интересно попробовать.
Size: a a a
2021 January 17
T1
Конкретней?
T1
В его терминах - любой не структурный полиморфизм называется "динамический полиморфизм"
структурный полиморфизм?
T1
полиморфизм в структурной системе типов что ли просто?
DS
структурный полиморфизм?
Ок, скажу по другому, параметрический полиморфизм в системе типов со структурной типизацией.
T1
Ок, скажу по другому, параметрический полиморфизм в системе типов со структурной типизацией.
а, ну да
T1
сразу бы так
DS
сразу бы так
Я с телефона, лень печатать
T1
Так что там про язык царя? Просто как не захожу он какой-то бред пишет, и ощущение что даже основ не знает
DS
Так что там про язык царя? Просто как не захожу он какой-то бред пишет, и ощущение что даже основ не знает
Ну насколько я понял, то что он имеет в виду (так что тут могут быть ошибки в понимании):
Что-то вроде шаблонной и consteval части крестов, только без крестовых легаси проблем.
Что-то вроде шаблонной и consteval части крестов, только без крестовых легаси проблем.
T1
Он говорит что все всё, и раст, спиздили из C++ и приводит в пример концепты. Я ему сказал, что растовские трейты это нихуя не концепты, а просто тайпклассы, и он на меня начал агриться и сказал что "тайпклассов не существует", и вообще не интуитивно это всё.
T1
Ну насколько я понял, то что он имеет в виду (так что тут могут быть ошибки в понимании):
Что-то вроде шаблонной и consteval части крестов, только без крестовых легаси проблем.
Что-то вроде шаблонной и consteval части крестов, только без крестовых легаси проблем.
И в этом вся гениальность?
DS
И в этом вся гениальность?
А кто говорил про гениальность?
T1
Типо просто язык в котором хорошее compile-time programming? Камон, он просто вырезал то что любит в своём языке
T1
А кто говорил про гениальность?
Сорян. Просто я имел ввиду что если и терпеть человека если он может какие-то выдвигать идеи нормальные, то точно не когда уровень "гениальности" идей — такой
DS
Сорян. Просто я имел ввиду что если и терпеть человека если он может какие-то выдвигать идеи нормальные, то точно не когда уровень "гениальности" идей — такой
Ну его нигде кроме его чата и не терпят же
EG
Я планирую попробовать сделать язык, в котором нет разницы между компайл-таймом и рантаймом
Любая функция без эффекта IO может быть выполнена в компайл-тайме
Макросы — это просто компайл-тайм функции
Дженерики — это компайл-тайм функции
Любая функция без эффекта IO может быть выполнена в компайл-тайме
Макросы — это просто компайл-тайм функции
Дженерики — это компайл-тайм функции
T1
Я планирую попробовать сделать язык, в котором нет разницы между компайл-таймом и рантаймом
Любая функция без эффекта IO может быть выполнена в компайл-тайме
Макросы — это просто компайл-тайм функции
Дженерики — это компайл-тайм функции
Любая функция без эффекта IO может быть выполнена в компайл-тайме
Макросы — это просто компайл-тайм функции
Дженерики — это компайл-тайм функции
C++?
EG
Последнее я, кстати, уже видел в каком-то языке. Nim, возможно?
T1
просто без эффектов