forum.opennet.ru - "В языке Nim представлен YRC - потокобезопасный сборщик циклических ссылок" (30)

"В языке Nim представлен YRC - потокобезопасный сборщик циклических ссылок"

Форум Разговоры, обсуждение новостей
Вариант для распечатки		Пред. тема \| След. тема
Изначальное сообщение		[ Отслеживать ]

"В языке Nim представлен YRC - потокобезопасный сборщик циклических ссылок"	+/–
Сообщение от opennews (??), 12-Фев-26, 16:41
Андреас Румпф (Araq), автор языка программирования Nim, анонсировал новый алгоритм управления памятью YRC (произносится "Ürk"), который решает одну из ключевых проблем существующих механизмов в Nim: невозможность корректной обработки циклических ссылок, пересекающих границы потоков... Подробнее: https://www.opennet.dev/opennews/art.shtml?num=64785
Ответить \| Правка \| Cообщить модератору

Оглавление

как произносится 220 rk и на каком это языке вообще , Аноним (1), 16:41 , 12-Фев-26, (1) –3

Автор из Германии, поэтому предположу что язык немецкий Буква 220 bermut 220 , Аноним (4), 17:16 , 12-Фев-26, (4) –3

Т е или ты не умеешь в IPA или и это очередной, без раздумий скопипащенный, бре, анон (?), 18:24 , 12-Фев-26, (7) +4
Нет, конечно https en wiktionary org wiki File De- 252 ber- ogghttps en wi, Аноним (12), 19:17 , 12-Фев-26, (12)

немецкий и другие языки https auf-deutsch eu ru govorenie nemetskoe-proiznoshe, анондирован (?), 17:21 , 12-Фев-26, (5)
А Suse должно произноситься как Цузе , kusb 129412 (?), 18:49 , 12-Фев-26, (9)

сам Nim какие проблемы решает что-то тут не так , Аноним (8), 18:29 , 12-Фев-26, (8) +3

Затрудняет распространение хороших языков Здесь и управляющие отступы с питоноп, Аноним (14), 19:24 , 12-Фев-26, (14) –3

Да ничего он не затрудняет Это просто игрушка для автора, которая находится в с, Аноним (16), 19:32 , 12-Фев-26, (16) +1
Скрыто модератором, Сладкая булочка (?), 23:00 , 12-Фев-26, (31)

Да все так Он же код TLA верифицировал, лол, а не его реализацию на NIM Тепер, Аноним (16), 19:28 , 12-Фев-26, (15) –1
Решает проблему потребности в языке с нормальным высокоуровневым синтаксисом тип, BrainFucker (ok), 21:35 , 12-Фев-26, (21) +2

Ну как же вы достали, а Не существует такой проблемы Запомни, а лучше запиши , пэпэ (?), 21:40 , 12-Фев-26, (22) –4

Или вместо траты времени на это использовать Nim или другое на вкус Python, Cry, BrainFucker (ok), 21:44 , 12-Фев-26, (23) –1

Стоять, Мурзик Тезис был про решение проблемы синтаксиса Раста То, что эту про, пэпэ (?), 21:55 , 12-Фев-26, (24) –2

но ведь врёшь ты проектов на раст ничуть не больше, чем проектов на nim, а не п, 12yoexpert (ok), 22:02 , 12-Фев-26, (25)

Да что ты говоришь Сделать выборку по ЯП на житхабе по ЯП сам осилишь или тебе , пэпэ (?), 22:08 , 12-Фев-26, (27)

о да, давай посмотрим статистику на сайте конторы, которая и пролоббирует этот я, 12yoexpert (ok), 22:10 , 12-Фев-26, (28) –1

А давай Ведь это те самые конторы, которые пишут твой любимы Линукс, Андроид и , Аноним (16), 23:06 , 12-Фев-26, (33) +1

очередные маркетинговые нарративчикии что, твоим тиммейтам по аджайлу такое захо, 12yoexpert (ok), 00:44 , 13-Фев-26, (36)

D на 6 лет старше сабжа и, в отличие от него, не является вечно переписываемой и, Аноним (16), 23:04 , 12-Фев-26, (32)

они не наши, 12yoexpert (ok), 22:04 , 12-Фев-26, (26)

Пхахаха 128514 Вроде же до 1 апреля далеко еще Делаем формальную верификац, Аноним (16), 19:21 , 12-Фев-26, (13)

