Это значит, что после компиляции фшарпа мы по сути получаем ооп код)

Ребзя, ну хоть целиком сообщение читайте!

Я не про класс, а про сигнатуру метода!

А я не на этот вопрос ответил, просто поддержал тему про естественность ооп в фшарпе

Когда-то это ломало мозг

Ведь по сути вся это функциональность под капотом объектно-ориентированная

Всё машинные коды

По сути

Электроны в пнп переходах

Ну тоже верно

Вот да. Подскажите, как правильнее отучить себя мыслить ООП и перестроить мышление в сторону ФП? ?

А я вот не считаю, что нужно «отучить» и «перестроить». Нужно изучать вторую парадигму и учиться сочетать в тех случаях, когда это уместно.

а когда пытаюсь вызвать x.abc(Some "1") - пися. Хочет либо x.abc("1"), либо x.abc()

Ну да, так и работает интероп, это нормально. Дело в том, что это опциональное значение подставляется во время компиляции (и там ещё есть дополнительная веселуха с виртуальными методами и интерфейсами — чуть менее весёлая в F#, но чуть более весёлая в C#).

Ну макось, линуха - одно семейство unix-like ? И как под маком? И какая IDE/редактор? VS Code?

Я, например, пишу на F# под Win, Linux, Mac, и везде юзаю Rider (дисклеймер — я один из его разработчиков). И всем советую ?

+ не забываем, что и система типов .NET, и CIL оба объектно-ориентированные

Нууу, строго говоря, в CIL можно писать, не используя классов. Даже методы можно размещать вне типов (C++/CLI этим активно пользуется, остальные — нет). Но их становится сложновато вызывать из C# (из F# я пока не пробовал).

Ну да, так и работает интероп, это нормально. Дело в том, что это опциональное значение подставляется во время компиляции (и там ещё есть дополнительная веселуха с виртуальными методами и интерфейсами — чуть менее весёлая в F#, но чуть более весёлая в C#).

Ну, что-то подобное я и предполагал. Но тогда надо перед вызовом матч вкрячивать. Сразу string option не передать :(

Ну, что-то подобное я и предполагал. Но тогда надо перед вызовом матч вкрячивать. Сразу string option не передать :(

Можно было бы это свалить на компилятор, но я боюсь, что какие-нибудь корнер кейсы начнут торчать слишком уж сильно.

Ну, типа, чтобы компилятор, увидев Option, который передают в метод со значениями по умолчанию, городил там конструкцию а-ля MethodCall(match o with | Some x -> x | None -> implicit_default_value)

Если кому шибко охота — давайте поищем или напишем пропозал.

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

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

А ты - пропозалы в компилятор

Напиши им - раз компилер сервис говорит стринг опшонал - извольте принять!

Я, например, пишу на F# под Win, Linux, Mac, и везде юзаю Rider (дисклеймер — я один из его разработчиков). И всем советую ?

Фантомасом пользуешься?

Фантомасом пользуешься?

Я сам и есть Фантомас!

Я сам и есть Фантомас!

https://github.com/fsprojects/fantomas Я про это)

Мы как раз во флудилке обсуждаем фантомас

и что он в райдер оказывается встроен

https://github.com/fsprojects/fantomas Я про это)

Я понял.

А я вот не замечал что автоформат есть в райдере

Я понял.

Ты даже в readme.md немного поконтрибутил) ?

@grishace @gsomix говорит, что ты всё делаешь неправильно.

И я тоже неправ.

Смотри: твои default-аргументы из C# будет передавать очень неудобно

Потому что для C# твои ?opt: string будут выглядеть как Option<string>

Зато я немного пошукал в багтрекере и понял, как делать настоящие дефолтные аргументы так, чтобы C# их понимал.

О, кстати, а есть возможность их сделать нормальными? Мне тоже надо немного надо

Зато я немного пошукал в багтрекере и понял, как делать настоящие дефолтные аргументы так, чтобы C# их понимал.

дадада, давай

Встречайте моё безумное творение: open System.Runtime.InteropServices type C() = member this.M([<Optional;DefaultParameterValue(0)>] i : int) = ()

Так почему они для самого ф# не такие!?

эх.

Так почему они для самого ф# не такие!?

Они для самого F# очень удобные!

не надо тут

Там же больше возможностей

Они для самого F# очень удобные!

(не очень, как оказалось, т.к. настоящий опшен в них передать не получается)

можно как передавать T, который будет оборачиваться в Option<T>, так и Option<T> который НЕ БУДЕТ оборачиваться в ещё один Option!

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

(не очень, как оказалось, т.к. настоящий опшен в них передать не получается)

А вот и нет

Встречайте моё безумное творение: open System.Runtime.InteropServices type C() = member this.M([<Optional;DefaultParameterValue(0)>] i : int) = ()

А вот этот херобор можно даже из F# использовать.

передавай через ?

передавай через ?

Вшмысле?

ща накидаю

Через тернарный оператор? :)))))

