Вообще, по канону не нужно из C# F#-модули дёргать

да нет, почему нет

просто там фшарп фич быть не должно

чтобы шарпу не было больно

Ну это да

Говорят, что если писать сюда хотя бы по одному сообщению в день, то можно быстрее освоить F#. Всем привет) я тут публичную функцию модуля F# из С# дёрнуть хочу. Как задать необязательный параметр функции?

У функций модуля нет Опциональные параметров

Но в гайдлайнах всё-таки написано, что нужно в классы упаковывать (хотя модуль тот же класс по факту получается, да)

У функций модуля нет Опциональные параметров

Спасибо. Это ещё один гвоздик..

Stanislav https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/parameters-and-arguments#optional-parameters

Но в гайдлайнах всё-таки написано, что нужно в классы упаковывать (хотя модуль тот же класс по факту получается, да)

Зис

Нужно просто Статик класс делать, модуль в них и компилится

А я вот не помню, в C# все модули видны с суффиксом Module или только те, на которые соответствующий атрибут навешен?

Вообще, по канону не нужно из C# F#-модули дёргать

а хотелось бы

Не, ну можно тихонечко. Если в модуле нет каррированных функций и определений всяких DU, то ничего криминального нет

Так, я максимально сократил код чтобы было понятно. Найди дедлок (внимание, гопак) let mutable shouldExit = false let someAlt = Alt.never() let rec loop() = Alt.choose [ (if not shouldExit then someAlt ^=> loop else Alt.never()) (if shouldExit then printfn "Done!" Alt.unit() //терминируем луп здесь else Alt.never()) ] loop() <*> job { shouldExit <- true } |> run

Ну допустим someAlt ^=> loop

ну допустим ты прав. А почему, знаешь?

Ну если объяснишь хзначение оператора

Я их плохо читаю

^=> это монадический bind для альтернатив, слева альтернатива, справа функция от внутренностей альтернативы, возвращающая альтернативу

Такс. У тебя в лупе вызывается тот же луп вызовом альтернатив

Всё так

Подозреваю, что виноват Alt.choose

Т.е. первый раз проходит, а дальше упс

Т.е. он пытается запустить такую же альтернативу, которую ожидает

Ну нет. Но давай я поясню. Тут в чузе две альтернативы ЯКОБЫ. НО они вычисляются через if если shouldExit false, то первый if вычисляется в then бранч -> и будет ждать альтернативу someAlt а второй if вычислится в else и повиснет в ожидании alt.never (никогда не дождётся). Т.е. по смыслу это Alt.choose [ someAlt; never ] ===> someAlt (а он у нас never тоже) Хотя тут же моментально выполняется джоба которая вертает флаг shouldExit в тру и по идее мы могли бы выйти, но луп уже отбросил проверку флага и висит на ожидании альтернативы которая не выполнится

Вот фикс без дедлоков: let shouldExit = IVar<unit>() let someAlt = Alt.never() let rec loop() = Alt.choose [ (if not (IVar.Now.isFull shouldExit) then someAlt ^=> loop else Alt.never()) shouldExit ^-> fun _ -> printfn "Done!" //терминируем луп здесь ] loop() <*> shouldExit *<= () |> run

Логично

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

и мы можем в Alt.choose запихнуть явно ожидание флага shouldExit

Вообще, конечно, стремная альтернатива

Там нельзя написать просто if (notExist ) then loop else Alt.unit() ?

т.е. теперь наш Alt.choose раскрывается в Alt.choose [ someAlt; shouldExit ] и даже если он никогда не дождётся someAlt, то когда-нибудь, даже с рейс кондишном он дождётся shouldExit и выйдет удачно

Там нельзя написать просто if (notExist ) then loop else Alt.unit() ?

ты спинлок получишь

Погреешь воздух сильно)

Зима близко (с)

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

Какое интересное чтиво: https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1063-support-letbang-andbang-for-applicative-functors.md

Помогите пожалуйста, почему так? let result = false let saySome = printfn "some" if result then saySome printfn "some2" () > some Как этого избежать? Оно вообще ничего делать же не должно..

Думаете вы

Чем больше будет разработчиков на F# тем чаще оно будет оказываться в продах компаний )

Вычисление saySome произойдет сразу

Помогите пожалуйста, почему так? let result = false let saySome = printfn "some" if result then saySome printfn "some2" () > some Как этого избежать? Оно вообще ничего делать же не должно..

let saySome() = ...

let saySome() = ...

Ухх, спасибо!

Это называется мемоизация

Какое интересное чтиво: https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1063-support-letbang-andbang-for-applicative-functors.md

Это позволит проще делать параллельные запросы?

Возможно

Это называется мемоизация

Это по-моему валуё вс. ф-ция

Stanislav let saySome = printfn "Some" по смыслу ближе к Сишарповскому var saySome = ..., в то время как let saySome() = ... это уже более похоже на void saySome() { ... }. Ну это так, чисто для упрощения понимания.

Stanislav let saySome = printfn "Some" по смыслу ближе к Сишарповскому var saySome = ..., в то время как let saySome() = ... это уже более похоже на void saySome() { ... }. Ну это так, чисто для упрощения понимания.

ток не void

ток не void

unit? :)

Ну мы не знаем что вернёт ... !

Разве void- не самое похожее на unit?

В С# же нету чего-то более подходящего

void не композится

Разве void- не самое похожее на unit?

Похоже, но void Method () { ...} это let Method () = ... ()

т.е. принял unit, вернул unit

Ну мы не знаем что вернёт ... !

Ну я под ... подразумеваю вывод в консоль, т.к. о нём в примере речь шла

в общем, всё ок)

