Еще не читал, но чую, сперли дизайн у раста
На реддите та же мысль проскакивала
Ayrat
Éminence grise
Не не сперли. Совсем фигня. Код ни разу не понятней стал.
Éminence grise
Обработчик ошибки перед вызовом. Это уже совсем инверсия мозга.
Éminence grise
Они реально считают, что в расте как у них, а ни как в F# - или типы. Убиться
Ayrat
Обработчик ошибки перед вызовом. Это уже совсем инверсия мозга.
Пахнуло vba, я там делал обработчики ошибок в конце процедуры, а чтобы код процедуры до них не доходил ,делал exit sub прям перед ними
Éminence grise
Да нет, рулит теперь коллектив
Éminence grise
Судя по последним действиям.
Bonart
Обработчик ошибки перед вызовом. Это уже совсем инверсия мозга.
Почему? С учетом их подхода к defer это выглядит последовательным
É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
Оба сразу - это если бы они сделали свой тапл (result, error) нашим резултом с типом генерик и примотали бы к своему непрерывному await еще и ранний возврат ошибки.
Такими губищами да медку бы навернуть :)
Éminence grise
Да, я такой, медок люблю 😊
Ayrat
Éminence grise
А это и есть монада - Ehter называется.
Bonart
Думаю к третьей версии они и do-нотацию введут
Éminence grise
У них и так в языке монада в самом корне - любой вызов - это await
Ayrat
Да вот да. Я к тому что монады а го ещё нескоро завезут
Bonart
А Пайка все-таки передадут лечащим врачам
Bonart
У них и так в языке монада в самом корне - любой вызов - это await
Любой или только горутины?
É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
Наследие тяжелое, хромать будет на оба крыла.
Главное - они, похоже, поняли что настоящий кризис у них в головах
Bonart
Ибо главный косяк го - ебанутые фанаты, начиная с Пайка
Romɑn
Ибо главный косяк го - ебанутые фанаты, начиная с Пайка
Ну легко же и платят сразу, потому что Гугл
Éminence grise
Настоящий кризис - это когда умный архитект начинает командовать индусами, и понимает, что им до всех этих наследований, полиморфизмов, монад и т.д. - как до луны на карчках попой вперед. Вот тогда приходит могучий гугл и дает денег полубезумному Пайку, который сочиняет более менее безопасный многопоточный Cдля индусов. Потом приходят хипстеры от программирования, которые то же не спецы ни разу, и изобретают Go way (синоним "дорога через жопу"). Зато дешево.
Éminence grise
Во блин, они в дженериках дальше скалы пошли. У ни вообще круглые скобки будут.
Éminence grise
Keys(int, string)(map[int]string{1:"one", 2: "two"}) - это вообще как скомпилируется.
Ayrat
Keys(int, string)(map[int]string{1:"one", 2: "two"}) - это вообще как скомпилируется.
Теоретически, полиморфную функцию можно рассматривать как функцию принимающую типы как аргументы...
Так что Keys(int, string) это функция принимающая два типа и возвращающая другой тип.... Я хз почему они не сделали <> как в полюсах, джаве, шарпе
Roman
щоб не как все?
Анна
Это же наверное известная проблема неоднозначности синтаксиса, потому что скобок очень мало, а угловые можно спутать с больше-меньше
Ayrat
Это же наверное известная проблема неоднозначности синтаксиса, потому что скобок очень мало, а угловые можно спутать с больше-меньше
Замечу что в примере выше есть два вида скобок для обозначения типов
Ayrat
Map[int]string
What an abomination!
gsomix
Что это значит?
gsomix
В квантовой природе вообще нет императивного состояния например.
Ayrat
В квантовой природе вообще нет императивного состояния например.
То что там все недетерминированно
Ayrat
Описывается декларативно как возможность иметь то или иное состояние и в итоге объект находится в суперпозиции всех возможных состояний
Ayrat
Но про императивность\декларативность в квантовой теории это вольная трактовка
Doge
Ну квантовые вычисления и ФП - это относительно спорный вопрос. Что-то похожее есть, но разница все равно большая.
В целом обычно квантовые вычисления описываются набором унитарных операторов над изначальным состоянием. (Есть измерение, но его обычно можно в самом конце производить, просто чтобы извлечь информацию из финального состояния)
Из этого вытекает важная вещь: до момента измерения вычисления будут полностью обратимы (спасибо унитарности операторов).
С ФП это особо не соотносится, потому что в нём про обратимость/необратимость ничего не говорится и многие стандартные операции в нём теряют информацию и соответсвенно не обратимы.
Doge
Поэтому, имхо, какой-нибудь Q# (который пытается эмулировать обычный ЯП) куда хуже подходит для описания именно квантовых алгоритмов, чем тот же qasm или запись через гейты, которые именно про последовательность операторов
gsomix
Ещё бы знать, что такое ФП.
Nikolay
Папирус?
gsomix
https://en.m.wikipedia.org/wiki/Functional_programming
Мы все прекрасно знаем, что каждый понимает под этим что-то своё.
Ayrat
Мы все прекрасно знаем, что каждый понимает под этим что-то своё.
Хз, мое представление очень похоже на описание в Вики. Ну там лямбды и вот это вот все. А у тебя как?
gsomix
У меня никак.
gsomix
А что нужно?
Что-то другое. Я хоть и не в ойти, но вкатываться туда желания все меньше и меньше.
Anonymous
@gsomix не нравится айти как самоцель?