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

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

rust_offtopic

460 membersпожаловаться на группу

2021 March 05

SP

Stanislav Popov in rust_offtopic

я не понимаю о чем вы.

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

источник

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

s

suhr in rust_offtopic

red75prime

https://doc.rust-lang.org/stable/reference/

Описание синтаксиса и пара неформальных абзацев это не спецификация.

источник

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

r

red75prime in rust_offtopic

Описание синтаксиса и пара неформальных абзацев это не спецификация.

А у каких языков вообще есть что-то кроме описания синтаксиса и неформальной спецификации семантики?

источник

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

SP

Stanislav Popov in rust_offtopic

походу надо пересказать спеку крестов чтобы хейтеры были довольны

источник

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

s

suhr in rust_offtopic

red75prime

А у каких языков вообще есть что-то кроме описания синтаксиса и неформальной спецификации семантики?

Как ни странно, у С.

источник

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

s

suhr in rust_offtopic

Поэтому к нему есть формально верифицированные компиляторы, например.

источник

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

r

red75prime in rust_offtopic

Поэтому к нему есть формально верифицированные компиляторы, например.

Ссылку, плиз

источник

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

s

suhr in rust_offtopic

https://compcert.org/index.html
https://github.com/kframework/c-semantics

kframework/c-semantics

Semantics of C in K. Contribute to kframework/c-semantics development by creating an account on GitHub.

источник

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

s

suhr in rust_offtopic

Например.

источник

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

T1

Tony 123 in rust_offtopic

Stanislav Popov

спойлер: у питонки нет спецификации

Есть лол

источник

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

T1

Tony 123 in rust_offtopic

Чтобы раст в самом деле мог что-либо гарантировать?

Чувак

источник

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

T1

Tony 123 in rust_offtopic

Прикинь

источник

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

T1

Tony 123 in rust_offtopic

Я такое же абсолютно утверждал в официальном дискорде раста

источник

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

T1

Tony 123 in rust_offtopic

Меня нахуй послали и сказали мол, вообще зачем

источник

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

r

red75prime in rust_offtopic

https://compcert.org/index.html
https://github.com/kframework/c-semantics

kframework/c-semantics

Semantics of C in K. Contribute to kframework/c-semantics development by creating an account on GitHub.

А, народ написал научную работу по формальной спецификации С. В качестве стандарта эту спецификацию не принимали. Или я ошибаюсь? Может и для раста кто-то напишет, ну кроме RustBelt'овцев.

источник

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

s

suhr in rust_offtopic

red75prime

А, народ написал научную работу по формальной спецификации С. В качестве стандарта эту спецификацию не принимали. Или я ошибаюсь? Может и для раста кто-то напишет, ну кроме RustBelt'овцев.

В стандарте описано много деталей, важных для написания формальной спеки.

источник

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

b

badtrousers in rust_offtopic

а что не так с ISO 9899?

источник

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

С

Слава in rust_offtopic

red75prime

А у каких языков вообще есть что-то кроме описания синтаксиса и неформальной спецификации семантики?

У ады

источник

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

r

red75prime in rust_offtopic

за 50 лет можно много corner cases в стандарт добавить

источник

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

D

Dima in rust_offtopic

кстати когда там в раст спецификацию завезут еще не понятно?

Не, не скоро, есть ещё куча не решённых вопросов, даже модель алиансинга это которая stacked borrows далека от идеала

источник

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