это не очень известная фича, но полезно читать спеку

можно в ВЫЗОВ метода аргументы с префиксным ? передавать

Когда? Надо говнокодить!

чтобы явно указывать что для этого опшнал аргумента заворачивать твой опшн в ещё один опшн не надо

магия!

Сигнатура про второй опшонал молчит как рыба об лёд

Откуда обёртка?

Это ж не сигнатура, а синтаксис такой.

Ооооокееейййй

Айрат, у меня не получается вызвать со знаком вопроса: https://sharplab.io/#v2:DYLgZgzgPg9gDgUwHYAIDKBPCAXBBbAWACh5l0tc8A6AJQFclsBLPBKgSUYQCd40eAbkwDGCCMWLYMiFAGEAFAEoUAXmIoNKVngBGPFNgAWTCFQCy8gPxMUIFE0bKVKJes3a93A8dMAxJapumijACNgoAB6q6DCsKACMAAxBmkYm5lYRisRAA===

let g = Some x :))) @gsomix

Айрат, у меня не получается вызвать со знаком вопроса: https://sharplab.io/#v2:DYLgZgzgPg9gDgUwHYAIDKBPCAXBBbAWACh5l0tc8A6AJQFclsBLPBKgSUYQCd40eAbkwDGCCMWLYMiFAGEAFAEoUAXmIoNKVngBGPFNgAWTCFQCy8gPxMUIFE0bKVKJes3a93A8dMAxJapumijACNgoAB6q6DCsKACMAAxBmkYm5lYRisRAA===

type Test() = member __.Opt(a,?b)= printfn "%A, %A" a b let t = Test() t.Opt(1,2) // prints "1, Some 2" t.Opt(1, Some 2) // prints "1, Some (Some 2)"" t.Opt(1, b = Some 2) // prints "1, Some (Some 2)"" t.Opt(1, ?b = Some 2) // prints "1, Some 2""

Я сделаль

._

Как это работает!

Это вот так!

круто же

Ага, окей, то есть опшен туда можно передавать только именованным аргументом!

т.е. если он опционально-име..

@grishace вот так у меня скомпилилось: member this.M(?i : int) = () member this.F() = let x = Some 10 this.M(?i = x)

Ага, окей, то есть опшен туда можно передавать только именованным аргументом!

да, это я забыл уточнить

У Айрата ещё более интересный кейс описан, потому что с генериком

type Test() = member __.Opt(a,?b)= printfn "%A, %A" a b let t = Test() t.Opt(1,2) // prints "1, Some 2" t.Opt(1, Some 2) // prints "1, Some (Some 2)"" t.Opt(1, b = Some 2) // prints "1, Some (Some 2)"" t.Opt(1, ?b = Some 2) // prints "1, Some 2""

Спасибо!

Ля, Фридрихъ! Не успеваю на телефоне набирать, а ты уже

Спасибище!

Ля, Фридрихъ! Не успеваю на телефоне набирать, а ты уже

А ты набирай асинхронно. Никто не станет тебя ругать за то, что ты медленно напечатал умную мысль (если она умная, конечно) :)

Умные мысли тяжело выразить словами

Тут стикеры запрещены :)

Подскажите адрес флудилки

Подскажите адрес флудилки

https://t.me/fsharp_flood

Ребят, может я упустил, но никто же не переводил? http://blog.ploeh.dk/2017/08/07/f-free-monad-recipe/

Ребят, может я упустил, но никто же не переводил? http://blog.ploeh.dk/2017/08/07/f-free-monad-recipe/

Никто

Issue на гитхабе заведи)

не компилятор, а Ionide конечно же

А весь код?

т.е. для него fun x -> (fun y -> x y) === id я чот не понял

это весь код

Да, странно

Ну у тебя тут функция, которая принимает функцию. Если id передать тоже функцию, то будет тот же результат

но у меня два разных параметра

А id умеет работать только так: 'a -> 'a

ну, а если 'a === ('a -> 'b), то получается то же самое

а если нет?