Когда у тебя есть формально доказанный алгоритм и его реализация хоть на каком-н, funny.falcon (?), 20:49 , 12-Фев-26, (17) +1

Как показывает новость, связи абсолютно никакой Потому что математическая вериф, Аноним (16), 21:09 , 12-Фев-26, (18)

Нигде, он формально верифицировал сам аглоритм , Сладкая булочка (?), 22:56 , 12-Фев-26, (30)

А то, что на Nim написано - это не алгоритм В том-то и ирония, что верифицироват, Аноним (16), 23:15 , 12-Фев-26, (34)

Почему Доказывается, что он корректен на языке, на котором происходит доказател, Сладкая булочка (?), 00:48 , 13-Фев-26, (37)

Он хочет оставить YRC единственным сборщиком , Сладкая булочка (?), 22:55 , 12-Фев-26, (29)
Пусть займутся переносом своего языка на базу LLVM Сейчас там только транспайле, cheburnator9000 (ok), 00:40 , 13-Фев-26, (35)

Сообщения [Сортировка по времени | RSS]

1. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." –3 +/–

Сообщение от Аноним (1), 12-Фев-26, 16:41

как произносится Ürk и на каком это языке вообще?

Ответить | Правка | Наверх | Cообщить модератору

4. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." –3 +/–

Сообщение от Аноним (4), 12-Фев-26, 17:16

Автор из Германии, поэтому предположу что язык немецкий.
Буква Übermut
Ü ü [yː] /ʏ/, /y:/
ü в начале слова читается как "и" например Überweg → Ибервег
Т.е по русски будет "Ирк"

Ответить | Правка | Наверх | Cообщить модератору

7. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +4 +/–

Сообщение от анон (?), 12-Фев-26, 18:24

> Автор из Германии, поэтому предположу что язык немецкий.
> Буква Übermut
> Ü ü [yː] /ʏ/, /y:/
> ü в начале слова читается как "и" например Überweg → Ибервег
> Т.е по русски будет "Ирк"
Т.е. или ты не умеешь в IPA или/и это очередной, без раздумий скопипащенный, бред чатгопоты.
Читается примерно как ю в "любоффь". Это к слову о Ü.
Точно то же тебе расскажет о [yː] https://en.wikipedia.org/wiki/Close_front_rounded_vowel там даже аудиофайл есть 🙄

Ответить | Правка | Наверх | Cообщить модератору

12. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от Аноним (12), 12-Фев-26, 19:17

> ü в начале слова читается как "и"
Нет, конечно.
https://en.wiktionary.org/wiki/File:De-über-.ogg
https://en.wiktionary.org/wiki/File:De-über2.ogg
https://en.wiktionary.org/wiki/File:De-über3.ogg
Многие топонимы и имена собственные закрепились с кривой транслитерацией, так уж исторически сложилось. Не надо пытаться к ним аппелировать. Есть IPA, им и надо пользоваться.
Говорящий пример: https://ru.wikipedia.org/wiki/Жужуй

Ответить | Правка | К родителю #4 | Наверх | Cообщить модератору

5. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от анондирован (?), 12-Фев-26, 17:21

немецкий и другие языки https://auf-deutsch.eu/ru/govorenie/nemetskoe-proiznoshenie/.../

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

9. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от kusb 129412 (?), 12-Фев-26, 18:49

А Suse должно произноситься как Цузе?

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

8. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +3 +/–

Сообщение от Аноним (8), 12-Фев-26, 18:29

>который решает одну из ключевых проблем существующих механизмов в Nim
сам Nim какие проблемы решает?
> Однако в последующих сообщениях автор признал, что первоначальная реализация содержала серьёзные ошибки и не собирала циклы корректно. На момент публикации подготовлен набор исправлений, устраняющий основные ошибки. Автор продолжает настройку эвристик сборки и исправление оставшихся ошибок, при этом базовый алгоритм и его формальная верификация остаются корректными.
что-то тут не так :)

Ответить | Правка | Наверх | Cообщить модератору

14. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." –3 +/–

Сообщение от Аноним (14), 12-Фев-26, 19:24

