Телеграмм чат группы dlangru страница 9356

т.е. уже динамически типизируемый язык

14:08пожаловаться #1

да и с простыми типами тоже, допустим куда ты положишь "всё что угодно" (тип в рт определяется)? динамически на стеке определять сколько надо? как ты потом будешь проверять использование такой переменной (можно ли её складывать, конкатенировать)? нужна будет информация о типе в рт уже после создания переменной, следовательно и проверки дальше по коду будут в рт

Ненене

14:08пожаловаться #2

Это решается тем, что тип к переменной привязан

14:09пожаловаться #3

Создаёшь и кастишь к нужному

14:09пожаловаться #4

А если хочешь переменную неизвестного типа объявить — то да, такое не прокатит

14:10пожаловаться #5

Но это см. аргумент про то, что кт функции — не шаблоны

14:10пожаловаться #6

Dark Hole

Создаёшь и кастишь к нужному

ну так есть void*, для таких извращенцев))

14:10пожаловаться #7

ну так есть void*, для таких извращенцев))

Всё равно придется кастить)

14:11пожаловаться #8

Dark Hole

Всё равно придется кастить)

не, я к тому что если ты кастить собрался (во время каста указывать конкретный тип), то уже есть это решение

14:11пожаловаться #9

не, я к тому что если ты кастить собрался (во время каста указывать конкретный тип), то уже есть это решение

Аа, да, но структуры так не создашь на стеке. Или создашь?

14:12пожаловаться #10

Dark Hole

Аа, да, но структуры так не создашь на стеке. Или создашь?

alloca кажется на стеке выделяет память

14:13пожаловаться #11

не пользовался ни разу, но где-то видел

14:13пожаловаться #12

да и чем структуры в этом плане особены?

14:14пожаловаться #13

https://man7.org/linux/man-pages/man3/alloca.3.html да

alloca кажется на стеке выделяет память

14:15пожаловаться #14

да и чем структуры в этом плане особены?

у них есть размер, смещение полей, размер каждого пола

14:16пожаловаться #15

NC in dlang.ru

я тут не понял мысль: если в языке будет возможность оперировать типами как данными как это будет ложиться на рантайм? получиться что это нельзя будет использовать в рт и это как раз и будет разделение языка на 2 части ещё сильней

Синтаксис один и выполнить в рантайме можно будет функцию, но ничего полезного она не принесёт, так как места, куда можно тип вставить определены как только компайл тайм.

14:20пожаловаться #16

ну так я про это же

14:21пожаловаться #17

получается тебе нужно 'холостое' (для рантайма) подмножество языка?

14:22пожаловаться #18

NC in dlang.ru

Так это будет удобнее как раз потому, что можно будет локальный стейт использовать для вычисления типов, сейчас я делаю это через дополнительные аккумуляторы в шаблонах.

14:22пожаловаться #19

NC in dlang.ru

а можно ещё пример, зачем оно нужно?

Пример, пользователь задаёт в компайл тайме список функций, которые берут кусочки общего стейта, надо вычислить граф вычислений с максимальной параллелзиацией, предполагая, что функции, что берут разные куски стейта, могут выполняться параллельно.