Anonymous
Единственное что ты можешь чтобы гарантировать границы ошибок - запретить общий стейт.
Anonymous
То есть, отсюда каналы, принципиально на memcopy
Anonymous
Тебе это не надо? Используй ссылки.
Ayrat
Мы же про общий случай
А я про конкретный. Рантайм необязательно голыми поинтерами должен обладать. У него конечно же может и будет инфа что с этим поинтером делать
Anonymous
Копируй ссылки
Anonymous
Anonymous
Можешь ещё перфоманс Эрланга взять. Там нет даже ссылок.
Anonymous
Иммутпбельнлсть на уровне байтмашины
Vasily
Есть байтоебы, а есть рутиноебы
Vasily
Async ebar
Roman
Прочитал ваш тред, и даже если предположить, что горутины недостижимо лучше, чем то, что есть или может быть создано на дотнете, то все равно язык говно, и на одних корутинах далеко не уедешь.
Вон, дохуя ынтерпрайза крутится на джаве, где даже тасков/асинков нет, так что корутины — точно не бизнес критикал фича
Roman
Нормальная работа с ошибками гораздо чаще требуется, чем корутина
Anonymous
Прочитал ваш тред, и даже если предположить, что горутины недостижимо лучше, чем то, что есть или может быть создано на дотнете, то все равно язык говно, и на одних корутинах далеко не уедешь.
Вон, дохуя ынтерпрайза крутится на джаве, где даже тасков/асинков нет, так что корутины — точно не бизнес критикал фича
Так ведь не о том была речь. А о том, что для некоторых систем, в частности телекоммуникации, нужны именно гарантии уровня рантайма, не уровня программиста. С ними легче жить. Но вообще, многие распределенные системы на практике очень сильно страдают от каскадных сбоев.
Anonymous
А каскадные отказы это прямое следствие нарушения изоляции.
Anonymous
И если за это надо заплатить копированием данных, то в отдельных случаев это честная цена.
Anonymous
Тем более, что в Эрланга сериализация и десерализация почти бесплатные.
Roman
А чем иммутабельные данные хуже копирования?
Anonymous
Это не плохо, это просто по-другому.
Roman
Ну это было бы проблемой, если б работа с иммутабельными данными была неудобной (как в сишарпе, например). А когда язык позволяет это делать легко и органично — я проблемы не вижу. От дебилов ты все равно не защитишься никаким рантаймом
Anonymous
Roman
Так а нахуй тогда этот го нужен? Вроде в этом был вопрос
Roman
какую проблему он решает лучше других?
Anonymous
Ну если ситуации, в которых еботня с иммутабельными данными это дно.
Anonymous
Возьми типичное приложение на Го из 10-20 горутин, 10% из которых грузят CPU, и остальное IO и перепиши их на иммутабельннве данные.
Anonymous
Расскажешь потом как там в аду.
Roman
не понимаю, в чем проблема и почему это будет ад
Roman
пока похоже на то, что го нужен, когда у вас есть приложение на го
Anonymous
Anonymous
Или это ты так предполагаешь?
Anonymous
У меня ощущение что мы о вкусе вина спорим.
Anonymous
Ты попробуй, станет ясно вкусно или нет.
Roman
ну нет, это не субъективщина нихуя
Vasily
Го, я создал (с)
Evgen
Anonymous
ну нет, это не субъективщина нихуя
Это обыкновенная инженерная безграмотность. За Го стоят фундаментальные математические труды, автором которых является тот самый Тони Хоар. У истоков проекта стоят люди, которые разбираются в мультипоточном программировании гораздо лучше чем ты и я, взятые вместе. От того, что ты слепо хаешь то, чего не пробовал, не выигрывает никто, особенно твоя квалификация. И если столько умных людей вложили в это столько сил, то в этом точно что-то есть. Возможно, оно тебе не пригодится здесь и сейчас, но ругать или критиковать надо за дело, а не потому что ты нИпОнИмАеШь.
Evgen
Придерживаюсь такой же позиции
Evgen
Но го не впечатляет когда кодишь на нем. Складывается впечатление что язык шагнул на десятилетия назад
Evgen
Есть мнение что язык бы давно бы и загнулся, не будь имя гугла за ним
Vasily
С дартом такая же история
Roman
Это обыкновенная инженерная безграмотность. За Го стоят фундаментальные математические труды, автором которых является тот самый Тони Хоар. У истоков проекта стоят люди, которые разбираются в мультипоточном программировании гораздо лучше чем ты и я, взятые вместе. От того, что ты слепо хаешь то, чего не пробовал, не выигрывает никто, особенно твоя квалификация. И если столько умных людей вложили в это столько сил, то в этом точно что-то есть. Возможно, оно тебе не пригодится здесь и сейчас, но ругать или критиковать надо за дело, а не потому что ты нИпОнИмАеШь.
что ты несешь. Во-первых, я против горутин/корутин/кококорутин ничего не имею. Во-вторых, я задал тебе конкретный вопрос — в чем будет сложность переписывания с этих горутин, например, на гопак. И в-третьих, в го есть объективно слабые места в дизайне, и абсолютно похуй, какие там умы за ними стояли, если сам результат получился говном. (Я про систему типов, обработку ошибок и тд)
Vasily
Кстати
Vasily
@theycallmewildrose , когда в го генерики добавят?
Roman
и типы-суммы, пожалосто
Anonymous
Anonymous
Или как там его
Anonymous
Они ж вообще не хотели язык общего назначенияделать
Anonymous
Их только CSP интересует
Anonymous
Потому что сам Хоар не программист
Anonymous
Теорию разработал, имплементации не осилил
Anonymous
Это уже Гугл пытается из этого слона слепить.
Anonymous
Он тысячу раз повторял, что Го это очень простой и примитивный язык, у которого только одна хорошая фича - имплементация CSP
Anonymous
Апач
Апач
Есть динамическая и секвенциальная
Апач
Они мощнее
Alex
Anonymous
вот в частности
Anonymous
у го есть дедлок детектор
Alex
сепарационная может?
Anonymous
встроенный
Hog
Апач
Anonymous
этот дедлок детектор это как бы теорема, доказанная Хоаром. я деталей не знаю, не буду умничать, но знаю, что это родом оттуда.
Anonymous
я не говорю, что все должны поклоняться Го. просто не надо поносить то, что непонятно.
Alex
если брать семейство аксиоматических семантик то там да, динамическая логика и вариации на тему логики Хоара + WP-калькулуса Дейкстры
Апач
Anonymous
сокращенно CSP
Alex
но это не логика
Alex
оно неконфлюэнтно
Апач
Не логика
Апач
Апач
На перевес
Alex
ну хоар много чего напридумывал :)