>сам Nim какие проблемы решает?
Затрудняет распространение хороших языков. Здесь и управляющие отступы с питоноподобным синтаксисом, и империативный подход с разделением на инструкции и выражения, и сишная модель управления памятью с утечками и порчей памяти, и отсутствие компиляции, а только трансляция в си, что затрудняет отладку, и куча эпических ошибок в реализации практически всего, типа новой системы управления памятью, в которой сразу же после релиза обнаружена куча ошибок.

Ответить | Правка | Наверх | Cообщить модератору

16. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +1 +/–

Сообщение от Аноним (16), 12-Фев-26, 19:32

> Затрудняет распространение хороших языков
Да ничего он не затрудняет. Это просто игрушка для автора, которая находится в состоянии перманентного переписывания и никем нигде не используется.

Ответить | Правка | Наверх | Cообщить модератору

31. Скрыто модератором +/–

Сообщение от Сладкая булочка (?), 12-Фев-26, 23:00

> Затрудняет распространение хороших языков. Здесь и управляющие отступы с питоноподобным синтаксисом, и империативный подход с разделением на инструкции и выражения
Вообще-то он не только с питона идеи брал, а также с модулы, и вообще тяготеет к паскалеподобным языкам. Кстати, начальная реализация компилятора была на паскале.
И про отступы пожалуй единственный минус - это редкая необходимость правки при копипасте. Больше минусов нет. Все равно отступы все делают для читабельности.

Ответить | Правка | К родителю #14 | Наверх | Cообщить модератору

15. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." –1 +/–

Сообщение от Аноним (16), 12-Фев-26, 19:28

>> Однако в последующих сообщениях автор признал, что первоначальная реализация содержала серьёзные ошибки и не собирала циклы корректно. На момент публикации подготовлен набор исправлений, устраняющий основные ошибки. Автор продолжает настройку эвристик сборки и исправление оставшихся ошибок, при этом базовый алгоритм и его формальная верификация остаются корректными.
> что-то тут не так :)
Да все так. Он же код TLA+ верифицировал, лол, а не его реализацию на NIM. Теперь, наверное, искренне недоумевает, где же он просчитался...

Ответить | Правка | К родителю #8 | Наверх | Cообщить модератору

21. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +2 +/–

Сообщение от BrainFucker (ok), 12-Фев-26, 21:35

> сам Nim какие проблемы решает?
Решает проблему потребности в языке с нормальным высокоуровневым синтаксисом типа Python, а не упоротым как Rust, но при этом чтобы компилировалось в машинный код и результат работал на близких к сишному коду скоростях.

Ответить | Правка | К родителю #8 | Наверх | Cообщить модератору

22. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." –4 +/–

Сообщение от пэпэ (?), 12-Фев-26, 21:40

>проблему потребности в языке с нормальным высокоуровневым синтаксисом
Ну как же вы достали, а. Не существует такой проблемы. Запомни, а лучше запиши. Про нее говорят только те, кто на Расте не пишет. Положить на синтаксис. Вот вообще, хоть брейнфак. Если ЯП даёт гибкую семантику - напиши DSL. Синтаксис исправить можно силами программиста. Семантику - невозможно.

Ответить | Правка | Наверх | Cообщить модератору

23. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." –1 +/–

Сообщение от BrainFucker (ok), 12-Фев-26, 21:44

> напиши DSL.
Или вместо траты времени на это использовать Nim или другое на вкус (Python, Crystal и т.д. на вкус).

Ответить | Правка | Наверх | Cообщить модератору

24. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." –2 +/–

Сообщение от пэпэ (?), 12-Фев-26, 21:55

Стоять, Мурзик. Тезис был про решение проблемы синтаксиса Раста. То, что эту проблему ты взял из головы легко аргументируется отсутствием потока программистов переходящих с Раста на Ним. И количеством проектов на Ним, не превышающих кажется 0.0001% с полным отсутствием динамики.
Говоря проще - ты врешь.

Ответить | Правка | Наверх | Cообщить модератору

25. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от 12yoexpert (ok), 12-Фев-26, 22:02

но ведь врёшь ты: проектов на раст ничуть не больше, чем проектов на nim, а не переходят с раста потому, что сектанты с промытыми мозгами, которых уже ничто не спасёт

Ответить | Правка | Наверх | Cообщить модератору

27. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от пэпэ (?), 12-Фев-26, 22:08

