Даже в многопоточных приложениях

И гарантированно один раз вычисляются

А как у них с многопоточностью?

А как у них с многопоточностью?

Все ок

Все ок

Что используется для? lock обычный?

Что используется для? lock обычный?

system.Lazy!

Внутри него скорее всего лок

system.Lazy!

Ясно, внутри него точно лок. Не все знают, что опциональный

Ясно, внутри него точно лок. Не все знают, что опциональный

Дабл чек с локом?

Стандартная оптимизация же

Если не вычислено, то залочь и если все ещё не вычислено - вычисли

Там три стратегии. Одна вообще не многопоточная, вторая проверяет значение после создания (может быть создано несколько экземпляров, доступен только один), третья по умолчанию лочит

Дабл чек с локом?

Нету там никакого даблчека, просто лок: https://github.com/dotnet/corefx/blob/f15d18e904534a1dcadfd86a17340950d1d06e21/src/Common/src/CoreLib/System/Lazy.cs#L334-L349

Там три стратегии. Одна вообще не многопоточная, вторая проверяет значение после создания (может быть создано несколько экземпляров, доступен только один), третья по умолчанию лочит

Да, это правда.

Скажем, режим PublicationOnly сделан на Interlocked.

Для низкоконкурентных сценариев ок

Нету там никакого даблчека, просто лок: https://github.com/dotnet/corefx/blob/f15d18e904534a1dcadfd86a17340950d1d06e21/src/Common/src/CoreLib/System/Lazy.cs#L334-L349

Я не утверждал, о тред сейфности лейзи знаю только из обещания с мсдн)

Я не утверждал, о тред сейфности лейзи знаю только из обещания с мсдн)

Lazy в конструктор принимает вот этот вот режим работы, ты можешь сам выбрать

Lazy в конструктор принимает вот этот вот режим работы, ты можешь сам выбрать

Тогда надо узнать какой режим фшарп передаёт

По-моему, ExecutionAndPublication там.

https://github.com/Microsoft/visualfsharp/blob/44c7e10ca432d8f245a6d8f8e0ec19ca8c72edaf/src/fsharp/FSharp.Core/prim-types.fs#L5753 ношол

Смешные и стрёмные комменты в этом модуле :)

Да, lazy в F# тред сейф, я ещё раз в этом убедился, спасибо)

кстати, вот этот тайп алиас не работает type 'T ``lazy`` = Lazy<'T>

он по идее должен позволять писать let f (a: _ lazy) = ...

Но не позволяет

зачем ? let (l : _ Lazy) = lazy i;;

хм

не, для этого есть встроенный патерн

let (Lazy l) = lazy i

но я тебя понял

let (y : int Option) = None;;

нененене, для Option есть ещё один тайп алиас

option

с маленькой буквы

для lazy тоже сделали тайп алиас с маленькой буквы

правильно. но какда их нет то создавать их и не нужно. достаточно местами перствить

но походу он конфликтует с ключевым словом lazy

мой поинт был в том что он не работает

а не в том что нельзя пользоваться другим

ну ок

но на самом деле работает ) let (l : _ ``lazy``) = lazy i;;

ты опять не понял

о, ты исправил)

и нет, не работает кстати)

error FS0101: This construct is deprecated. This type is obsolete. Please use System.Lazy instead.

даж не варнинг

че бы? > let (l : _ ``lazy``) = lazy i;; val l : int lazy = Value is not created.

Я даже в FSI послал

один хер, ошибку кидает

у тебя плохой fsi )

и компилятор плохой)

https://ideone.com/gURWTF

ты его видно сломал пока чинил)

Подозреваю что на ideone как раз устаревшее что-то

F# (mono 4.0.0)

ну у меня то Microsoft (R) F# Interactive version 10.2.3 for F# 4.5

Очень подозрительно

тип объявить не пробывал?

так он объявлен в F# Core

а ты еще раз руками как в ideone

https://github.com/Microsoft/visualfsharp/blob/44c7e10ca432d8f245a6d8f8e0ec19ca8c72edaf/src/fsharp/FSharp.Core/prim-types.fs#L5776

ты своим объявлением шадовишь их объвление к которому и прикручена ошибка комплитора

логично.

а ошибка не логичная

хотя я подозреваю откуда ноги

почему в linq не добавляют какой-нибудь OrWhere или это я кривой?

почему в linq не добавляют какой-нибудь OrWhere или это я кривой?

А что он должен делать?

вместо склейки условий через AND. можно было бы собирать условия с OR

оказывается, lazy работает в каком-то смысле рекурсивно, что ли? если __.Force не вызывается, функция format тоже не отработает. Почему так?

оказывается, lazy работает в каком-то смысле рекурсивно, что ли? если __.Force не вызывается, функция format тоже не отработает. Почему так?

почему рекурсивно? просто мысленно поставь барьер между словом lazy и тем что дальше

всё что попадает под действите lazy (а он правоассоциативный) не будет вычислено

вместо склейки условий через AND. можно было бы собирать условия с OR

я чот нихуя не понял!

[1..10].Where(fun x -> x > 5) // 6..10 а что должен делать OrWhere?

query = keys .Aggregate(query, (exec, mileDirKey) => exec.Where(x => x.MilestoneId == mileDirKey.Key.MilestoneId && x.DirectionIdBusiness == mileDirKey.Key.DirectionId)); и вот тут, что логично, мне будут добавлены условия Where, но вместе они будут идти через AND. А хотелось бы иногда,чтобы шли через OR

правда да, это c#. не бейте.

Тогда смысл цепочки вызовов исчезает

всё что попадает под действите lazy (а он правоассоциативный) не будет вычислено

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

Что ты получаешь измененный список, потому что для OrWhere, надо знать еще изначальный