В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

F# Flood: ПДД made functional, making illegal state INGIBDDdale

200 membersпожаловаться на группу
2020 May 13

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Shub Niggurath
видишь ли, комизм ситуации в том, что конкретно эта кодобаза застряла на уровне F# 3.5, поэтому племенное знание - это что Choice на самом деле Result. и в связи с этим я хочу поинтересоваться: какой больной ублюдок придумал использовать Result<a,a>?
Ну в процессе преобразований (за счёт mapr) получают Result<a,a>, ну а дальше нужна функция, чтобы достать оттуда единственное значение.

Нормальные люди её называют fromResult, см:
https://hoogle.haskell.org/?hoogle=Either%20a%20a%20-%3E%20a%20

У вас решили выпендреться
источник
17:21пожаловаться#1

оГ

отец Григорий... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Shub Niggurath
видишь ли, комизм ситуации в том, что конкретно эта кодобаза застряла на уровне F# 3.5, поэтому племенное знание - это что Choice на самом деле Result. и в связи с этим я хочу поинтересоваться: какой больной ублюдок придумал использовать Result<a,a>?
а внутри a - код ошибки? :)
источник
17:22пожаловаться#2

IC

Iλyα Che in F# Flood: ПДД made functional, making illegal state INGIBDDdale
источник
17:22пожаловаться#3

SN

Shub Niggurath in F# Flood: ПДД made functional, making illegal state INGIBDDdale
отец Григорий
а внутри a - код ошибки? :)
ну если он в обоих веточках находится, то как он может быть кодом ошибки?
источник
17:24пожаловаться#4

IC

Iλyα Che in F# Flood: ПДД made functional, making illegal state INGIBDDdale
О, кажется, я понял, какую проблему пытаются решить линзы. Хороший документик.
источник
17:26пожаловаться#5

SN

Shub Niggurath in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Ну в процессе преобразований (за счёт mapr) получают Result<a,a>, ну а дальше нужна функция, чтобы достать оттуда единственное значение.

Нормальные люди её называют fromResult, см:
https://hoogle.haskell.org/?hoogle=Either%20a%20a%20-%3E%20a%20

У вас решили выпендреться
это какое- то шизотипическое мышление, ты не находишь?
источник
17:27пожаловаться#6

оГ

отец Григорий... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Shub Niggurath
ну если он в обоих веточках находится, то как он может быть кодом ошибки?
| Error ({ Oshibka = x }) -> ...
источник
17:28пожаловаться#7

КП

Крылатый Пегас... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
отец Григорий
| Error ({ Oshibka = x }) -> ...
У меня перманентные флешбеки от таких названий
источник
17:28пожаловаться#8

оГ

отец Григорий... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Крылатый Пегас
У меня перманентные флешбеки от таких названий
уретрирую
источник
17:29пожаловаться#9

КП

Крылатый Пегас... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
отец Григорий
уретрирую
Пожалуйста, только не при всех.
источник
17:29пожаловаться#10

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Shub Niggurath
это какое- то шизотипическое мышление, ты не находишь?
Ну идея была сделать что-то вроде unwrap_or_else в том же расте, как бы идея здравая, но реализация так себе.
источник
17:29пожаловаться#11

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Как минимум надо было в отдельную функцию выделить вот это mapr |> codiag и назвать её приличнее.
источник
17:29пожаловаться#12

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
member unwrapOrElse с AutoOpen и вперед
источник
17:58пожаловаться#13

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Как с крышкой делают
источник
17:58пожаловаться#14

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
https://hisham.hm/2020/01/20/dynamic-type-systems-arent-even-simpler/
hisham.hm
Dynamic type systems aren't even simpler - hisham.hm
Personal webpage of Hisham Muhammad, developer of htop, LuaRocks and GoboLinux.
источник
18:00пожаловаться#15

IC

Iλyα Che in F# Flood: ПДД made functional, making illegal state INGIBDDdale
You follow through the code to see all places that third argument is used and realize the accepted type of the third argument depends on what you give to the second argument.

А зачем так делать?
источник
18:03пожаловаться#16

VP

Vasiliy Pereverzev in F# Flood: ПДД made functional, making illegal state INGIBDDdale
там графон показывают
источник
18:04пожаловаться#17

IC

Iλyα Che in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Iλyα Che
You follow through the code to see all places that third argument is used and realize the accepted type of the third argument depends on what you give to the second argument.

А зачем так делать?
Это ж выстрел в ногу почти гарантированный.
источник
18:04пожаловаться#18

VP

Vasiliy Pereverzev in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Epic Games анонсировала Unreal Engine 5 и показала длинное демо на движке, которое работает на PS5.

Первая полноценная демонстрация возможностей консолей нового поколения.

https://dtf.ru/hard/135122
источник
18:05пожаловаться#19

SN

Shub Niggurath in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Ну идея была сделать что-то вроде unwrap_or_else в том же расте, как бы идея здравая, но реализация так себе.
я не сильно понимаю, почему это может быть здравая идея. Result<>  традиционно используется, чтобы заэнкодить два разных состояния, каждое из которых может быть детализировано (DU для успешных операций, DU для неуспешных) и явно зафорсить два разных обработчика для обеих видов возврата. если кому-то нужно только значение из Result - зачем заворачивать возврат в Result?
источник
18:07пожаловаться#20