Ага, действительно полетело) Подскажи пожалуйста, дело в том что iter возвращает unit, который является аналогом Null в других языках, а map возвращает обработанный массив, да?

Причину ты понял правильно. Только вот поправка: unit является не аналогом null (null у нас в F# тоже есть, и он значит то же самое, что в C#). unit скорее является аналогом void. В некотором роде.

то есть в моем случае | Some i -> i |> Array.iter (fun x -> printfn "head %A"x) возвращается массив unit, потому что unit результат работы printfn

Да, верно.

Да, верно.

и надо чтобы несколько ветвей возвращали значения одного типа?

и надо чтобы несколько ветвей возвращали значения одного типа?

Да, тоже верно. F# является expression-based языком, то есть всё выражение match являются полноценным выражением, возвращающим результат. Отсюда требование, чтобы все ветки возвращали одинаковый тип. На случай, если ты результат захочешь положить в переменную.

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

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

а где я должен ignore написать?

а где я должен ignore написать?

Ну вот в твоём примере проблема бы решилась так: match gazp.Headers with | Some i -> i |> Array.map (fun x -> printfn "head %A"x) |> ignore // !!! | None -> printf "NONE!!!"

ага, понял.

спасибо!)

Но здесь правильнее использовать Array.iter, с ignore это лишь оторванный от реальности пример.

Но здесь правильнее использовать Array.iter, с ignore это лишь оторванный от реальности пример.

ага, понял.

или | Some i -> for x in i do printfn "head %A" x

Тоже вариант, да.

да и вообще :)

Array.iter <| printfn "head %A" |> Option.iter <| gazp.Headers

Тогда уж так: printfn "head %A" |> Array.iter |> Option.iter <| gazp.Headers Не надо перебарщивать с <|.

Не надо в одном выражении смешивать пайпы разной направленности

А <| сам по себе - норм

Тогда уж так: printfn "head %A" |> Array.iter |> Option.iter <| gazp.Headers Не надо перебарщивать с <|.

<| повышает читаемость вообщето

самое читаемое вообще со скобками

<| повышает читаемость вообщето

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

Option.iter (Array.iter <| printfn "head %A") s

@VVatashi @techiedesu Привет.

доброго времени суток!

https://twitter.com/sergey_tihon/status/952257295697825793

да ты прав, нет дженериков. только недавно лекции смотрел там говорится что в рантайме list<string> list<integer> это одно

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

лучше б Сайм трейты запилил

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

Ну я говорю про джаву и жвм чё там хз дело не имел

лучше б Сайм трейты запилил

Опять...

)

Опять...

а шо? эт не я придумал. это он сам наобещал а потом спрыгнул :)

а шо? эт не я придумал. это он сам наобещал а потом спрыгнул :)

Он ничего не обещал.

лет 8 назад как еще

лет 8 назад как еще

Покажи.

Сейчас есть длинное обсуждение в fslang-suggestions, один прототип трейтов со статьей и RFC для улучшения SRTP.

не веришь чтоли?

http://fsharp.org/specs/language-spec/2.0/FSharpSpec-2.0-April-2012.pdf

A.1.4.3 Keywords

reserved - ident - keyword : one of atomic break checked component const constraint constructor continue eager fixed fori functor include measure method mixin object parallel params process protected pure recursive sealed tailcall trait virtual volatile

ну и где все это?

Ух ты, это теперь обещанием называется. Я тебя понял. ;)

проблема в том что с каждой новой версией c# какихто уникальных преимуществ у f# остается все меньше

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

проблема в том что с каждой новой версией c# какихто уникальных преимуществ у f# остается все меньше

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

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

я в курсе. мне собственно неважно как они будут.

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

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

Ладно. С завидной периодичностью здесь появляется нытье про трейты.

И как обычно ни к чему не приводит.

естессно ни приводит

посыл даже не конкретно про трейты, а про то что развитие еще сильнее остановится. т.ч. это скорее отрицательная новость

посыл даже не конкретно про трейты, а про то что развитие еще сильнее остановится. т.ч. это скорее отрицательная новость

Почему?

что почему? почему отрицательная или почему остановится?

Почему остановится?

k_cieslak Yeah, talked with Don about it some time ago. He seemed excited As in - it actually means more time on F#, no unrelated research stuff

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

это пока эти фичи не определяющие

дык исторически так идет. в каждой версией в язык вносится все меньше изменений. а если Сайм еще и уйдет с замарином разбираться...

