Ayrat
Éminence grise
Не не сперли. Совсем фигня. Код ни разу не понятней стал.
Éminence grise
Обработчик ошибки перед вызовом. Это уже совсем инверсия мозга.
Éminence grise
Они реально считают, что в расте как у них, а ни как в F# - или типы. Убиться
Bonart
Éminence grise
Да нет, рулит теперь коллектив
Éminence grise
Судя по последним действиям.
Éminence grise
defer все же ближе к using через зад. Без скобок. в принципе, почти как use, но с явной реализацией диспоза. А это вообще не знаю что.
Bonart
На шарпе бывает сходно писать можно. Захватываешь что-нибудь - и сразу пишешь код освобождения и цепляешь его к CompositeDisposable
Bonart
И политики обработки исключений делаешь отдельно от бизнес-кода
Éminence grise
ПОСЛЕ вызова создания. А политики я здесь не увидел.
Bonart
Дык "обработка ошибок до вызова" - и есть "сначала мы определеяем политику" с точностью до сахара
Éminence grise
Обработка ошибок с функциональной точки зрения как раз в расте оптимальна. И очень красива.
Bonart
Ничего против раста не имею. Просто нововведения в го вполне понятны и логичны - пытаются исправить оба главных маразма сразу
Bonart
Но го - совсем не функциональный язык
Éminence grise
Функциональный. Только кривой.
Ayrat
Bonart
Éminence grise
Оба сразу - это если бы они сделали свой тапл (result, error) нашим резултом с типом генерик и примотали бы к своему непрерывному await еще и ранний возврат ошибки.
Bonart
Éminence grise
Да, я такой, медок люблю 😊
Ayrat
Éminence grise
А это и есть монада - Ehter называется.
Bonart
Думаю к третьей версии они и do-нотацию введут
Éminence grise
У них и так в языке монада в самом корне - любой вызов - это await
Ayrat
Да вот да. Я к тому что монады а го ещё нескоро завезут
Bonart
А Пайка все-таки передадут лечащим врачам
Bonart
Éminence grise
goroutine - это Task.Run
Éminence grise
Как раз без await
Bonart
К третьей версии и мы, коллеги, можем на го писать начать
Éminence grise
Только у них конвейр построен, как в Hopac- синхронно
Ayrat
Меня этим нода привлекала. Любой системный вызов неблокирующий. Передача асинков в функцию с авто евейтом и биндингом. Красота, хоть все и неявно
Éminence grise
Это врядли. Во всяком случае пока есть другие варианты. Я хоть и пишу на нем при необходимости, но квалификации писать на этой убогой системе типов что то чложнее веб вервера - увольте.
Romɑn
Интересно вас читать, продолжайте, пожалуйста
Romɑn
Я будто умнее становлюсь
Bonart
Ayrat
Éminence grise
Наследие тяжелое, хромать будет на оба крыла.
Éminence grise
Мы вот то же не можем откинуть объектные таплы - компатибилити сломается. И между прочим, дизайн оптион изначально хуже, чем у StructOption
Éminence grise
И Result нажо было сразу делать структурой. И метапрораммирование вместо тайп провайдеров.
Bonart
Ибо главный косяк го - ебанутые фанаты, начиная с Пайка
Romɑn
Éminence grise
Настоящий кризис - это когда умный архитект начинает командовать индусами, и понимает, что им до всех этих наследований, полиморфизмов, монад и т.д. - как до луны на карчках попой вперед. Вот тогда приходит могучий гугл и дает денег полубезумному Пайку, который сочиняет более менее безопасный многопоточный Cдля индусов. Потом приходят хипстеры от программирования, которые то же не спецы ни разу, и изобретают Go way (синоним "дорога через жопу"). Зато дешево.
Éminence grise
Во блин, они в дженериках дальше скалы пошли. У ни вообще круглые скобки будут.
Éminence grise
Keys(int, string)(map[int]string{1:"one", 2: "two"}) - это вообще как скомпилируется.
Roman
щоб не как все?
Ayrat
щоб не как все?
Пока что это единственный аргумент за такой синтаксис.
Анна
Это же наверное известная проблема неоднозначности синтаксиса, потому что скобок очень мало, а угловые можно спутать с больше-меньше
Ayrat
Анна
Ayrat
Map[int]string
What an abomination!
Анна
gsomix
Что это значит?
gsomix
В квантовой природе вообще нет императивного состояния например.
Ayrat
Ayrat
Описывается декларативно как возможность иметь то или иное состояние и в итоге объект находится в суперпозиции всех возможных состояний
Ayrat
Но про императивность\декларативность в квантовой теории это вольная трактовка
gsomix
Ayrat
Чот да.
Не бейте музыканта,он играет как умеет!!
Doge
Ну квантовые вычисления и ФП - это относительно спорный вопрос. Что-то похожее есть, но разница все равно большая.
В целом обычно квантовые вычисления описываются набором унитарных операторов над изначальным состоянием. (Есть измерение, но его обычно можно в самом конце производить, просто чтобы извлечь информацию из финального состояния)
Из этого вытекает важная вещь: до момента измерения вычисления будут полностью обратимы (спасибо унитарности операторов).
С ФП это особо не соотносится, потому что в нём про обратимость/необратимость ничего не говорится и многие стандартные операции в нём теряют информацию и соответсвенно не обратимы.
Doge
Поэтому, имхо, какой-нибудь Q# (который пытается эмулировать обычный ЯП) куда хуже подходит для описания именно квантовых алгоритмов, чем тот же qasm или запись через гейты, которые именно про последовательность операторов
Ayrat
gsomix
Ещё бы знать, что такое ФП.
Nikolay
gsomix
Nikolay
Nikolay
Папирус?
gsomix
У меня никак.
gsomix
А что нужно?
Что-то другое. Я хоть и не в ойти, но вкатываться туда желания все меньше и меньше.
Anonymous
@gsomix не нравится айти как самоцель?