Ну как бы фп подразумевает определение логики в типах

Это как монада эйзер и кидание ошибки

Наверное, в общем случае нужны зависимые типы.

Ну как бы фп подразумевает определение логики в типах

Да нифига. :)

Ну как бы фп подразумевает определение логики в типах

Пройдемте в кложе-чат ?

Наверное, в общем случае нужны зависимые типы.

Можно с доказательством вопросу решить без завтипов

Безопасный мап - рекорд

Давайте так: когда кладёшь элемент в словарь или получаешь его оттуда — получаешь некий эвиденс из этого словаря.

Пройдемте в кложе-чат ?

У меня недостаточно скобочек

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

Хотя, блин, тогда можно перепутать эвиденсы в разных словарях. Ок, я сдаюсь.

Ребята, проясните вопрос. Доступ к словарю по ключу, по хорошему, должен возвращать опциональный тип. Но, очевидно, иногда логика алгоритма, подразумевает, что элемент будет там, опциональность не является частью логики. Как это разруливается, с точки зрения тру ФП. Может ли компилятор предиктить такие случаи, и давать "небезопасный доступ"? Может завтипы?

Сейчас в map есть как "дай тип и свелись с эксепшеном если его нет" так и "верни плз опциональнай тип для этого ключа" вместе с option.deafult (или как там это пишется) все отлично работает

Ну, это понятно, но эксепшн это уже рантайм

Ну, это понятно, но эксепшн это уже рантайм

Да поэтому верни опциональнай тип и прогнать потом этот опциональный тип через default (fun (x: 'a option) (defaultVal:'a) -> match x with | Some c -> c | _ -> defaultVal) обычный вариант

Lambda Factory http://lambdafactory.io/

https://twitter.com/k_cieslak/status/972889376337383424

Непонятно, возьмёт ли он кого-то не из Польши. :)

удаленка же, не?)

Обучают?

был вопрос в соседнем чате

удаленка же, не?)

Да.

Я к тому, что, ну, почему на польском-то? :)

а, понял) туплю под вечер, пардон :)

может есть кто с западной украины и достаточно понимает и русский и польский

Ну так там все просто) насколько я понимаю, надо мидл, срочно, гибкий график

Аутсорс

Удаленка

это понятно, но не весь польский такой

Я к тому, что, ну, почему на польском-то? :)

Можно и на английском было написать.

Ну, ладно.

Интересно, насколько в Польше большое F# сообщество. Вот в Чехии, например, оно довольно приличное.

У поляков раньше ещё скала в почёте была

Можно и на английском было написать.

намекают, что общение в компании тоже на польском будет

Ок.

https://twitter.com/Horusiath/status/972967975241371648

https://twitter.com/Horusiath/status/972967975241371648

Какая крутотень. Я немного пропустил, а видели случился на этих выходных?

Народ, а как давно рекорды научились переопределять ToString на sprintf "%A" this? Автоматом в ручную переопределял, а сейчас случайно заметил, что в WPF выводится вполне читабельное представление.

Народ, а как давно рекорды научились переопределять ToString на sprintf "%A" this? Автоматом в ручную переопределял, а сейчас случайно заметил, что в WPF выводится вполне читабельное представление.

4.1b

https://github.com/fsharp/fslang-design/blob/master/FSharp-4.1b/FS-1022-override-ToString-for-discriminated-unions-and-records.md

Я думаю, надо Alex поставить звездочек. https://github.com/AlexTroshkin/fsharp-dapper

Привет!

Я думаю, надо Alex поставить звездочек. https://github.com/AlexTroshkin/fsharp-dapper

Ого. Потрясно!

выглядит круто

только вот это смущает: (query |> QueryAsync <| connection)

Ну это он чтобы вторые скобочки не ставить :)

только вот это смущает: (query |> QueryAsync <| connection)

Да

Но можно подумать как сделать проще, если есть предложения всегда можно открыть issue

Ну я бы там переписал что-то типа let run<'a> connection query =(QuerySingleAsync<'a> connection query)|>Async.RunSynchronously

Хотя это тоже некошерно

Можно еще упростить

Но лень открывать студию :)

let runAsync<'a> connection=QuerySingleAsync<'a> connection let run <'a> query = query|>runAsync<'a>|>AsyncRunSynchronously Вроде так

Привет!

From @DependencyInjection to @DependencyRejection

И вам не хворать :)

Привет!

From @DependencyInjection to @DependencyRejection