>проектов на раст ничуть не больше, чем проектов на nim
Да что ты говоришь. Сделать выборку по ЯП на житхабе по ЯП сам осилишь или тебе ссылочки дать?
>а не переходят с раста потому, что сектанты с промытыми мозгами
Да да. А ещё Раст был в файлах Эпштейна, календаре Майя и манускрипте Войнича. Ты в курсе, что такое нефальсифицируемая теория или вы ещё не проходили?
>но ведь врёшь ты
Аргументируй. Держу пари, что ты как всегда промолчишь, а потом напишешь сюда через неделю.

Ответить | Правка | Наверх | Cообщить модератору

28. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." –1 +/–

Сообщение от 12yoexpert (ok), 12-Фев-26, 22:10

о да, давай посмотрим статистику на сайте конторы, которая и пролоббирует этот язычок^W торговую марку, аргументы уровня Евангелия от Наделлы
дальше эту шизу не читал, иди водички попей

Ответить | Правка | Наверх | Cообщить модератору

33. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +1 +/–

Сообщение от Аноним (16), 12-Фев-26, 23:06

> о да, давай посмотрим статистику на сайте конторы, которая и пролоббирует этот язычок
А давай! Ведь это те самые конторы, которые пишут твой любимы Линукс, Андроид и Файрфокс.
Или ты уже это все выкинул и сейчас наваливаешь экспертизу через links на Hurdе?

Ответить | Правка | Наверх | Cообщить модератору

36. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от 12yoexpert (ok), 13-Фев-26, 00:44

очередные маркетинговые нарративчики
и что, твоим тиммейтам по аджайлу такое заходит?

Ответить | Правка | Наверх | Cообщить модератору

32. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от Аноним (16), 12-Фев-26, 23:04

>> сам Nim какие проблемы решает?
> Решает проблему потребности в языке с нормальным высокоуровневым синтаксисом типа Python [...] но при этом чтобы компилировалось в машинный код и результат работал на близких к сишному коду скоростях.
D на 6 лет старше сабжа и, в отличие от него, не является вечно переписываемой игрушкой одного сумрачного гения.

Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

26. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от 12yoexpert (ok), 12-Фев-26, 22:04

они не наши

Ответить | Правка | К родителю #8 | Наверх | Cообщить модератору

13. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от Аноним (16), 12-Фев-26, 19:21

> Реализация [...] имеет формальную верификацию безопасности и отсутствия взаимных блокировок через спецификацию на языке TLA+ и доказательство в инструментарии Lean
> первоначальная реализация [...] не собирала циклы корректно.
> Автор продолжает настройку эвристик сборки
> базовый алгоритм и его формальная верификация остаются корректными.
Пхахаха! 😂 Вроде же до 1 апреля далеко еще?
* Делаем формальную верификацию алгоритма, написанного на абсолютно левом языке.
* Пишем код теперь уже на Nim, который к этой верификации и ее гарантиям ВНЕЗАПНО не имеет никакого отношения.
* Искренне недоумеваем, почему это "базовый алгоритм и его формальная верификация остаются корректными", а вот наш "не базовый" алгоритм на Nim без формальной верификации тупо "не собирает циклы корректно".
Просчитался, но... где?

Ответить | Правка | Наверх | Cообщить модератору

17. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +1 +/–

Сообщение от funny.falcon (?), 12-Фев-26, 20:49

Когда у тебя есть формально доказанный алгоритм и его реализация хоть на каком-нибудь языке, пусть даже таком странном, как TLA+, ты по крайней мере знаешь, куда двигаться. Ты можешь сравнить свою реализацию и референсную, чтобы отыскать ошибку.
Если же ты и алгоритм на ходу придумываешь, и пишешь сразу в конечном языке, и доказать корректность алгоритма не можешь, дела твои обстоят намного хуже.

Ответить | Правка | Наверх | Cообщить модератору

18. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от Аноним (16), 12-Фев-26, 21:09

> ты по крайней мере знаешь, куда двигаться. Ты можешь сравнить свою реализацию и референсную, чтобы отыскать ошибку
Как показывает новость, связи абсолютно никакой. Потому что математическая верификация конкретного кода доказывает корректность работы именно этого самого кода. А левого - не доказывает. Это как бы логично.
И сравнивать там нечего, ибо языки разные.
> Если же ты и алгоритм на ходу придумываешь, и пишешь сразу в конечном языке, и доказать корректность алгоритма не можешь
В этом как бы и смысл: формальная верификация относится сугубо к коду, который она верифицирует. В левом коде она не доказывает вообще ничего.

