Интереснейшее влияние Cyclone

[@neplul]

Ура, наконец-то нормальная обзорная статья по Cyclone.
Жаль, что он не вышел за рамки исследовательского проекта. Cyclone мне нравятся больше чем Rust.

В статье упоминается, что работы по типизированному ассемблеру предшествовали работам над Cyclone. Но при этом из текста не очевидно, что Cyclone генерировал этот самый типизированный ассемблер. В Rust-е такого нет.
Так же не упоминается язык ParaSeil, который разрабатывается с 2009 года компанией AdaCore (они занимаются развитием языка Ada). Там тоже управление памятью на основе регионов + может предотвращать гонки данных во время компиляции. Да и сама Ada с 2005 года взяла несколько идей у Cyclone, например ненулевые ссылки.

[@Sin2x]

Checked C выглядит очень вкусно и пилят до сих пор активно:

www.microsoft.com/en-us/research/publication/achieving-safety-incrementally-with-checked-c

[@Siemargl]

В конце 3го абзаца про Мидори есть лучшая ссылка на Checked C.

Там можно даже скачать компилятор от июля 2020г.

Впрочем, я не увидел там разнообразия управления памятью, как в Cyclone.

[@FreakII]

И все же, когда вы бросаете правильный камень в подготовленный пруд, то вода еще долго продолжает расходиться кругами. Cyclone был большим, хорошо обработанным камнем; и пульсации его духа, а также те новшества, которые в нем были впервые выделены, продолжают распространяться нетривиальными способами.

Гугол транслейт, плиз

[@Siemargl]

Это как раз ручной перевод. Я не знаю как перевести точнее, возможно это отсылка к какой то идиоме, которой не подобрал аналога в русском. Оригинал

And yet, when you throw the right rock into a receptive pond, waves of influence ripple outwards. Cyclone was a large, well-fashioned stone; the ripples of its zeitgeist, as well as the notable innovations it distilled and pioneered, continue to spread in fascinating ways.

Впрочем, как и всегда, ошибки и лучшие варианты перевода, опечатки, велкам в личку.

[@Aldrog]

Пока читал обсуждение приведённого в статье пропоузала в Nim, его закрыли с комментарием, что новый рантайм доступен в 1.4 :)
А для многих случаев семантика владения и перемещения, как я понимаю, доступна уже с 1.2 и --gc:arc.

[@Siemargl]

Мне кажется, это не про ОВ и мув-семантику, но лучше призвать мастера Ним'а Yardanico

[@Doomet]

Да, вы правы, в 1.4 есть ARC в котором реализованы семантики перемещений + счётчик ссылок, ну и ORC, как надстройка над ARC, но именно семантик владения нет — планируется реализовать https://github.com/nim-lang/RFCs/issues/144 в Nim 2.0 (https://github.com/nim-lang/RFCs/issues/177 — "#144 is not dead but scheduled for Nim version 2 which is a couple of years away. "), но не сейчас (много кода нужно изменять и так далее).

[@domix32]

Странно, что Verona не попала в список

[@Siemargl]

Потому что статья старше Вероны