second user not found :(

second user not found :(

Еще свободно для перехода))

kek

только вот это смущает: (query |> QueryAsync <| connection)

да, коннекшн первым параметром должен быть чтобы partial application применять

я например вот так делаю let myQuery<'T> = Db.queryAsync<'T> connection let myQuerySingle<'T> = Db.querySingleAsync<'T> connection и потом юзаю myQuery, myQuerySingle

Положу здесь, чтобы потом не забыть #прочитать. https://twitter.com/graydon_pub/status/973083923466002433

Положу здесь, чтобы потом не забыть #прочитать. https://twitter.com/graydon_pub/status/973083923466002433

интересно

Положу здесь, чтобы потом не забыть #прочитать. https://twitter.com/graydon_pub/status/973083923466002433

Это же LINQ тайппровайдер

Это же LINQ тайппровайдер

ну или билдерпровайдер

Положу здесь, чтобы потом не забыть #прочитать. https://twitter.com/graydon_pub/status/973083923466002433

https://session-type-provider.github.io

Интересно, а через DU можн как-то выразить все возможные выборки Типа ОТ = . -> +∞ ДО = -∞ -> . ОТ ДО = . -> . ДО ОТ = -∞ -> . U . -> +∞

Привет, кто-нибудь пишет под Android на F#?

Привет, кто-нибудь пишет под Android на F#?

@angmarr ?

Привет, кто-нибудь пишет под Android на F#?

Ну скорее пытался, сейчас больше ReactNative практикую. Какой-то конкретный вопрос есть?

Ну скорее пытался, сейчас больше ReactNative практикую. Какой-то конкретный вопрос есть?

Скачала расскажите почему перестали пытаться?

- Потому что React(Native) более функциональный фреймворк, там давно есть реализация ELM/TEA архитектуры - В RN есть “кросплатформенный UI” (android/ios) из коробки. Есть конечно XF, но там ооп-ный MVVM - Можно разрабатывать в легкой VSCode (я вообще в ней все пишу) или Rider - Теор, есть готовые rn-for-windows/rn-for-macos/rn-for-web (те можно больше платформ охватить) Тестировал RNforWeb + F#/Fable - оно работало и в принципе если обернуть это в electron, то получится desktop-приложение.

- Потому что React(Native) более функциональный фреймворк, там давно есть реализация ELM/TEA архитектуры - В RN есть “кросплатформенный UI” (android/ios) из коробки. Есть конечно XF, но там ооп-ный MVVM - Можно разрабатывать в легкой VSCode (я вообще в ней все пишу) или Rider - Теор, есть готовые rn-for-windows/rn-for-macos/rn-for-web (те можно больше платформ охватить) Тестировал RNforWeb + F#/Fable - оно работало и в принципе если обернуть это в electron, то получится desktop-приложение.

С React (Native) не знаком, как-то засиделся на Net из-за удобств тех же Entity Framework, но и не хочется менять среду выполнения

С React (Native) не знаком, как-то засиделся на Net из-за удобств тех же Entity Framework, но и не хочется менять среду выполнения

type Fable = F# -> JS

Привет, кто-нибудь пишет под Android на F#?

В принципе, можно на F# писать в Xamarin, но - Только в VS/VSforMac (Rider не умеет в F# + Xamarin, VSCode и подавно) - APK будет большой, тк будет требоваться netstandart + f# runtime-library (хотя можно с линкером поиграть)

В принципе, можно на F# писать в Xamarin, но - Только в VS/VSforMac (Rider не умеет в F# + Xamarin, VSCode и подавно) - APK будет большой, тк будет требоваться netstandart + f# runtime-library (хотя можно с линкером поиграть)

Думаю пока продолжать на F#, так как бизнес логики очень много, а хотелось бы после легко перейти на iOS, жаль только, что Xamarin.Forms медленно развивается. На счет размера уже заметил, что прототип (на C#) весит довольно жирно, однако, за F# пока не заметил сильного утолщения, но и прототип еще не оброс. А можно ли на React Native подвязать C++ библиотеки и насколько это сложно, типа написать обёртку придётся?

Думаю пока продолжать на F#, так как бизнес логики очень много, а хотелось бы после легко перейти на iOS, жаль только, что Xamarin.Forms медленно развивается. На счет размера уже заметил, что прототип (на C#) весит довольно жирно, однако, за F# пока не заметил сильного утолщения, но и прототип еще не оброс. А можно ли на React Native подвязать C++ библиотеки и насколько это сложно, типа написать обёртку придётся?

