Похоже на траблу с проксями, мы пофиксим в 2018.3.1.

Отлично)

@vshapenko @omgszer а вы какие задачи на фшарпе решали с помощью квотейшнов? Можете дать глянуть пример?

есть две задачи которыми я хотел заняться, но уже не успею 1) по рекордам F# генерить TS типы (для фронтов). Пихаем рекорд в квотейшн, собираем из полученного екпрешна тип TS обратно 2) по рекорду F# генерить ебаный static member (+) и static member Zero. Т.е. кодогенерация банальная. Эту я сделаю

вторую задачу меня так достало руками делать что я обязательно её сделаю

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

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

я чот помню, но не помню

у него там абстрактный класс моноид, но подробностей я тоже не помню

Но я не очень понимаю, как ты будешь генерить эти методы для универсального случая

Это не избавляет от необходимости складывать всё подряд

@vshapenko @omgszer а вы какие задачи на фшарпе решали с помощью квотейшнов? Можете дать глянуть пример?

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

Бля, как хочется op_construct

а sum type и enum когда можно будет разными цветами в райдере???77 @fvnever

Это не избавляет от необходимости складывать всё подряд

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

у него там абстрактный класс моноид, но подробностей я тоже не помню

я вот про такое [<Struct>] type GameStats = { Fga: int // Fga Fgm: int // FG Fta: int // Free throws Attempts Tpa: int // 3PA Tpm: int // 3P Orb: int Drb: int Tov: int Pts: int } static member Zero = { Fga = 0 Fta = 0 Orb = 0 Drb = 0 Fgm = 0 Tov = 0 Pts = 0 Tpm = 0 Tpa = 0 } static member (+) (a,b) = { Fga = a.Fga + b.Fga Fta = a.Fta + b.Fta Orb = a.Orb + b.Orb Drb = a.Drb + b.Drb Fgm = a.Fgm + b.Fgm Tov = a.Tov + b.Tov Pts = a.Pts + b.Pts Tpa = a.Tpa + b.Tpa Tpm = a.Tpm + b.Tpm } type Stats = { OffStats : GameStats DefStats : GameStats } static member Zero = { OffStats = GameStats.Zero DefStats = GameStats.Zero } static member (+) (a,b) = { OffStats = a.OffStats + b.OffStats DefStats = a.DefStats + b.DefStats } ... и т.д.

а sum type и enum когда можно будет разными цветами в райдере???77 @fvnever

Вот на это запили реквест!

Годная мысля.

т.е. эти полотна кода руками писать с мультикурсором быстро, но утомительно

я бы кодогенерил

тем более там алгоритм есть

складываем всё подряд! для zero берём или Zero у поля, или Unchecked.DefaultValue (это плохо, но допустим)

складываем всё подряд! для zero берём или Zero у поля, или Unchecked.DefaultValue (это плохо, но допустим)

имхо лучше констрейнт на мембер Зеро

но я понял твою мысль.

А в квотейшнах можно экстеншены генерить? Типы же вроде нельзя объявлять

А в квотейшнах можно экстеншены генерить? Типы же вроде нельзя объявлять

Можно генерить. потом только надо нагенерённое записать куда-то

Годная мысля.

напишу

фантомас же как делает, он читает файл (с диска), пихает его в компайлерСервис, получает в ответочку AST файла. разчпокивает это AST, модифицирует его собирает из AST обратно строку (с новыми отступами и пр) пишет полученную строку в файл

собсно кодогенерация которую я хотел примерно так же должна работать для моноидов - помечаем желаемые рекорды атрибутом [<IWannaBeMonoid>] натравливаем кодогенератор. Он модифицирует АСТ, убирает эти атрибуты, (или даже оставляет, пофигу) и генерит (+) и Zero, пишет обратно на диск

всё это в дотнет тул обернуть и вуаля

плюс полчаса жизни в день!!!

я хочу быть моноидом но мама не поймет

я хочу быть моноидом но мама не поймет

Возможно даже из дома выгонит.

это да

короче, кодогенерация в F# поле абсолютно непаханное. Надо пахать, потому что руками надоело

java.lang.NullPointerException

well

@fvnever https://youtrack.jetbrains.com/issue/RIDER-16391 https://youtrack.jetbrains.com/issue/RIDER-15125

а оно уже не покрывает это?

а оно уже не покрывает это?

Тыжпрограммист.

Вот ты видишь какой-то эпик "Create separate highlightings for F#"

Как скоро, по-твоему, его сделают?

тогда же когда и лонг неймы в датагрибе

По-моему, примерно никогда такой эпик в таком оформлении сделают.

Напиши там коммент хотяб.

Мол, хочу по-разному энумы и ADT.

Мол, хочу по-разному энумы и ADT.

https://youtrack.jetbrains.com/issue/RIDER-23125

Ну вот другое дело!

у тебя там на аве катана что ль?

Деанон!!!

дак давно уже.

Деанон!!!

он же даже не митапе выступал

Ну не знаю, я сразу после защиты диссера задеанонила 🤔

Теперь я окультуриваюсь в филармонии

👌

как бы это подзарефакторить сраные енумы flags во что-то более приемлемое? и функциональное?

Теперь я окультуриваюсь в филармонии

оккультирую

оккультирую

следи лучше за основным - заветная цифра близка :)

