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

да не писали нигде, это неправильная интерпретация "желтой прессы", просто вскольз упомянули как раст, так и верону на одних и тех же слайдах, как области интересов Microsoft Research https://t.me/CompilerDev/48776

Berkus Decker in Compiler Development

> The language itself has a completely different ownership model than Rust, like you quote. Verona's is based on what they're calling linear regions. It's more than "groups of objects." A program will be subdivided into a number of regions, each of which has only one entrypoint (hence the word 'linear'). Additionally, they are achieving memory safety by guaranteeing that no more than one thread can access a given region at any point in time.

источник

17:46пожаловаться #8

TS

Timur Safin in Compiler Development

отсюда https://www.reddit.com/r/programming/comments/e505pc/microsoft_were_creating_a_new_rustbased/f9ikkm0/

Microsoft: We're creating a new Rust-based programming language...

Posted in r/programming by u/mousou_express • 137 points and 125 comments

источник

17:48пожаловаться #9

C

Constantine in Compiler Development

Timur Safin

да не писали нигде, это неправильная интерпретация "желтой прессы", просто вскольз упомянули как раст, так и верону на одних и тех же слайдах, как области интересов Microsoft Research https://t.me/CompilerDev/48776

Berkus Decker in Compiler Development

> The language itself has a completely different ownership model than Rust, like you quote. Verona's is based on what they're calling linear regions. It's more than "groups of objects." A program will be subdivided into a number of regions, each of which has only one entrypoint (hence the word 'linear'). Additionally, they are achieving memory safety by guaranteeing that no more than one thread can access a given region at any point in time.

как это не писали, веб архив все помнит https://web.archive.org/web/20191208132252/https://github.com/verona-lang/verona была такая репка github.com/verona-lang/verona , подписался, ждал кода, но потом они ее удалили 🤨

узнал о вероне тут https://www.opennet.ru/opennews/art.shtml?num=51966 🤔

источник

17:55пожаловаться #10

C

Constantine in Compiler Development

хм, значит это не их репозиторий был?

источник

17:56пожаловаться #11

TS

Timur Safin in Compiler Development

Constantine

хм, значит это не их репозиторий был?

да uvd на github выглядит каким-то левым чуваком

источник

18:09пожаловаться #12

TS

Timur Safin in Compiler Development

Constantine

как это не писали, веб архив все помнит https://web.archive.org/web/20191208132252/https://github.com/verona-lang/verona была такая репка github.com/verona-lang/verona , подписался, ждал кода, но потом они ее удалили 🤨

узнал о вероне тут https://www.opennet.ru/opennews/art.shtml?num=51966 🤔

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

источник

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

C

Constantine in Compiler Development

Timur Safin

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

Понял, спасибо за информацию.

источник

18:12пожаловаться #14

M

MaxGraey in Compiler Development

Alexander Tchitchigin

Кстати, https://github.com/microsoft/verona

GitHub

microsoft/verona

Research programming language for concurrent ownership - microsoft/verona

Получается там что то вроде группового RAII через when и владения/заимствования (cowns):
https://github.com/microsoft/verona/blob/master/testsuite/demo/run-pass/bank3.verona#L56

GitHub

microsoft/verona

Research programming language for concurrent ownership - microsoft/verona

источник

21:34пожаловаться #15

2020 January 18

M

MaxGraey in Compiler Development

Тут меня кпрекают, что я пушаю раст, ну вот я решил исправиться. Статья Кладника про проблемы actix-web, про unsafe и токсичное сообщество Rust на реддите:
https://words.steveklabnik.com/a-sad-day-for-rust

Вообще моноязычная культура всегда приводит к какому то нездоровому фанатизму

Steve Klabnik on Svbtle

A sad day for Rust

actix-web is dead. This situation is bad, from all sides. When Rust was a tiny, tiny community, I thought to myself, “wow, I wonder how long this will last? Probably 1.0 will kill it.” Sort of playing off of Eternal September, I assumed that over...