в классах

А

Ты про такое поле

я про ПОЛЕ

:D

ТЕОРИЯ ПОЛЯ

не про пропертю

просто у меня закрадывается подозрение что НИКАК не объявить ПОЛЕ в абстрактном классе на F#

Только как мембер

Приватный

val скорее всего не сработает

Он для пропертей

Как я помню

не, пропетря через member пишутся

open System [<AbstractClass>] type C() = let mutable m="" member this.M() = ()

а вот val как раз для неициализированных ПОЛЕЙ

Такс, ты заставляешь меня в спеку лезть

Такс, ты заставляешь меня в спеку лезть

туда я ещё не лазил, думал может быстро получится

val только для пропертей

val только для пропертей

так так так, стопе. Вот смотри abstract class Foo { public int Bar; }

проперя это было бы {get; set; }

Это let mutable

и оно на F# пишется там member __.Bar = 0 with get, set

Это let mutable

а мне надо публичное

Публичное через member

member val...

И потом default val

так так та

пододжи, я попробую

тут слишком много ключевых слов друг на друге

type MyBase () = abstract Property : string with get, set default val Property = “default” with get, set

подожди, это ПРОПЕРТИ

а не ПОЛЕ :D

Мне сказали, что у меня диплом херня :(

Ну как-то я в f# полей не видел

Ну как-то я в f# полей не видел

ну я тебе покажу

Мне сказали, что у меня диплом херня :(

Воды мало налил

Воды мало налил

Нет

Просто я проводил исследование

Воды мало налил

type [<Struct>] Worker = val mutable WorkStack: Work val mutable Handler: Handler

А надо было хз что

@vshapenko вот это структура с двумя ПОЛЯМИ

заметь, никакой иницализации они не требуют

собсно там и класс точно так же можно сделать

type [<Struct>] Worker = val mutable WorkStack: Work val mutable Handler: Handler

Мьютейбл фу

т.е. обычный класс

type X = val a : (unit -> string) val mutable b : string new() as x = { a = (fun () -> x.b); b = "b" }

просто атрибут убираем и работает

Примеры из спеки

Да, а теперь надо абстрактный класс, в котором есть одно ПОЛЕ

:D

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

оно не переопределямое

open System [<AbstractClass>] type X = val mutable b : string new() = { b = "b" } КАК ТЕБЕ ТАКОЕ, ИЛОН МАСК?

БЛЯ

ТОЧНО

можно конструктор сбоку намазать

А все почему

спека?

Угу

красавец, не спорю

Просто привыкли конструктор мазать после имени типа

да, привык, конпилятор меня нахер посылал регулярно

А можно через Object expression

В спеке это раздел 8.6.3

Еще можно так обмазаться: type TypeWithADefaultMutableBooleanField = [<DefaultValue>] static val mutable ready : bool

ну да, тоже норм

Но это в теории только для интеропа может пригодиться с с#

Я подспудно думаю что филды быстрее пропертей.

но вероятно жид инлайнит вызов гетеров

Вероятно

type 'a ``[]`` with member x.GetOrDefault(n) = if x.Length > n then x.[n] else Unchecked.defaultof<'a> let arrlist = [| 1; 2; 3 |] arrlist.GetOrDefault(1) //2 150 arrlist.GetOrDefault(4) //0

А вот это вот реальная магия

Так это ж тайп экстеншн через обратную запись типов.

Меня восхитило ``[]``

кстати не знал что он прям так и назван

Я подспудно думаю что филды быстрее пропертей.

сомнительно

сомнительно

мы вступаем на шаткое поле предположений.

кажется jit их выпиливает

Сайм на эту тему пыхтел както