Ну каждой платформе придется писать “бридж” (мост) c++ - java - f#(fable) / c++ - obj-c - f#(fable) И кстати если у “продакшен”, то лучше все таки Xamarin ибо оно куда более стабильно/отлажено

Привет, кто-нибудь пишет под Android на F#?

я игрался

Думаю пока продолжать на F#, так как бизнес логики очень много, а хотелось бы после легко перейти на iOS, жаль только, что Xamarin.Forms медленно развивается. На счет размера уже заметил, что прототип (на C#) весит довольно жирно, однако, за F# пока не заметил сильного утолщения, но и прототип еще не оброс. А можно ли на React Native подвязать C++ библиотеки и насколько это сложно, типа написать обёртку придётся?

чистый xamarin. про формы лучше сразу забыть. легко перейти на ios .. врядли

чистый xamarin. про формы лучше сразу забыть. легко перейти на ios .. врядли

Обоснуйте, пожалуйста

Обоснуйте, пожалуйста

что именно?

что именно?

Забыть про формы, и сложность перехода на iOS

отсуствие форм приводит к разности в построении интерфейсов для андроида и иос. в результате шарится порядка 50-70% кода для обоих платформ

формы использовать невозможно т.к. раньше в приципе не было визуального дизайнера форм (его и сейчас вроде нет). а использование чистого ксамарина позволяет использовать родние дизайнеры интерфеса для андроида и иоса с возможностью построения максимально родного для этих платформ интерфейса

т.е. особой сложности как таковой нет. но писать для иос учитывая специфику интерфейса придется тоже.

отсуствие форм приводит к разности в построении интерфейсов для андроида и иос. в результате шарится порядка 50-70% кода для обоих платформ

Вообще пока задумка писать формы на F#, вообще не прибегая к Xaml, так как будет немного громоздко, но не так много. Возможно, да, не плохо использовать стандартный для платформы UI, но над этим ещё есть время подумать.

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

Вообще пока задумка писать формы на F#, вообще не прибегая к Xaml, так как будет немного громоздко, но не так много. Возможно, да, не плохо использовать стандартный для платформы UI, но над этим ещё есть время подумать.

в формах слишком много ручника. и полное отсуствие визуальности. что xaml что без него.

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

если вопрос о том как удобно и привычно пользователям, то формы по любому не вариант. если мнением пользователей можно пренебречь (внутрение бизнес приложения) то можно и поформить

в формах слишком много ручника. и полное отсуствие визуальности. что xaml что без него.

Я ещё не настолько разобрался в Xamarin / Xamarin.Forms, но второе мне понятно и оно работает, и вроде как кросс платформенно. Ремарка: до 2018 писал под Windows (в том числе UWP), пробую Android на вкус с января, F# около недели, до этого хороший опыт C# от их 4 редакции до сих 7.2, Visual C++ ну и скриптовые/запросные иногда по работе. Из проектов есть хороший опыт создания собственных форм со всеми анимациями и переходами, так что надеюсь знакомые по архитектуре Xamarin.Forms дадут сделать достаточно, в целом интерфейса на деле не так много требуется (много, но терпимо, чтобы не закопаться)

Основная пока проблема, это отставание Xamarin от Net Standard 2.0, невозможность отладки при связке F# dll с C# dll (exe), и поддержка Android только F# 4.0.0.1 (версии выше ругаются на BigInteger)

Основная пока проблема, это отставание Xamarin от Net Standard 2.0, невозможность отладки при связке F# dll с C# dll (exe), и поддержка Android только F# 4.0.0.1 (версии выше ругаются на BigInteger)

чет не припомню таких проблем. может это специфичные для форм?

F# Weekly #10, 2018 – fsharpConf 2018 & tons of F# improvements in VS 15.6 https://sergeytihon.com/2018/03/12/f-weekly-10-2018-fsharpconf-2018-tons-of-f-improvements-in-vs-15-6/

Интересно, а через DU можн как-то выразить все возможные выборки Типа ОТ = . -> +∞ ДО = -∞ -> . ОТ ДО = . -> . ДО ОТ = -∞ -> . U . -> +∞

Да, но придется самому написать функции, определяющие вхождение элемента в указанное множество

Да, но придется самому написать функции, определяющие вхождение элемента в указанное множество

Я так и сделал