Тоже правильно

А в разработку ОС я не хочу пока, а знать их устройство тоже надо

Хотя бы в общих чертах

Всем когда-то хотелось написать свою ОС...

Эх, надо статью дописать про асинхронное программирование в Rust. Она будет топовая, я там расскажу всё, что вынес из год с плюсом практики

Я её почти дописал

Мне не особо, ОС и ОС. Свой язык программирования - куда круче

Нн забудь потом оставить ссылку.

Может даже в дополнениях расскажу про индуктивные вычисления на типах, чтобы имитировать вариативные обобщённые типы гетерогенным списком, например, я так demux-stream сделал

Про сессионные типы тоже неплохо будет рассказать, верификация взаимодействия по протоколу во время компиляции

Конечно

Может потом книгу напишу об этом

Почему нет. Материала много

Может и круче, но к этому, на мой взгляд, надо подходить с опытом. Сколько было языков, но Си такой один. Особенно, синтаксис замечательный.

Вряд ли авторы много продумывали язык Си. Важно было получить решение здесь и сейчас, а то, что он стал популярным и повлиял на многие другие языки - это стечение обстоятельств

Главное правило в разработке языков - avoid (success at all costs). Иначе язык утонет в бездне костыльных решений и нерешённых проблем

Да, это правило сильно так противоречит бизнесу

Haskell - пример avoid (success at all costs). Golang - наоборот

Дело конечно прежде всего в самих авторах, не будь Ритчи гением и не будь рядом с ним не менее гениальных коллег, навряд ли Си завоевал популярность и оставался в топе спустя полвека

Разработчики языка Rust недавно пренебрегли этим правилом. Вместо совершенствования системы типов, с проблемами которой приходится мириться большинству сообщества языка, они пошли на поводу общественности и ввели синтаксис async/.await, который бы можно было бы выразить через систему типов, будь она чуть более выразительна.

Вообще новый синтаксис в ядре языка для асинхронного программирования - это что за бред? То есть появится какая-то новая область и для неё тоже новый синтаксис?