G
Size: a a a
2020 February 29
KK
Кажется можно не только в профунктор кинуть
АВ
Наверное удивишься, но выражения из типов есть почти в любом уважающем себя функциональном языке программирования
Они либо компайл-тайм как метапрограммирование в C++, либо это язык с кастрированной диначеской типизацией, где есть только number, string, array и object. А у меня int любой битности, знаковости и порядка байт LE и BE, fixed point и floating point произвольной точности. Структуры с возможностью указывать выравнивание и куча всего ещё.
G
Они либо компайл-тайм как метапрограммирование в C++, либо это язык с кастрированной диначеской типизацией, где есть только number, string, array и object. А у меня int любой битности, знаковости и порядка байт LE и BE, fixed point и floating point произвольной точности. Структуры с возможностью указывать выравнивание и куча всего ещё.
Вау. А как ты до такого додумался, это же переворот в индустрии?
G
Я вот в Си так и не понял как структуры выравнивать
G
Наверное динамическая типизация нужна
а
Они либо компайл-тайм как метапрограммирование в C++, либо это язык с кастрированной диначеской типизацией, где есть только number, string, array и object. А у меня int любой битности, знаковости и порядка байт LE и BE, fixed point и floating point произвольной точности. Структуры с возможностью указывать выравнивание и куча всего ещё.
у вас это где
G
у вас это где
В революционном ЯПе, очевидно
а
в нереализованном, видимо
а
В революционном ЯПе, очевидно
нескучные интеджеры
G
в нереализованном, видимо
Да похуй. Ты просто идею не вдуплил
i
Любая знаковость?
G
нескучные интеджеры
Вот такие хейтеры как ты и мешают революциям в IT
KK
Они либо компайл-тайм как метапрограммирование в C++, либо это язык с кастрированной диначеской типизацией, где есть только number, string, array и object. А у меня int любой битности, знаковости и порядка байт LE и BE, fixed point и floating point произвольной точности. Структуры с возможностью указывать выравнивание и куча всего ещё.
Порядок байтовости то зачем
АВ
Я вот в Си так и не понял как структуры выравнивать
Я в тебя верю, ты с этим разберёшься. Я говорю про языки с динамической типизацией, где нет ничего похожего на структуры Си, выравнивание и т.п.. Мой язык именно расширяет идеи языков со статической типизацией, перенося в рантайм возможность создания и вычисления типов. По сути как C++, только шаблонные аргументы стали обычными аргументами и полями структур, а также структуры могут иметь произвольный sizeof, определяемый в рантайме. В совокупности с JIT это даёт огромный простор для оптимизации.
G
Я в тебя верю, ты с этим разберёшься. Я говорю про языки с динамической типизацией, где нет ничего похожего на структуры Си, выравнивание и т.п.. Мой язык именно расширяет идеи языков со статической типизацией, перенося в рантайм возможность создания и вычисления типов. По сути как C++, только шаблонные аргументы стали обычными аргументами и полями структур, а также структуры могут иметь произвольный sizeof, определяемый в рантайме. В совокупности с JIT это даёт огромный простор для оптимизации.
Вау
G
Надо потом teloxide переписать на твой язык
АВ
Любая знаковость?
Я имею в виду, что есть типы как со знаком, так и без знака. Как в C++, только в динамическом языке.
KK
Я в тебя верю, ты с этим разберёшься. Я говорю про языки с динамической типизацией, где нет ничего похожего на структуры Си, выравнивание и т.п.. Мой язык именно расширяет идеи языков со статической типизацией, перенося в рантайм возможность создания и вычисления типов. По сути как C++, только шаблонные аргументы стали обычными аргументами и полями структур, а также структуры могут иметь произвольный sizeof, определяемый в рантайме. В совокупности с JIT это даёт огромный простор для оптимизации.
Ты, кажется, отхватишь то что у тебя кз язык будет