Комментарии 10
Ура, наконец-то нормальная обзорная статья по Cyclone.
Жаль, что он не вышел за рамки исследовательского проекта. Cyclone мне нравятся больше чем Rust.
В статье упоминается, что работы по типизированному ассемблеру предшествовали работам над Cyclone. Но при этом из текста не очевидно, что Cyclone генерировал этот самый типизированный ассемблер. В Rust-е такого нет.
Так же не упоминается язык ParaSeil, который разрабатывается с 2009 года компанией AdaCore (они занимаются развитием языка Ada). Там тоже управление памятью на основе регионов + может предотвращать гонки данных во время компиляции. Да и сама Ada с 2005 года взяла несколько идей у Cyclone, например ненулевые ссылки.
Жаль, что он не вышел за рамки исследовательского проекта. Cyclone мне нравятся больше чем Rust.
В статье упоминается, что работы по типизированному ассемблеру предшествовали работам над Cyclone. Но при этом из текста не очевидно, что Cyclone генерировал этот самый типизированный ассемблер. В Rust-е такого нет.
Так же не упоминается язык ParaSeil, который разрабатывается с 2009 года компанией AdaCore (они занимаются развитием языка Ada). Там тоже управление памятью на основе регионов + может предотвращать гонки данных во время компиляции. Да и сама Ada с 2005 года взяла несколько идей у Cyclone, например ненулевые ссылки.
Checked C выглядит очень вкусно и пилят до сих пор активно:
www.microsoft.com/en-us/research/publication/achieving-safety-incrementally-with-checked-c
www.microsoft.com/en-us/research/publication/achieving-safety-incrementally-with-checked-c
И все же, когда вы бросаете правильный камень в подготовленный пруд, то вода еще долго продолжает расходиться кругами. Cyclone был большим, хорошо обработанным камнем; и пульсации его духа, а также те новшества, которые в нем были впервые выделены, продолжают распространяться нетривиальными способами.
Гугол транслейт, плиз
Это как раз ручной перевод. Я не знаю как перевести точнее, возможно это отсылка к какой то идиоме, которой не подобрал аналога в русском. Оригинал
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.Впрочем, как и всегда, ошибки и лучшие варианты перевода, опечатки, велкам в личку.
Пока читал обсуждение приведённого в статье пропоузала в Nim, его закрыли с комментарием, что новый рантайм доступен в 1.4 :)
А для многих случаев семантика владения и перемещения, как я понимаю, доступна уже с 1.2 и --gc:arc.
Мне кажется, это не про ОВ и мув-семантику, но лучше призвать мастера Ним'а Yardanico
Да, вы правы, в 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. "), но не сейчас (много кода нужно изменять и так далее).
Странно, что Verona не попала в список
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Публикации
Интереснейшее влияние Cyclone