Для моих нужд хватает

по твоему это похоже на дак тайпинг. подумай дважды

typedef TypeList< 
        Rule<start, x, find_blank, x_mark, Right>,
        Rule<find_blank, x, find_blank, x, Right>,
        Rule<find_blank, split, find_blank, split, Right>,
        Rule<find_blank, InputBlank, go_back, x, Left>,
        Rule<go_back, x, go_back, x, Left>,
        Rule<go_back, split, go_back, split, Left>,
        Rule<go_back, x_mark, start, x, Right>,
        Rule<start, split, QAccept, split, Left>> rules;

Ну и макрос под это всегда можно зафигачить.

Ещё в 2014м году (а по факту и гораздо раньше) находились люди, очарованные D, например дискуссия на RSDN:
https://rsdn.org/forum/philosophy/5549436.flat
Человек пишет, Язык D - действительно красота и эффективность в одном флаконе, а по факту ни красоты, ни эффективности одновременно там нет.

Уже (внезапно!) его 2020-й год, а D ничуть не ожил и нет никаких причин для оживания.

Там просто всякие фичи добавляются в язык, а о стабилизации особо не думают. Ещё бы расширили стандартную библиотеку для работы без GC

Так бы популярность росла

Ди это же просто песочница для плюсов, чаще всего.

Но вроде как против Python неплохо борется за счёт перформанса

Раст тоже

хехе, плюсы ведь в роли догоняющих, поэтому тащат фичи отовсюду

вчера нашел статью где лодочник плакал что концепция владения не работает для uring и ничего нельзя придумать

D закопали еще в 2007, когда был релиз 1.0 туда пришел Александреску и было решено делать D2, а не экосистему + проблема с раздвоением стандартной библиотеки. После этого в языке остались только энтузиасты. А как известно на горстке энтузиастов далеко не уедешь.

Поплакал, подумал и придумал. https://boats.gitlab.io/blog/post/iou/

ну она вся unsafe

так что да

он потом еще писал как можно сделать нормально safe

вот тут

"iou is mostly safe, but not completely."

кстати их всех wrapper для io_uring внезапно самый нормальный https://github.com/quininer/ritsu