Он нас троллит, зря время тратим

Вот-вот

Не факт. Компьютеры появились, СОГАС появился, а айфончики почему-то нет...
Это просто результат технического прогресса, разве что приоритеты в СССР были не на создание айфончиков, а на космос и ядерные реакторы.
Да и потом то, что айфончики не появились в СССР не доказывает, что они противоречат самой концепции общественной собственности на средства производства.

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

Лол, кто призвал царя в уютный оффтопик?)

deno.
https://github.com/denoland/deno

А в чём твой поинт-то?
Что раст не готов для продакшена?
Что через 10 лет не появится дров для линукса полностью на расте?
Что игор на расте не появится?

int a;
float b;
MyType c;
int d[10]; // WTF ???

>Замечательно то, что система типов почти во все аспекты вкладывается:

Системы типов у раста нет. Она примитивна и ни на что неспособна.

>она повышает безопасность

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

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

Далее нужно просто посчитать алисы, это примитивная ir-дристня существующая сразу в ssa и подобное реализуется любым школьником на лабе.

Далее инвариант очевидный. >1 - ro, 1 - rw. Далее дристня просто инжектит drop, который требует rw.

>наших программ путём проверки типов во время компиляции

Сообщаю новость - система типов данной скриптухи несостоятельна. Там везде vtable, т.е. динамический диспатч. Т.е. при любом усечении типа в подтип - оригинальный тип на уровне системы типов теряется и не может быть восстановлен. А усечения происходят всегда - на базе них работает всё, в том числе и полиморфизм.

>(если вспомнить, что типы — это спецификация поведения программы, спецификация взаимодействия между модулями)

Слишком примитивная херня, чтобы что-то там специфицировать.

>система типов — также материал для создания новых конструкций в языке (его расширение), которые могут повысить безопасность, выразительность, простоту чтения и записи и т.д.

Система типов данного "языка" - это ir с парой нахлабучек. Ничего на подобной примитивней херне построить нельзя.

>Ортогональность — это сколькими способами данная конструкция в ЯПе может быть скомбинирована с другими.


>Например, язык Си крайне неортогонален, потому что массивы имеют совершенно другую семантику при передаче их как аргументов в функцию, возвращать их тоже нельзя. Нотация для типов крайне неортогональна:

О боже, неужели адепт раста сообщает о затирании типов? Проблема в том, что ты попался в ловушку - потому что везде и всюду у тебя типы так же затираются. И для тебя это не должно быть проблемой, а если проблемой является - твой "язык" для тебя же не является состоятельным.


>Причём тип у переменной d здесь int[10], а запись int[10] d; не по стандарту.

Зачем мне так писать? Тебе об этом сообщила пропаганда? Это ничего не значит. Ты там в своём "языке" уже выпилил скобочки из функций ворованные? Чего не пишешь (): main? Или методичка о подобном не рассказала?


>Простоту чтения и записи ещё может повысить языкоориентированное программирование

У тебя опять же проблем с методичкой. Вся запись в расте - ворованная. Своя собственная доказала свою полную несостоятельность ещё давно. К тому же синтаксически это убожество.

> — это когда языки — такой же строительный блок, такая же абстракция, как и модули, функции и другие программные компоненты.

Строительный блок - это скриптуха. С/С++ - подобным не занимается.

>Rust реализует языкоориентированное программирование с помощью макросов

Нет, макросы в недоязычке обусловлены его полной бездарностью и неспособностью. Поэтому приходится как 70-80 ваять отдельные макропроцессоры, чтобы заткнуть дыры.

>потому что синтаксис в вызове макросов — это можно воспринимать как другой язык, eDSL (embedded domain-specific language).

Нет, потому что без макросни - это творение не может ничего. Всё остальное - фантазии.

>По поводу последнего пункта — также может понизить риск ошибок, повышая безопасность, удобство чтения и записи и т.д.

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

>Это только самая вершина айсберга. Если вопрос более подробно хочется познать — лучше почитать полноценные книги:

Да.

> - Type-driven development with Idris (о роли системы типов в разработке ПО)

int a;
float b;
MyType c;
int d[10]; // WTF ???

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

Но всё это неважно, потому что система типов раста даже в стравнении с таким мусором как idris - ничто. И не способно ни на что, на что способен idris.

> - Programming language design concepts (в первых главах предоставляется этот неформальный фреймворк для оценки ЯПов)

Опять же, запартные завывания от дошколят, который ничего кроме лабы в жизни не видели.


>Поэтому я говорю, что тема явно не для чата, здесь можно словить лишь крупицы из огромной вселенной.

Да нет, тема для часа. Есть есть что сказать.

Да, все перед кем адепты слились за пару постов - тролли. Это так всегда бывает

Вот ещё одно доказательство.  Как же интересно работает пропаганда. И как просто поиметь адептов. Мы возьмём v8, ts и назовём это deno, а потом расскажем адептам, что это новый v8 и новый жаваскрипт. И они понесут

Ты сорцы-то смотрел?

зачем мне их смотреть, если я знаю. Не смотрел их ты

Deno is a simple, modern and secure runtime for JavaScript and TypeScript that uses V8 and is built in Rust.

Ну продолжай, мне интересно узнать, какой ты сделал вывод, посмотрев на сорцы?

это всё, что нужно знать об адептах. Они тебе расскажут про всё, про язык, сорцы

но на самом деле они ничего не знают и даже описание не читали. Но лозунги пропаганды ретранслируют

кстати, а попытка рассказать о сорцах - это попытка потратить моё время. Очевидно, что адепт их не видел и всё что он хочет - это замять тему, чтобы я пошёл и искал

Ахахаха... зайдём с другой стороны)

как жаль, что не получилось

@tsar_blog ты знаешь что такое poica?

нет