Офигеть, я думал, что let some = ... и let some () = ... одно и то же ))

Я тут пытался упростить понимание, вообще-то.)

Офигеть, я думал, что let some = ... и let some () = ... одно и то же ))

В том-то и фишка что нет

Я тут пытался упростить понимание, вообще-то.)

Ты молодец, этого не хватает в жизни

Офигеть, я думал, что let some = ... и let some () = ... одно и то же ))

вот это одно и то же! let some = fun () -> ... let some () = ...

Как написали выше, () aka unit - это значение

Следует привыкнуть так понимать

По-моему вы тут тока усложняете

А человек хотел упростить

Это не к нам

Кароч

Если функция без параметров

Она вычисляется сразу и мемоизируется

(т.е. её тело не будет срабатывать каждый раз при вызове)

Да, проще будет если учесть что в F# всё функция. Даже если это let a = 1

потому что можно написать и такое let f = let container = [1;2;3;4;5] fun x -> List.contains x

Ну как бы я не помню, чтобы в фшарп было разделение на функции и и значения

в этом примере f это точно функция от одного параметра x, но она очень хитро имеет внутри мемоизированный контейнер

Ну как бы я не помню, чтобы в фшарп было разделение на функции и и значения

syntatic value

там с value restriction траблы начинаются

Пример в студию

Подожди. мне надо поработать слегка

Ох уж эта НБА

Да полный пиздец

И именно НБА, да

Кто на этот раз?

Хммм, а вот тут хотят линзы в рекорд экспрешны впилить: https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1049-nested-record-field--copy-and-update-expression.md

Как написали выше, () aka unit - это значение

Немного подумал и поправлюсь. unit — это, считай, множество (тип), в котором есть лишь один элемент — (). Потому, в принципе, можно с таким же успехом в качестве параметра передавать хоть число, хоть строку и не использовать этот параметр в теле. Результат будет такой же.

Stanislav ↑

В теории, можно извратиться еще с генериком

Stanislav ↑

Супер, спасибо

Ухх, прям хорошо пошло, второй день ковыряю)

Ну дальше будет интереснее, но придется систему мышления менять

Ещё меня поразило то, что порядок декларации функций не от балды

И option

Ну это-то как раз дисциплинирует

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

Результатом является то, что код очень легко читать

Да, не даёт хаос в коде устроить

Всегда сверху вниз

В С# то я наоборот пишу сверху самый сок, а ниже уже прайват методы служебные