Телеграмм чат группы fsharp_flood страница 9377

parrot.ru

Рейтинг популярных групп и каналов

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

групп:

каналов:

Виртуальный сервер на 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

я не сильно понимаю, почему это может быть здравая идея. Result<> традиционно используется, чтобы заэнкодить два разных состояния, каждое из которых может быть детализировано (DU для успешных операций, DU для неуспешных) и явно зафорсить два разных обработчика для обеих видов возврата. если кому-то нужно только значение из Result - зачем заворачивать возврат в Result?

Тут идея в том, что у тебя может быть дефолтное значение для типа результата.

И ты хочешь, если пришел результат, то получить его, а если пришла ошибка, то залоггировать её и взять дефолтный результат.

источник

18:10пожаловаться #1

SN

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

Тут идея в том, что у тебя может быть дефолтное значение для типа результата.

И ты хочешь, если пришел результат, то получить его, а если пришла ошибка, то залоггировать её и взять дефолтный результат.

что в принципе делается таким же количеством строк без морфизмов и странных конверсий Result<a,b> -> Result<a,a>

источник

18:22пожаловаться #2

DS

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

что в принципе делается таким же количеством строк без морфизмов и странных конверсий Result<a,b> -> Result<a,a>

Поэтому я и сказал, что это можно в отдельную фукнцию с разумным названием спрятать и будет норм.

источник

18:22пожаловаться #3

КП

Крылатый Пегас... in F# Flood: ПДД made functional, making illegal state INGIBDDdale

Vasiliy Pereverzev

Epic Games анонсировала Unreal Engine 5 и показала длинное демо на движке, которое работает на PS5.

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

https://dtf.ru/hard/135122

Нет RTX, дизлойс отпизка

источник

18:31пожаловаться #4

SN

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

Поэтому я и сказал, что это можно в отдельную фукнцию с разумным названием спрятать и будет норм.

хз, я не вижу никакого выигрыша, ни от функции, ни от логики. кодировать логику дефолтным значением резалта - а зачем нам системы типов тогда? давайте неуспешное тоже кодировать значением, например пустым списком, или там каким-то bottom value

источник

18:36пожаловаться #5

DS

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

хз, я не вижу никакого выигрыша, ни от функции, ни от логики. кодировать логику дефолтным значением резалта - а зачем нам системы типов тогда? давайте неуспешное тоже кодировать значением, например пустым списком, или там каким-то bottom value

Ну значение может быть по логике. Т.е. какой-нибудь fallback по бизнес-логике - это нормально.

источник

18:37пожаловаться #6

КП

Крылатый Пегас... in F# Flood: ПДД made functional, making illegal state INGIBDDdale

хз, я не вижу никакого выигрыша, ни от функции, ни от логики. кодировать логику дефолтным значением резалта - а зачем нам системы типов тогда? давайте неуспешное тоже кодировать значением, например пустым списком, или там каким-то bottom value

bottomless

источник

18:37пожаловаться #7

DS

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

хз, я не вижу никакого выигрыша, ни от функции, ни от логики. кодировать логику дефолтным значением резалта - а зачем нам системы типов тогда? давайте неуспешное тоже кодировать значением, например пустым списком, или там каким-то bottom value

Ну здесь не логика, здесь что-то типа, если такой-то процесс прошел успешно, то возьми значение из него, если нет - залоггируй причину и возьми такое-то fallback значение.

источник

18:37пожаловаться #8

DS

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

Я могу представить случаи, где это и есть поведение по бизнес логике.

источник

18:39пожаловаться #9

SN

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

Ну здесь не логика, здесь что-то типа, если такой-то процесс прошел успешно, то возьми значение из него, если нет - залоггируй причину и возьми такое-то fallback значение.

это твое предположение. я вот смотрю на остальной код - там что-то дикое происходит, там смесь валидации с операциями и по ходу этот choice вообще не нужен, т.к. валидируются данные, создаваемые в соседнем модуле

источник

18:40пожаловаться #10

DS

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

это твое предположение. я вот смотрю на остальной код - там что-то дикое происходит, там смесь валидации с операциями и по ходу этот choice вообще не нужен, т.к. валидируются данные, создаваемые в соседнем модуле

Я же не знаю контекста, я описываю скорее где может понадобится функция подобного плана в общём случае.

Как пример, в расте тот же unwrap_or_else есть из коробки на резалте именно с таким поведением.

источник

18:42пожаловаться #11

SN

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

@grishace есть где-то нормальный гайд по asyncseq? кроме блога петрищчика и недописанной офдоки ничего не находится

источник

19:09пожаловаться #12

оГ

отец Григорий... in F# Flood: ПДД made functional, making illegal state INGIBDDdale

@grishace есть где-то нормальный гайд по asyncseq? кроме блога петрищчика и недописанной офдоки ничего не находится

Это оно :(

источник

19:09пожаловаться #13

I

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

@vshapenko а ваше приложение на f# можно скачать/посмотреть? под android

источник

20:03пожаловаться #14

VS

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

Пока нет

источник

20:12пожаловаться #15

I

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

давайте уже, а то нечем крыть что "на xamarin не пишут софт"

источник

20:16пожаловаться #16

VS

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

@grishace есть где-то нормальный гайд по asyncseq? кроме блога петрищчика и недописанной офдоки ничего не находится

у меня есть небольшой пример) https://github.com/fsharplang-ru/pulsar-client-dotnet/blob/develop/src/Pulsar.Client/Internal/MultiTopicsConsumerImpl.fs#L72-L82

fsharplang-ru/pulsar-client-dotnet

Apache Pulsar native client for .NET (C#/F#/VB). Contribute to fsharplang-ru/pulsar-client-dotnet development by creating an account on GitHub.

источник

20:19пожаловаться #17

AH

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

Vladimir Shchur

у меня есть небольшой пример) https://github.com/fsharplang-ru/pulsar-client-dotnet/blob/develop/src/Pulsar.Client/Internal/MultiTopicsConsumerImpl.fs#L72-L82

fsharplang-ru/pulsar-client-dotnet

Apache Pulsar native client for .NET (C#/F#/VB). Contribute to fsharplang-ru/pulsar-client-dotnet development by creating an account on GitHub.

А можно было сразу через match!

источник

20:20пожаловаться #18

AH

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

Я кстати не проверял, там возможно чуть получше кодген

источник

20:20пожаловаться #19

AH

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

Надо посмотреть

источник

20:20пожаловаться #20