слишком hopac

По мотивам обсуждения, где рассказывали, что язык без early return не может быть пригодным в промышленной разработке. :)

Ну, и десятки других примеров странного кода на http://fssnip.net

чувак, главный в xamarin, как-то говорил, что это главное, что ему не нравиться в F#

отсутствие return

чувак, главный в xamarin, как-то говорил, что это главное, что ему не нравиться в F#

Мигель-то?

ага

Он вроде называл F# любимым языком)

в интервью каком-то

клянусь

Он вроде называл F# любимым языком)

не совем корректно сказал

https://www.reddit.com/r/programmerchat/comments/4dxpcp/i_am_miguel_de_icaza_i_started_xamarin_mono_gnome/d1v954m/

Vasily @auduchinok А какие планы на эту фичу? В каком EAP ждать? https://github.com/JetBrains/fsharp-support/pull/8

Уже где-нибудь в еапах 2018.2, полагаю.)

клянусь

https://www.reddit.com/r/programmerchat/comments/4dxpcp/i_am_miguel_de_icaza_i_started_xamarin_mono_gnome/d1v9ttk/

оо, какой милый комментарий https://www.reddit.com/r/programmerchat/comments/4dxpcp/i_am_miguel_de_icaza_i_started_xamarin_mono_gnome/d1vl4fx/

не, я думаю он прям говорил "люблю я return, ничего не могу с собой поделать!"

я прям насторожился

Привет!

https://blogs.msdn.microsoft.com/dotnet/2018/04/18/performance-improvements-in-net-core-2-1/

https://blogs.msdn.microsoft.com/dotnet/2018/04/18/performance-improvements-in-net-core-2-1/

Грац за ссылку почитать

https://github.com/fsharp/fssf-ask-the-board/issues/8

https://github.com/ninjarobot/fwrules

https://github.com/TheAngryByrd/Hopac.Websockets

Коллеги, есть вопрос

Про билдеры

Допустим, я написал Bind

Который возвращает функцию вида 'x->'a

Далее у меня есть Return x=x

И в билдере я хочу написать return {A=a;B=b}

Где a=x->'a

Точнее, результат выполнения данной функции

А b= x->'b

В общем, вопрос, такое как-нить можно провернуть, чтобы в ретурне были видны значения не паршл апплаев, а собственно результаты?

@vshapenko погляди в сторону Run

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

там можешь сделать эплай, к примеру

Ну мне бы что-то, что ещё и в ретурн подставить

и получишь результат

покажи код лучше

а, ты хочешь делать bind внутри экспрешенов? Это врядли получится

Угу

Чтобы в бинды прилетал паршиво апплай

Паршиал

А в ретурн уже полное применение

Причем ретурн обычно record expression

В общем, заполнение полей объекта

что-то такое было в AsyncSeq, где у них разные типы "внутри" CE и в резалте.

был блог пост Петрисека, кажется с подробностями

хотя может это совсем не то ?

но взгляни

Я понимаю, как это сделать через функцию создания объекта с набором параметров

Но это на каждый тип такую функцию надо писать

а. это типа applicative? Типа fun x y z -> Foo(x, y, z) <!> f <*> g <*> h? Может тебе это надо?

Накидай лучше реальный код - посмотрим.

Ну типа того скорее всего

Ща

Условно, я хочу создать схему начитывания объекта из источника данных

а, ну так монады не катят для этого. Для этого именно аппликативные функторы и нужны - это когда и значение, и функция внутри "контекста", это позволяет делать композицию функций, не вылезая из него.

Я правильно понимаю, что надо контекст начитывания передавать?

В билдер

Условный ридер и апплаить его на бинде

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

в общем виде сделать не выйдет, потому что у записей и DU нет каррированных конструкторов

Тогда прошу более подробных разъяснений

Может я не понимаю твою задачу. Я тебе говорю - покажи код и что именно ты хочешь. На словах это трудно предствить.

в общем виде сделать не выйдет, потому что у записей и DU нет каррированных конструкторов

И нельзя сделать констрейнт на функцию с переменным числом параметров, как я понимаю

Не знаю. Врядли.

В хаскеле это красиво, потому что и записи, и data - у всех как раз каррированные конструкторы.

типа MyRec <$> getArg1 <*> getArg2 <*> getArg3

https://sharplab.io/#v2:DYLgZgzgNAJiDUAfA9gBwKYDsAEBlAnhAC7oC2AsAFBH4bYAqAvAN4CGIAlpkQL5U10AQgFcOwGOgBOACgCUjKtlJkARlOxEAFhwgA6QVxjTSUMLOyNsYJYuWk1kjdr0AldEWGTM0gB7yfioGUwO7YkuisMGGMAMxBImISMrLMIUQAhNg+FuGR2AAMitjFJSXhHl7YbIw+fJRUddhUQA

По синтаксису похоже на это

https://sharplab.io/#v2:DYLgZgzgNAJiDUAfA9gBwKYDsAEBlAnhAC7oC2AsAFBH4bYAqAvAN4CGIAlpkQL5U10AQgFcOwGOgBOACgCUjKtlJkARlOxEAFhwgA6QVxjTSUMLOyNsYJYuWk1kjdr0AldEWGTM0gB7yfioGUwO7YkuisMGGMAMxBImISMrLMIUQAhNg+FuGRitgFhYXhHl7YbIw+fJRU1dhUQA

Точнее так

ЧТобы до return на все let! применился паршиал апплай

ну тогда это просто Reader

не?

а, блин. не, так точно нельзя

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

для этого нужны макросы :)

Мне кажется , скорее методу ретурн не хватает неявного контекста,куда пробрасываются бинды

ну и как ты себе это представляешь?

По факту, мой вариант предполагает смену типа переменной при входе в ретурн

С сохранением имени

Как это сделать, для меня загадка

Ты разверни твой CE в континьюэшены, тогда станет ясно.

Для этого добавь метод Quote в билдер

в return у тебя просто x в скоупе. Это обычная переменная. Ты не можешь определить, что именно ее надо зааплаить.

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

Builder() { let! x =read return { a = 1 } }

выдает

val it : Quotations.Expr<T> = Call (Some (ValueWithName (FSI_0002+Builder, builder@)), Bind, [Lambda (r, Call (None, read, [r])), Lambda (_arg1, Let (x, _arg1, Call (Some (ValueWithName (FSI_0002+Builder, builder@)), Return, [NewRecord (T, Value (1))])))])

Да это я понимаю, что там происходит

Мне интересно, как сделать, чтобы происходило немного по-другому

ну для return { a = x() } аст будет [NewRecord (T, Application (x, Value (<null>)))])))])

можно трансформировать аст и потом выполнить в рантайме :)

Но оно же не скомпилируется