Один раз при инициализации

Судя по всему, статический конструктор там внутри

Нет, сложнее.

Ну ща попробуем в отдельном файле

Хммм... очень странная история, действительно

На каждый файл существует статический инициализатор, который вызывается по правилам, описанным в пункте 12.5.1 спеки. В этот инициализатор, например, попадают инициализация let и тело do.

А правила порой довольно хитрые. Вот одно из них: - the static initializer for the file is executed on first access of a value that has observable initialization according to the rules that follow

Хитрость в has observable initialization.

То есть обращение к обычным значениям, связанным через let в модуле, не будет вызывать do модуля.

В общем, если в отдельном файле, то do не выполняется само

В общем, если в отдельном файле, то do не выполняется само

Выполняется по правилам.

Я, пожалуй, всю спеку сюда не буду копировать.

Да у меня открыта, страницу скажи

226

С таким поведение инициализаторов, кстати, связана необходимость писать точку доступа для проектов с тестами.

Иначе инициализация расшаренных между тестами значений просто не выполняется.

Чет ничего не понимаю. Поведение мегастранное

do вообще игнорируется

Хотя инициализация модуля прошла

Хотя инициализация модуля прошла

Что это значит?

[<AutoOpen>] module Test= do printfn "Hello world" let x=42

Я же написал.

Хитрость в has observable initialization.

То есть обращение к обычным значениям, связанным через let в модуле, не будет вызывать do модуля.

Так

Теперь вопрос, можно ли этого добиться

do вообще игнорируется

неверю

https://ideone.com/eRwi67

неверю

Это поведение тоже описывается правилами из 12.5.1.

https://ideone.com/eRwi67

А теперь вжух - и вынеси модуль в отдельный файл

А теперь вжух - и вынеси модуль в отдельный файл

[<AutoOpen>] module Test = let mutable x = 0 do x <- 42 printfn "Hello world"

ты еще Clean не видел. там вооще угадать что выполниться было нераельно

Хммм... на присвоении сработало

Ужоснах

Ужоснах

А что ты делаешь, что тебе нужны сайдэффекты при обращении к константам?

Да я так, размышляю , как правильно написать менеджер сессий

Звучит как задача для объектов.

Звучит как задача для объектов.

В целом да

причем тут do в модулях?

// f# 4.1 [<Struct>] type S(x: int, y: int) = member __.X = x member __.Y = y member this.Replace(s: S) = this <- s // wtf?

что это?

Странный код, который сейчас почему-то компилируется.

В F# 4.5 перестанет, потому что this будет иметь тип inref<T>, а это read-only ссылка.

Странный код, который сейчас почему-то компилируется.

А в рантайме работает?

А в рантайме работает?

Он ничего полезного не делает. :)

В F# 4.5 перестанет, потому что this будет иметь тип inref<T>, а это read-only ссылка.

А что-нибудь полезное inref даст?

Он ничего полезного не делает. :)

Ну можно же заменить S, довольно полезно)

А что-нибудь полезное inref даст?

Ну, это ридонли byref.

https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1053-span.md

https://github.com/nosami/Elmish.Calculator/blob/master/Elmish.Calculator/Calculator.fs#L38 две ф-ции calculate!

а там шэдоинг

оО как это

https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1054-undent-list-args.md

?

Elmish двигает язык)

А ещё Мартин (автор скалы) недавно выступал на dconf

А Александреску выступал на dotnext!

А Александреску выступал на dotnext!

D продвигал?

D#

А Александреску выступал на dotnext!

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

Судя по всему, статический конструктор там внутри

Зависит от того, библиотека у тебя или исполняемый файл!

[<AutoOpen>] module Test= do printfn "Hello world" let x=42

Ага-ага, обращение снаружи к let x = 42 не триггернёт статический инициализатор. Это форменный кошмар, да. И поэтому лучше не иметь побочных эффектов в инициализаторах модулей.

Зависит от того, библиотека у тебя или исполняемый файл!

Вообще поведение там несколько недетерменированно

А если б ты там написал код посложнее, чем просто 42, то обращение к x могло бы и триггернуть инициализацию.

В F# 4.5 перестанет, потому что this будет иметь тип inref<T>, а это read-only ссылка.

Блин, но ведь в C# так можно. Почому сломали!

Вообще поведение там несколько недетерменированно

Там всё очень контринтуитивно.

Вообще поведение там несколько недетерменированно

Детерминировано и описано в спеке.

D#

Между прочим, было бы очень интересно взглянуть на такую реализацию. Managed C, который у меня в загашнике лежит, выглядит намного скучнее!

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

А что он рассказывал?

Там всё очень контринтуитивно.

Разве у C# не похожее поведение в статических классах со статическим конструктором и константами?

Между прочим, было бы очень интересно взглянуть на такую реализацию. Managed C, который у меня в загашнике лежит, выглядит намного скучнее!

по-моему эта тема уже всплывала с полгода назад в сил чате)

ты даже реализацию недоделанную нашел

Блин, но ведь в C# так можно. Почому сломали!

А что этот код делает?

Разве у C# не похожее поведение в статических классах со статическим конструктором и константами?

Похожее, но менее контринтуитивное, на мой взгляд. У нас накладываются ещё хитрости с библиотечными и исполняемыми проектами, которые всё путают ещё сильнее.

А что этот код делает?

В C# можно написать внутри метода структуры this = smth;, и такой код делает ровно то, что ожидается — заменяет все поля текущего экземпляра новыми значениями. (не уверен, работает ли это для структур с ридонли полями)

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

Ок, я просто не могу получить такое же поведение в F#. Хотя, казалось бы, val this : byref<S> ?

sharplab.io не работает :(

sharplab.io не работает :(

Напиши https://twitter.com/ashmind

sharplab.io не работает :(

И через впн?

И через впн?

Причем тут впн? Он просто лежит.

Причем тут впн? Он просто лежит.

Роскомнадзор?

Алло, пора привыкнуть

Нет.

Он открывается, но не хочет компилировать мой код.

а что #region и #endregion не работает и никакой замены нет?

а что #region и #endregion не работает и никакой замены нет?

https://stackoverflow.com/a/9928028/2684760

https://stackoverflow.com/a/9928028/2684760

И кто-то так делает? Оо

Ни разу не видел.

https://stackoverflow.com/a/9928028/2684760

спс)

https://twitter.com/jaredpar/status/997132778641604608

https://twitter.com/JetBrainsRider/status/997163033192550401

Elmish двигает язык)

Ну да, мелкие, но приятные фичи. https://github.com/Microsoft/visualfsharp/pull/4930

Сайм, кажется, уже слишком много прототипов наделал. :)