а есть способ скопировать C# объект ({ obj with a = 3 })?

а есть способ скопировать C# объект ({ obj with a = 3 })?

не понятно

рекорды копировать так можно

а у меня класс в C# описан

и я не могу его скопировать

рекорды копировать так можно

с C# классами такая же ситуация в F# как и с F# -классами. геттеры - сеттеры через операнд мутабельности myClass.mySetter <- value

а так он мне меняет сам объект

нет синтаксиса with т.к. сам класс реализован как изменяемый объект а рекорд как неизменяемый.

печаль, спасибо

печаль, спасибо

был воркэранунд ) кто-то писал экстеншн метод в котором создавал копию объекта. и через конструктор вставлял новое значение в сеттер.

а нет каких-нибудь C# classes to F# record генераторов?)

типа C# class MyClass { int myInt {get;set;} string myString {get ; set } } и F# type MyClass with member this.with_myInt val = MyClass (myInt = val, myString = this.myString) ...

типа C# class MyClass { int myInt {get;set;} string myString {get ; set } } и F# type MyClass with member this.with_myInt val = MyClass (myInt = val, myString = this.myString) ...

но тут не будет оптимизации памяти как в рекордах

а нет каких-нибудь C# classes to F# record генераторов?)

не гуглил, но было бы интересно

Мож этого сразу - на ?

Не,ну подожди

Мы жгем по факту

Мы жгем по факту

Справедливый!

был воркэранунд ) кто-то писал экстеншн метод в котором создавал копию объекта. и через конструктор вставлял новое значение в сеттер.

Так это надо метод на любую комбинацию пропертей. Хотя, наверное, можно сгенерить

Скорее, там что-то вроде копирующего конструктора должно быть

Скорее, там что-то вроде копирующего конструктора должно быть

+ овеврайт одной проперти, второй, первой и второй вместе, третьей... И так далее

+ овеврайт одной проперти, второй, первой и второй вместе, третьей... И так далее

Это решается именованными параметрами

Это решается именованными параметрами

Должны быть ещё и опциональными для того, чтобы разное их количество можно было указывать кмк

Опциональными, да

В общем, сигнатура понятна

и надо как-то чтобы было понятно, что незаполненные аргументы не надо менять

и надо как-то чтобы было понятно, что незаполненные аргументы не надо менять

Вооооот :)

null/nullable в целом катят, но когда поле уже nullable - непонятно

а перегрузкок туча - будет комбинаторный взрыв

Есть ещё кодогенерация

а перегрузкок туча - будет комбинаторный взрыв

А у нас в дотнете есть ограничение на количество методов в классе?

https://twitter.com/kot_2010/status/1037412555189374976?s=09

размер секций с метаданными в файлах?

Да! Забыл сюда запостить

Не надо теперь студиязависимых путей для компиляции тп

размер секций с метаданными в файлах?

На со пишут - раньше компилятор сдохнет от нехватки ресурсов

этот вопрос в другой плоскости

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

:)))

Подскажите, пожалуйста, почему паттерн матчинг по интам ругается?

Подскажите, пожалуйста, почему паттерн матчинг по интам ругается?

код?)

match rowOp.[0] |> int with 1 -> Append rowOp.[1]; 2 -> DeleteLast (row.Op.[1] |> int)

А на что ругается?

вертикальная черта?

И я не знаю, будет ли работать без |

Ну, во-первых, на кейсы нужно |

Да, сори, после Хаскелла не привык

Спасибо!

Во-вторых, не хватает операции для остальных значений

Типа |_->()

Ну это ворнинг, не ошибка ( по дефолту )

В коде эксепшн будет

Точнее в рантайме

Если что

в смысле если ни один из вариантов не подойдёт?

Угу

Я ловил пару раз

ну, это логично

Естественно, логично

hardcore level: treat warnings as errors

Ну полезна настройка, да

Natali.alma Наталья, добавьте в объявление F#! А то офф-топик какой-то получается!

Я ее забанил вроде

Я ее забанил вроде

Норм :)

админы товьсь

Восстание машин какое-то

Успешная фотка

Какая-то грязная салфетка из кармана торчит

Зачем?

let toBlockStatement = function Ast.BlockStatement x -> x Есть какой то более изящный способ перейти от более верхнего типа в DU к более нижнему (его ветке) ?

У меня есть Ast.Statement, Ast.BlockStatement это его "ветка"

let toBlockStatement = function Ast.BlockStatement x -> x Есть какой то более изящный способ перейти от более верхнего типа в DU к более нижнему (его ветке) ?

Выглядит ужасно, но там всегда будет BlockStatement на самом деле

Линзы, случаем, не для этого?

Линзы, случаем, не для этого?

мне казалось - они для вложенных струкур - не?

Я ж и спрашиваю)

Выглядит ужасно, но там всегда будет BlockStatement на самом деле

всё равно надо | _ -> failwith

ну я понимаю

Я ж и спрашиваю)

https://xyncro.tech/aether/guides/lenses.html

для вложенных структур

Привет!