Телеграмм чат группы pro

Size: a a a

pro.net

1518 membersпожаловаться на группу

2021 April 23

Ayrat Hudaygulov in pro.net

сегодня квас был. Но уже посетили мысли о винище

источник

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

Aloraman in pro.net

Один инстанс - да, тип Unit
Прост Void уже занят, а полноценный Bottom тип тоже невозможен в CLR
Поэтому кажется норм звать Unit тип None , а Bottom тип - Never (в котором на все exception кидается и экземпляр породить нельзя)
None в принципе подходит для Unit. None - пустое множество конечно, но все возможные его значения {None} уже с кардинальным числом 1

источник

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

Ayrat Hudaygulov in pro.net

не знаю зачем ты так упираешь на CLR, такое ощущение что кастомеры твоей библиотеки пишут на голом IL

источник

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

Aloraman in pro.net

Хочется ж не только на монады дрочить, но и байты ебать!

источник

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

Ayrat Hudaygulov in pro.net

это как сокрушаться что bottom type невозможен в ассемблере поэтому на CLR нихуя написать нельзя

источник

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

Ayrat Hudaygulov in pro.net

а почему бы не сделать класс с приватным конструктором? для целей монадоебли сойдет

источник

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

Ayrat Hudaygulov in pro.net

type Void private () = class end

источник

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

Aloraman in pro.net

Похоже на https://github.com/JetBrains/rd/blob/master/rd-net/Lifetimes/Core/Nothing.cs

GitHub

JetBrains/rd

Reactive Distributed communication framework for .net, kotlin, js. Inspired by Rider IDE. - JetBrains/rd

источник

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

Ayrat Hudaygulov in pro.net

Ну да) Нормальный же план. Тебе этот Nothing/Never/Void только для тайпчеков нужен

источник

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

Aloraman in pro.net

Да у меня уже есть)

источник

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

Aloraman in pro.net

Если назвать bottom Never можно такую херню запилить
public static Never Reached
{
[ContractAnnotation("=> halt")]
get => throw new InvalidOperationException("This invocation must be unreachable");
}

источник

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

Aloraman in pro.net

и делать return Never.Reached и Never.Invoked()

источник

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

Mark Shevchenko in pro.net

Either не надо делать структурой. Пусть будет классом с обязательным конструктором. И будет счастье!

источник

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

Mark Shevchenko in pro.net

А в F# Result вообще превращается в иерархию из трёх классов. :)

источник

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

Ilya L Che in pro.net

Кажется, решили, но тебе не понравится.
https://github.com/dotnet/csharplang/issues/1407

GitHub

Proposal: Allow [AsyncMethodBuilder(...)] on methods · Issue #1407 · dotnet/csharplang

EDIT: Proposal added 11/5/2020: https://github.com/dotnet/csharplang/blob/master/proposals/async-method-builders.md Background AsyncMethodBuilderAttribute can be put on a type to be used as the ret...

источник

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

Aloraman in pro.net

Но как же байты.
Хотя вариант если со стека не уезжать, то жирненькую структуру Either, а для долговременных ситуаций класс OneOf

источник

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

Ayrat Hudaygulov in pro.net

блеать.

то есть предлагается на каждый метод с валуетаском вешать кастомный асинкБилдер?

[AsyncMethodBuilder(UseMyCustomValueTaskSourceMethodBuilder)]
public async ValueTask<T> SomeMethodAsync() { … }

источник

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

Ayrat Hudaygulov in pro.net

Ну не, это не решение

источник

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

Ilya L Che in pro.net

О, нашёл.
https://github.com/dotnet/roslyn/issues/52192
Просто всё обмазано нуллабилити.

GitHub

Test plan for lambda improvements · Issue #52192 · dotnet/roslyn

Proposal: lambda-improvements.md Branch: features/lambdas Attributes Parsing static lambdas async lambdas With parameter types Without parameter types With parameter ref specifiers Without paramete...

источник

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

Ayrat Hudaygulov in pro.net

тебе в раст!

источник

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