История изменений
Исправление red75prim, (текущая версия) :
вместо этого, после тура по их сайту с примерами наиболее важных фич…
По какому ещё сайту? «Для начала мы рассматриваем основные и отличительные особенности Раста с демонстрацией их на примерах, после чего…»
И главную часть упустили.
that formalizes the static and dynamic semantics of these central features
Язык, который они придумали формализует то, что отличает Rust от других языков.
Формальное описание семантики языка, в отличии от неформального описания семантики языка в стандарте - это вообще редкая вещь.
Исправление red75prim, :
вместо этого, после тура по их сайту с примерами наиболее важных фич…
По какому ещё сайту? «Для начала мы рассматриваем основные и отличительные особенности Раста с демонстрацией их на примерах, после чего…»
И главную часть упустили.
that formalizes the static and dynamic semantics of these central features
Язык, который они придумали формализует то, что отличает Rust от других языков.
Формальное описание семантики языка, в отличии от неформального в стандарте - это вообще редкая вещь.
Исправление red75prim, :
вместо этого, после тура по их сайту с примерами наиболее важных фич…
По какому ещё сайту? «Для начала мы рассматриваем основные и отличительные особенности Раста с демонстрацией их на примерах, после чего…»
И главную часть упустили.
that formalizes the static and dynamic semantics of these central features
Язык, который они придумали формализует то, что отличает Rust от других языков.
Исходная версия red75prim, :
вместо этого, после тура по их сайту с примерами наиболее важных фич…
По какому ещё сайту? «Для начала мы рассматриваем основные и отличительные особенности Раста с демонстрацией их примеров, после чего…»
И главную часть упустили.
that formalizes the static and dynamic semantics of these central features
Язык, который они придумали формализует то, что отличает Rust от других языков.