как бы это подзарефакторить сраные енумы flags во что-то более приемлемое? и функциональное?

Если енумы пользуются как остов какого-то дерева условий, то может быть и без него можно обойтись, используя фпшный эквивалент паттерна "декоратор"?

Если енумы пользуются как остов какого-то дерева условий, то может быть и без него можно обойтись, используя фпшный эквивалент паттерна "декоратор"?

что, простите?

Флаги, для чего они?

Флаги, для чего они?

нести и махать

ща пример скину. С соседнего проекта люди мучатся

https://repl.it/repls/ComfortableValidPipelining

как бы это подзарефакторить сраные енумы flags во что-то более приемлемое? и функциональное?

Set<'DU>

они короче там логику в ифах струячат

они короче там логику в ифах струячат

пример есть? чтобы понять масштабы проблемы

есть

что, простите?

Например, вместо вызовов makeCoffee(Flags.Sugar | Flags.Milk) Делаешь makeCoffee >> withSugar >> withMilk

тащемта это Builder. но я понял

Builder и есть в частном виде декоратор, но да, так действительно понятней

это что-то новое.

Прошу прощения, раз ошибся. Видимо сразу не так понял https://stackoverflow.com/questions/4768349/builder-vs-decorator-pattern

да там у них не декораторы а куча императивной ебанины чтобы из двух энумов, стринга и опшенал децмала получить тру или фолс

короче домейн модель говно

надо всё переделать

тащемта это Builder. но я понял

Кстати, вариант makeCoffee >> withSugar >> withMilk наверное, действительно декоратор, а вот: makeCoffee (withSugar >> withMilk) это уже билдер. И он действительно лучше

Так. Я малость запутался. Вот у меня энумерабл флагс, в с#. Ими я могу задать штуку которая «А» и «Б» и «Ц», штуку которая «А» и «Г» и «Д» и так далее. А с алгебраическими типами я как бы только могу задать штуку которая «А» ИЛИ «Б» ИЛИ «Ц». Как мне повторить функциональность флагов в алгебраических типах? 🤔

Тупля :)

Список

Так. Я малость запутался. Вот у меня энумерабл флагс, в с#. Ими я могу задать штуку которая «А» и «Б» и «Ц», штуку которая «А» и «Г» и «Д» и так далее. А с алгебраическими типами я как бы только могу задать штуку которая «А» ИЛИ «Б» ИЛИ «Ц». Как мне повторить функциональность флагов в алгебраических типах? 🤔

С АТД у тебя есть - “ИЛИ” через DU - “И” через Records / Tuples а дальше комбинируй как хочешь

Ломаю себе мозг элмишем