Ответить | Правка | Наверх | Cообщить модератору

30. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от Сладкая булочка (?), 12-Фев-26, 22:56

> Просчитался, но... где?
Нигде, он формально верифицировал сам аглоритм.

Ответить | Правка | К родителю #13 | Наверх | Cообщить модератору

34. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от Аноним (16), 12-Фев-26, 23:15

>> > Просчитался, но... где?
> Нигде, он формально верифицировал сам аглоритм.
А то, что на Nim написано - это не алгоритм?
В том-то и ирония, что верифицировать абстрактный алгоритм в вакууме на левом языке - бессмыслица. Потому что даже если ты дословно переписываешь его на другом языке, то весь вспомогательный код (как написанный вручную, так и библиотечные функции, алгоритмы, структуры данных и т.п.) тоже становятся частью алгоритма.
В итоге автор написал на Nim алгоритм, который тупо не работал.

Ответить | Правка | Наверх | Cообщить модератору

37. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от Сладкая булочка (?), 13-Фев-26, 00:48

>>> > Просчитался, но... где?
>> Нигде, он формально верифицировал сам аглоритм.
> В том-то и ирония, что верифицировать абстрактный алгоритм в вакууме на левом
> языке - бессмыслица.
Почему? Доказывается, что он корректен на языке, на котором происходит доказательство, если я правильно понимаю. Например, у вас есть алгоритм сортировки, на вход массив чисел (для простоты целых). Тут без конкретного языка реализации можного доказать.
> Потому что даже если ты дословно переписываешь его
> на другом языке, то весь вспомогательный код (как написанный вручную, так
> и библиотечные функции, алгоритмы, структуры данных и т.п.) тоже становятся частью
> алгоритма.
На практике, почти все на это забивают, насколько я понимаю.

Ответить | Правка | Наверх | Cообщить модератору

29. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от Сладкая булочка (?), 12-Фев-26, 22:55

> Основным недостатком является производительность: YRC показывает замедление в 1.5-2.0 раза по сравнению с ORC в тесте производительности orcbench. Автор считает это приемлемой платой за полную потокобезопасную обработку циклических ссылок.
Он хочет оставить YRC единственным сборщиком?

Ответить | Правка | Наверх | Cообщить модератору

35. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от cheburnator9000 (ok), 13-Фев-26, 00:40

Пусть займутся переносом своего языка на базу LLVM. Сейчас там только транспайлер, из-за чего нет ни толкового дебага, ни нормально интеграции с разными IDE.
ARC, ORC, ... я это уже 6 лет от проекта слышу, никакого развития нет.

Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2026 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру

1. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	–3 +/–
Сообщение от Аноним (1), 12-Фев-26, 16:41
как произносится Ürk и на каком это языке вообще?
Ответить \| Правка \| Наверх \| Cообщить модератору


	4. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	–3 +/–
	Сообщение от Аноним (4), 12-Фев-26, 17:16
	Автор из Германии, поэтому предположу что язык немецкий. Буква Übermut Ü ü [yː] /ʏ/, /y:/ ü в начале слова читается как "и" например Überweg → Ибервег Т.е по русски будет "Ирк"
	Ответить \| Правка \| Наверх \| Cообщить модератору


	7. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+4 +/–
	Сообщение от анон (?), 12-Фев-26, 18:24
	> Автор из Германии, поэтому предположу что язык немецкий. > Буква Übermut > Ü ü [yː] /ʏ/, /y:/ > ü в начале слова читается как "и" например Überweg → Ибервег > Т.е по русски будет "Ирк" Т.е. или ты не умеешь в IPA или/и это очередной, без раздумий скопипащенный, бред чатгопоты. Читается примерно как ю в "любоффь". Это к слову о Ü. Точно то же тебе расскажет о [yː] https://en.wikipedia.org/wiki/Close_front_rounded_vowel там даже аудиофайл есть 🙄
	Ответить \| Правка \| Наверх \| Cообщить модератору


	12. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Аноним (12), 12-Фев-26, 19:17
	> ü в начале слова читается как "и" Нет, конечно. https://en.wiktionary.org/wiki/File:De-über-.ogg https://en.wiktionary.org/wiki/File:De-über2.ogg https://en.wiktionary.org/wiki/File:De-über3.ogg Многие топонимы и имена собственные закрепились с кривой транслитерацией, так уж исторически сложилось. Не надо пытаться к ним аппелировать. Есть IPA, им и надо пользоваться. Говорящий пример: https://ru.wikipedia.org/wiki/Жужуй
	Ответить \| Правка \| К родителю #4 \| Наверх \| Cообщить модератору


	5. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от анондирован (?), 12-Фев-26, 17:21
	немецкий и другие языки https://auf-deutsch.eu/ru/govorenie/nemetskoe-proiznoshenie/.../
	Ответить \| Правка \| К родителю #1 \| Наверх \| Cообщить модератору


	9. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от kusb 129412 (?), 12-Фев-26, 18:49
	А Suse должно произноситься как Цузе?
	Ответить \| Правка \| К родителю #1 \| Наверх \| Cообщить модератору

8. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+3 +/–
Сообщение от Аноним (8), 12-Фев-26, 18:29
>который решает одну из ключевых проблем существующих механизмов в Nim сам Nim какие проблемы решает? > Однако в последующих сообщениях автор признал, что первоначальная реализация содержала серьёзные ошибки и не собирала циклы корректно. На момент публикации подготовлен набор исправлений, устраняющий основные ошибки. Автор продолжает настройку эвристик сборки и исправление оставшихся ошибок, при этом базовый алгоритм и его формальная верификация остаются корректными. что-то тут не так :)
Ответить \| Правка \| Наверх \| Cообщить модератору


	14. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	–3 +/–
	Сообщение от Аноним (14), 12-Фев-26, 19:24
	>сам Nim какие проблемы решает? Затрудняет распространение хороших языков. Здесь и управляющие отступы с питоноподобным синтаксисом, и империативный подход с разделением на инструкции и выражения, и сишная модель управления памятью с утечками и порчей памяти, и отсутствие компиляции, а только трансляция в си, что затрудняет отладку, и куча эпических ошибок в реализации практически всего, типа новой системы управления памятью, в которой сразу же после релиза обнаружена куча ошибок.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	16. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+1 +/–
	Сообщение от Аноним (16), 12-Фев-26, 19:32
	> Затрудняет распространение хороших языков Да ничего он не затрудняет. Это просто игрушка для автора, которая находится в состоянии перманентного переписывания и никем нигде не используется.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	31. Скрыто модератором	+/–
	Сообщение от Сладкая булочка (?), 12-Фев-26, 23:00
	> Затрудняет распространение хороших языков. Здесь и управляющие отступы с питоноподобным синтаксисом, и империативный подход с разделением на инструкции и выражения Вообще-то он не только с питона идеи брал, а также с модулы, и вообще тяготеет к паскалеподобным языкам. Кстати, начальная реализация компилятора была на паскале. И про отступы пожалуй единственный минус - это редкая необходимость правки при копипасте. Больше минусов нет. Все равно отступы все делают для читабельности.
	Ответить \| Правка \| К родителю #14 \| Наверх \| Cообщить модератору


	15. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	–1 +/–
	Сообщение от Аноним (16), 12-Фев-26, 19:28
	>> Однако в последующих сообщениях автор признал, что первоначальная реализация содержала серьёзные ошибки и не собирала циклы корректно. На момент публикации подготовлен набор исправлений, устраняющий основные ошибки. Автор продолжает настройку эвристик сборки и исправление оставшихся ошибок, при этом базовый алгоритм и его формальная верификация остаются корректными. > что-то тут не так :) Да все так. Он же код TLA+ верифицировал, лол, а не его реализацию на NIM. Теперь, наверное, искренне недоумевает, где же он просчитался...
	Ответить \| Правка \| К родителю #8 \| Наверх \| Cообщить модератору


	21. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+2 +/–
	Сообщение от BrainFucker (ok), 12-Фев-26, 21:35
	> сам Nim какие проблемы решает? Решает проблему потребности в языке с нормальным высокоуровневым синтаксисом типа Python, а не упоротым как Rust, но при этом чтобы компилировалось в машинный код и результат работал на близких к сишному коду скоростях.
	Ответить \| Правка \| К родителю #8 \| Наверх \| Cообщить модератору


	22. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	–4 +/–
	Сообщение от пэпэ (?), 12-Фев-26, 21:40
	>проблему потребности в языке с нормальным высокоуровневым синтаксисом Ну как же вы достали, а. Не существует такой проблемы. Запомни, а лучше запиши. Про нее говорят только те, кто на Расте не пишет. Положить на синтаксис. Вот вообще, хоть брейнфак. Если ЯП даёт гибкую семантику - напиши DSL. Синтаксис исправить можно силами программиста. Семантику - невозможно.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	23. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	–1 +/–
	Сообщение от BrainFucker (ok), 12-Фев-26, 21:44
	> напиши DSL. Или вместо траты времени на это использовать Nim или другое на вкус (Python, Crystal и т.д. на вкус).
	Ответить \| Правка \| Наверх \| Cообщить модератору


	24. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	–2 +/–
	Сообщение от пэпэ (?), 12-Фев-26, 21:55
	Стоять, Мурзик. Тезис был про решение проблемы синтаксиса Раста. То, что эту проблему ты взял из головы легко аргументируется отсутствием потока программистов переходящих с Раста на Ним. И количеством проектов на Ним, не превышающих кажется 0.0001% с полным отсутствием динамики. Говоря проще - ты врешь.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	25. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от 12yoexpert (ok), 12-Фев-26, 22:02
	но ведь врёшь ты: проектов на раст ничуть не больше, чем проектов на nim, а не переходят с раста потому, что сектанты с промытыми мозгами, которых уже ничто не спасёт
	Ответить \| Правка \| Наверх \| Cообщить модератору


	27. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от пэпэ (?), 12-Фев-26, 22:08
	>проектов на раст ничуть не больше, чем проектов на nim Да что ты говоришь. Сделать выборку по ЯП на житхабе по ЯП сам осилишь или тебе ссылочки дать? >а не переходят с раста потому, что сектанты с промытыми мозгами Да да. А ещё Раст был в файлах Эпштейна, календаре Майя и манускрипте Войнича. Ты в курсе, что такое нефальсифицируемая теория или вы ещё не проходили? >но ведь врёшь ты Аргументируй. Держу пари, что ты как всегда промолчишь, а потом напишешь сюда через неделю.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	28. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	–1 +/–
	Сообщение от 12yoexpert (ok), 12-Фев-26, 22:10
	о да, давай посмотрим статистику на сайте конторы, которая и пролоббирует этот язычок^W торговую марку, аргументы уровня Евангелия от Наделлы дальше эту шизу не читал, иди водички попей
	Ответить \| Правка \| Наверх \| Cообщить модератору


	33. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+1 +/–
	Сообщение от Аноним (16), 12-Фев-26, 23:06
	> о да, давай посмотрим статистику на сайте конторы, которая и пролоббирует этот язычок А давай! Ведь это те самые конторы, которые пишут твой любимы Линукс, Андроид и Файрфокс. Или ты уже это все выкинул и сейчас наваливаешь экспертизу через links на Hurdе?
	Ответить \| Правка \| Наверх \| Cообщить модератору


	36. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от 12yoexpert (ok), 13-Фев-26, 00:44
	очередные маркетинговые нарративчики и что, твоим тиммейтам по аджайлу такое заходит?
	Ответить \| Правка \| Наверх \| Cообщить модератору


	32. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Аноним (16), 12-Фев-26, 23:04
	>> сам Nim какие проблемы решает? > Решает проблему потребности в языке с нормальным высокоуровневым синтаксисом типа Python [...] но при этом чтобы компилировалось в машинный код и результат работал на близких к сишному коду скоростях. D на 6 лет старше сабжа и, в отличие от него, не является вечно переписываемой игрушкой одного сумрачного гения.
	Ответить \| Правка \| К родителю #21 \| Наверх \| Cообщить модератору


	26. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от 12yoexpert (ok), 12-Фев-26, 22:04
	они не наши
	Ответить \| Правка \| К родителю #8 \| Наверх \| Cообщить модератору

13. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
Сообщение от Аноним (16), 12-Фев-26, 19:21
> Реализация [...] имеет формальную верификацию безопасности и отсутствия взаимных блокировок через спецификацию на языке TLA+ и доказательство в инструментарии Lean > первоначальная реализация [...] не собирала циклы корректно. > Автор продолжает настройку эвристик сборки > базовый алгоритм и его формальная верификация остаются корректными. Пхахаха! 😂 Вроде же до 1 апреля далеко еще? * Делаем формальную верификацию алгоритма, написанного на абсолютно левом языке. * Пишем код теперь уже на Nim, который к этой верификации и ее гарантиям ВНЕЗАПНО не имеет никакого отношения. * Искренне недоумеваем, почему это "базовый алгоритм и его формальная верификация остаются корректными", а вот наш "не базовый" алгоритм на Nim без формальной верификации тупо "не собирает циклы корректно". Просчитался, но... где?
Ответить \| Правка \| Наверх \| Cообщить модератору


	17. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+1 +/–
	Сообщение от funny.falcon (?), 12-Фев-26, 20:49
	Когда у тебя есть формально доказанный алгоритм и его реализация хоть на каком-нибудь языке, пусть даже таком странном, как TLA+, ты по крайней мере знаешь, куда двигаться. Ты можешь сравнить свою реализацию и референсную, чтобы отыскать ошибку. Если же ты и алгоритм на ходу придумываешь, и пишешь сразу в конечном языке, и доказать корректность алгоритма не можешь, дела твои обстоят намного хуже.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	18. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Аноним (16), 12-Фев-26, 21:09
	> ты по крайней мере знаешь, куда двигаться. Ты можешь сравнить свою реализацию и референсную, чтобы отыскать ошибку Как показывает новость, связи абсолютно никакой. Потому что математическая верификация конкретного кода доказывает корректность работы именно этого самого кода. А левого - не доказывает. Это как бы логично. И сравнивать там нечего, ибо языки разные. > Если же ты и алгоритм на ходу придумываешь, и пишешь сразу в конечном языке, и доказать корректность алгоритма не можешь В этом как бы и смысл: формальная верификация относится сугубо к коду, который она верифицирует. В левом коде она не доказывает вообще ничего.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	30. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Сладкая булочка (?), 12-Фев-26, 22:56
	> Просчитался, но... где? Нигде, он формально верифицировал сам аглоритм.
	Ответить \| Правка \| К родителю #13 \| Наверх \| Cообщить модератору


	34. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Аноним (16), 12-Фев-26, 23:15
	>> > Просчитался, но... где? > Нигде, он формально верифицировал сам аглоритм. А то, что на Nim написано - это не алгоритм? В том-то и ирония, что верифицировать абстрактный алгоритм в вакууме на левом языке - бессмыслица. Потому что даже если ты дословно переписываешь его на другом языке, то весь вспомогательный код (как написанный вручную, так и библиотечные функции, алгоритмы, структуры данных и т.п.) тоже становятся частью алгоритма. В итоге автор написал на Nim алгоритм, который тупо не работал.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	37. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Сладкая булочка (?), 13-Фев-26, 00:48
	>>> > Просчитался, но... где? >> Нигде, он формально верифицировал сам аглоритм. > В том-то и ирония, что верифицировать абстрактный алгоритм в вакууме на левом > языке - бессмыслица. Почему? Доказывается, что он корректен на языке, на котором происходит доказательство, если я правильно понимаю. Например, у вас есть алгоритм сортировки, на вход массив чисел (для простоты целых). Тут без конкретного языка реализации можного доказать. > Потому что даже если ты дословно переписываешь его > на другом языке, то весь вспомогательный код (как написанный вручную, так > и библиотечные функции, алгоритмы, структуры данных и т.п.) тоже становятся частью > алгоритма. На практике, почти все на это забивают, насколько я понимаю.
	Ответить \| Правка \| Наверх \| Cообщить модератору

29. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
Сообщение от Сладкая булочка (?), 12-Фев-26, 22:55
> Основным недостатком является производительность: YRC показывает замедление в 1.5-2.0 раза по сравнению с ORC в тесте производительности orcbench. Автор считает это приемлемой платой за полную потокобезопасную обработку циклических ссылок. Он хочет оставить YRC единственным сборщиком?
Ответить \| Правка \| Наверх \| Cообщить модератору

35. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
Сообщение от cheburnator9000 (ok), 13-Фев-26, 00:40
Пусть займутся переносом своего языка на базу LLVM. Сейчас там только транспайлер, из-за чего нет ни толкового дебага, ни нормально интеграции с разными IDE. ARC, ORC, ... я это уже 6 лет от проекта слышу, никакого развития нет.
Ответить \| Правка \| Наверх \| Cообщить модератору