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

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

Сообщения

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

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

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

	7. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+8 +/–
	Сообщение от анон (?), 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ообщить модератору

	44. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Аноним (44), 13-Фев-26, 06:53
	> Многие топонимы и имена собственные закрепились с кривой транслитерацией, так уж исторически сложилось. Как ни странно, русская литература, в том числе классическая, лингвистическая необразованность [исторических] лиц, принимавших решения, а также непонятые и закрепившиеся шутки внесли свою лепту в неверное чтение немецких слов (примеров масса - Лейпциг, "шпрехен зи дейч, Иван Андрейч" и прочие перлы).
	Ответить | Правка | Наверх | Cообщить модератору

	43. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+1 +/–
	Сообщение от Аноним (44), 13-Фев-26, 06:47
	> ü в начале слова читается как "и" Нет. Как "ю".
	Ответить | Правка | К родителю #4 | Наверх | Cообщить модератору

	48. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от BeLord (ok), 13-Фев-26, 09:33
	Как произносится ich? Смотрим классическую версию, потом смотрим, как произносят коренные немцы и узнаем много интересного, так и умляутом -)))
	Ответить | Правка | К родителю #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ообщить модератору

	38. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+5 +/–
	Сообщение от Аноним (38), 13-Фев-26, 01:04
	Suse должно произноситься как "не нужно".
	Ответить | Правка | Наверх | Cообщить модератору

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

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

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

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

	54. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Аноним (54), 13-Фев-26, 18:49
	>и вообще тяготеет к паскалеподобным языкам. Как будь-то что-то хорошее. >Все равно отступы все делают для читабельности. Отсупы можно проставлять и удалять полностью автоматически. У окамла есть интеграция и emacs-ом, про табуляцию можно вообще забыть.
	Ответить | Правка | Наверх | Cообщить модератору

	56. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	–1 +/–
	Сообщение от Сладкая булочка (?), 13-Фев-26, 19:21
	>>Все равно отступы все делают для читабельности. > Отсупы можно проставлять и удалять полностью автоматически. У окамла есть интеграция и > emacs-ом, про табуляцию можно вообще забыть. Если нет отступов, то для группировки используются другие символы. А учитывая, что все равно отступы будут, то разницы нет. К тому же любой нормальный редактор может сохранять отступ  при переходе на новую строку и умеет двигать блоки текста, чтобы сразу отступ изменить. Таким образом, разговоры о том, что отступы мешают, а }, end, whatever else нет - детский лепет.
	Ответить | Правка | Наверх | Cообщить модератору

	60. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Аноним (54), 14-Фев-26, 14:19
	>А учитывая, что все равно отступы будут, то разницы нет. Разница есть сразу же. Есть двухмерный список let a = [   [     1   ] ] Если удалить внутренние скобки, то ocamlformat может переформатировать код let a = [   1 ] Пример можно посмотреть на https://try.ocamlpro.com/ >К тому же любой нормальный редактор может сохранять отступ  при переходе на новую строку и умеет двигать блоки текста, чтобы сразу отступ изменить. Требовать вручную редактировать отступ, это всё равно, что заставлять писать код в ворде и вручную раскрашивать синтаксис, а без раскраски выдавать ошибку компиляции. С ocamlformat отступ не нужно редактировать вообще, он ставится полностью автоматически. А вы так и будете набивать отступ руками, пускай и по несколько пробелов за раза.
	Ответить | Правка | Наверх | Cообщить модератору

	63. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	–1 +/–
	Сообщение от Сладкая булочка (?), 14-Фев-26, 21:49
	>>А учитывая, что все равно отступы будут, то разницы нет. > Разница есть сразу же. Есть двухмерный список Не понятно как это относится к теме. >>К тому же любой нормальный редактор может сохранять отступ  при переходе на новую строку и умеет двигать блоки текста, чтобы сразу отступ изменить. > Требовать вручную редактировать отступ, это всё равно, что заставлять писать код в > ворде и вручную раскрашивать синтаксис, а без раскраски выдавать ошибку компиляции. > С ocamlformat отступ не нужно редактировать вообще, он ставится полностью автоматически. > А вы так и будете набивать отступ руками, пускай и по > несколько пробелов за раза. Какая-то надуманная проблема.
	Ответить | Правка | Наверх | Cообщить модератору

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

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

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

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

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

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

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

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

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

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

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

	45. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+1 +/–
	Сообщение от Аноним (45), 13-Фев-26, 09:25
	>> те самые конторы, которые пишут твой любимы Линукс, Андроид и Файрфокс > очередные маркетинговые нарративчики Так выкинул или нет? 😂 > и что, твоим тиммейтам по аджайлу такое заходит? Заходит, как ты сыпишь тут лицемерием - а потом вот извиваешься на сковороде.
	Ответить | Правка | Наверх | Cообщить модератору

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

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

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

	55. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Аноним (54), 13-Фев-26, 18:55
	>Решает проблему потребности в языке с нормальным высокоуровневым синтаксисом типа Python, "Высокоуровневый синтаксис" - ыксперты как всегда в ударе. Синтаксис не может быть высокоуровневым. >а не упоротым как Rust Очередной не0силят0р. >и результат работал на близких к сишному коду скоростях Go, Ocaml, Haskell, Dlang и куча других.
	Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

	61. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от BrainFucker (ok), 14-Фев-26, 15:24
	Язык это всегда про синтаксис. Никто не запрещает создать альтернативный компилятор/интерпретатор того же языка, который будет что-то делать по другому. > Go, Ocaml, Haskell, Dlang и куча других. Мне обязательно надо было перечислять все альтернативы Nim?
	Ответить | Правка | Наверх | Cообщить модератору

	65. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Аноним (54), 15-Фев-26, 16:46
	>Язык это всегда про синтаксис. Не только. >Никто не запрещает создать альтернативный компилятор/интерпретатор того же языка, который будет что-то делать по другому. Смотря что. Менять можно в очень ограниченных рамках, иначе код это не переживёт. >Мне обязательно надо было перечислять все альтернативы Nim? Есть целая куча альтернатив, и совершенно непонятно, зачем выбирать nim
	Ответить | Правка | Наверх | Cообщить модератору

	67. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от BrainFucker (ok), 15-Фев-26, 17:54
	Ну, последнее предложение совсем забавное, можно сказать про любой язык, когда ищется альтернатива среди альтернатив (ну типа альтернативы дефолтам типа bash, python, C и т.д.).
	Ответить | Правка | Наверх | Cообщить модератору

	68. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Аноним (54), 15-Фев-26, 20:53
	И близко нет. По каждой возможности у языка есть конкуренты, чем боьше язык может предложить возможностей - тем труднее найти ему альтернативу. Если брать компиляцию в машинный код, плюс продвинуют типизацию(хотя-бы на уровне null safety) и автоматическое управление памятью, то выбор сократится до ML семейства, плюс несколько языков вроде crystal. Ни голанг, ни паскаль, ни си, ни джаваскрипт, ни питон под эти критерии уже не подойдут. Если к этому добавить быструю компиляцию, то выбор сократится плюс-минус до ocaml и целой кучи малоизвестных языков, на которых есть только стандартная библиотека и может быть ещё парочка библиотек, а всё остально нужно писать самостоятельно. Всё, ocaml безальтернативен. Дальше, вопрос в том, насколько та или иная возможность востребована. Вот Nim предлагает остутствие остановок мира. Нужно ли это? Сейчас к джаве и питону добавился голанг, показывая, что даже в системных и сетевых программах сборка мусора как правило не мешает. Компьютерные игры? C++ никуда не делся.
	Ответить | Правка | Наверх | Cообщить модератору

	58. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Аноним (58), 13-Фев-26, 21:14
	проблему того, что есть концептуально хороший язык Ada, но на паскалеподобном языке никто писать не хочет
	Ответить | Правка | К родителю #8 | Наверх | Cообщить модератору

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

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

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

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

	41. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Аноним (-), 13-Фев-26, 02:45
	> Как показывает новость, связи абсолютно никакой. Чтобы говорить что связи _абсолютно_ никакой, тебе надо показать отсутствие корреляции между тем и этим. Ты делаешь это на основании одного примера, и потом начинаешь аппелировать к математике. Такая аппеляция очень убеждает, да.
	Ответить | Правка | Наверх | Cообщить модератору

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

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

	57. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Аноним (16), 13-Фев-26, 19:30
	> Ты пытаешься вывести из частного случая общую закономерность. Проделать индукционный переход > аппелировал к математике > _математическая_ индукциия, требует разобрать вообще все случаи, коих очень часто бесконечное количество Чел, ты сейчас льешь абсолютно бессмысленное абстрактное словоблудие. Не умеешь в причинно-следственные связи и элементарную логику - твои проблемы.
	Ответить | Правка | Наверх | 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ообщить модератору

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

	42. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	–3 +/–
	Сообщение от Аноним (42), 13-Фев-26, 03:35
	Для сравнения раст с которым все носятся вообще не имеет формальной верификации, но почему-то люди называют его безопасным. Тут хотя бы алгоритм верифицировали, что уже говорит что парень знает о верифицируемых языках (не то что инвалид придумавший раст) - лучше чем ничего.
	Ответить | Правка | К родителю #13 | Наверх | Cообщить модератору

	47. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+1 +/–
	Сообщение от Аноним (45), 13-Фев-26, 09:32
	> почему-то люди называют его безопасным Потому что безопасный он только в аспекте работы с памятью, а не вообще.
	Ответить | Правка | Наверх | 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ообщить модератору

39. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+1 +/–
Сообщение от Аноним (38), 13-Фев-26, 01:07
> YRC позиционируется как "почти последний сборщик циклов на основе подсчёта ссылок" (буква Y предшествует Z в алфавите), а также как самый простой потокобезопасный сборщик мусора - по утверждению автора, он не требует множества сложных механизмов, присущих традиционным трассирующим сборщикам мусора А насколько он хорош в реальном проде мы скоро узнаем. А нет, не узнаем, никакого реального прода на этом очередном нескучном ЯП не написано.
Ответить | Правка | Наверх | Cообщить модератору

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

	59. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Devou (ok), 14-Фев-26, 12:11
	Браузер chawan на нем написан.
	Ответить | Правка | К родителю #39 | Наверх | Cообщить модератору

69. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
Сообщение от Аноним (69), 15-Фев-26, 21:25
Очень интересно, но вместе с языком, совершенно никому не нужно.
Ответить | Правка | Наверх | Cообщить модератору

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

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