дык исторически так идет. в каждой версией в язык вносится все меньше изменений. а если Сайм еще и уйдет с замарином разбираться...

Домыслы.

Домыслы.

какие домысла. историю изменений в языке подыми

какие домысла. историю изменений в языке подыми

Домыслы про "остановится".

k_cieslak Yeah, talked with Don about it some time ago. He seemed excited As in - it actually means more time on F#, no unrelated research stuff

а замарин это типа такой весь ф-релатед или он им не будет заниматься? :)

Будет заниматься языком и его поддержкой в Xamarin.

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

Тулинг и библиотеки. Например, Сайм говорил, что его очень интересует elmish для xamarin.

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

Привет! Но ведь в Xamarin только MVVM, а как же unidirection и прочие функциональные архитектуры? Функционально программировать приятнее же, а в XAML-платформах кроме MVVM ничего толкового и нет пока.

Вдруг это шаг Майкрософта к чему-то большому и новому навстречу?

Привет! Но ведь в Xamarin только MVVM, а как же unidirection и прочие функциональные архитектуры? Функционально программировать приятнее же, а в XAML-платформах кроме MVVM ничего толкового и нет пока.

mvvm там только в Xamarin.Forms

а так что накостылишь то и будет

а формы все одно использовать невозможно

Интересную штуку нашел, пишу use _ = smth() внутри task CE, все работает пишу то же самое внутри обычной функции пишет FS0852 'use' bindings must be of the form 'use <var> = <expr>' а если написать use x = smth(), то ворнинг что x не используется, поменяйте на _ а если написать use _x = smth(), то уже и ворнинга нет

Привет! Но ведь в Xamarin только MVVM, а как же unidirection и прочие функциональные архитектуры? Функционально программировать приятнее же, а в XAML-платформах кроме MVVM ничего толкового и нет пока.

У меня кстати есть безумная идея “написать TEA - React для Xamarin” Суть такая, на Xamarin .NET часте: - Пользователь в методе view возвращаем декларативное описание UI (как в Fable React) - Что бы было меньше GC - можно юзать пулинг (переиспользовать одни и те же объекты под капотом) - Дальше “умный алгоритм” вычисляет минимальное изменение UI между двумя “кадрами” - По протоколу (к примеру protobuf) мы передаем это diff в платформенную часть На Android/iOS (прям нативно на java/obj-c написаный код) - Получает этот diff и изменяет UI По идее это будет даже быстрее Xamarin Native и меньше потреблять памяти. Что-то подобное пилят в JetBrains https://github.com/jetbrains/noria-kt Это проект Noria - универсальный “реакт”, который может работать поверх DOM/Cocoa/Swing и тд

Хотя если noria выстрелит, то можно будет просто очередной бекэн написать на F# или портануть (там уже есть на kotlin/clojure)

Привет!!

Привет!

https://twitter.com/brandewinder/status/952655944114057217

https://github.com/morelinq/MoreLINQ

https://github.com/wallymathieu/FSharpPlus.Validations

Привет.

hi

я не бот)

я не бот)

Зато я — бот!

ок

а для F# есть средства по проектированию программ не в MV* (MVVM и т.д.) направлении?

Каких программ? Имется ввиду десктоп/кросплатформа/xamarin?

Каких программ? Имется ввиду десктоп/кросплатформа/xamarin?

уточняю, десктопные программы

а для F# есть средства по проектированию программ не в MV* (MVVM и т.д.) направлении?

http://reedcopsey.com/2016/12/15/christmas-trees-in-wpf-2016-edition/

http://reedcopsey.com/2016/12/15/christmas-trees-in-wpf-2016-edition/

Спасибо!

Привет всем! Подскажите, а есть какой-нибудь чатик вроде "F# jobs" ну или где можно найти проекты так или иначе связанные с F#?

Вакансии или именно проекты (опенсорсные, например)?

Вакансии или именно проекты (опенсорсные, например)?

Желательно вакансии. Но опенсорс тоже интересен

А если просто проекты за которые платят - идеально!

Ну с ванаксиями в СНГ, как я понял, есть проблемы

Из чатиков по F#-вакансиям знаю только канал в Слэке F# Software Foundation. Но там вакансии по миру.

Опенсорсные проекты в основном все на ГитХабе. Можно самому по тегу fsharp поискать. Ну и есть вот такой, так сказать, реестр: https://github.com/fsprojects/awesome-fsharp