Так не очень, кажется можно еще проще let rs = List.fold (fun rest r -> async.Bind(rest, fun rest_ -> async.Bind(r, fun result -> result::rest_ |> async.Return))) (async.Return [])

Так не очень, кажется можно еще проще let rs = List.fold (fun rest r -> async.Bind(rest, fun rest_ -> async.Bind(r, fun result -> result::rest_ |> async.Return))) (async.Return [])

Пожалуй, этот вариант хуже. :)

Да, похоже в одну строку никак не упрощается

Паллиативный вариант: let rec runSeq :Async<'r> list -> Async<'r list> = List.fold (fun rest r -> async { let! tail = rest let! head = r return head::tail }) (async {return []})

Может кто показать настройки launch.json для vscode F# .Net Core?

https://github.com/ionide/DebugSample

Может кто показать настройки launch.json для vscode F# .Net Core?

^

Есть функция let rec runSeq :Async<'r> list -> Async<'r list> = function | [] -> async.Return [] | head::tail -> async { let! result = head let! rest = runSeq tail return result::rest }хочется изящнее написать. Есть идеи?

А мне кажется очень изящно у тебя. Что тебя смущает?

Паллиативный вариант: let rec runSeq :Async<'r> list -> Async<'r list> = List.fold (fun rest r -> async { let! tail = rest let! head = r return head::tail }) (async {return []})

Мне кажется вставлять лямбду которая не помещается в одну строку как-то странно.

описание типов наверное можно опустить

Зачем ты еще один такой же чат зопилил-то, мы всё голову ломаем? (появились предположения про монополию на сшарп и рекламу ?)

Мне не понравилось содержание того чата,там только реклама F#

http://www.prigrammer.com/?p=489

Доброе утро.

А на F# можно UWP приложение наваять?

Ничто не запрещает, в целом

А на F# можно UWP приложение наваять?

Нет

Появилась мысль сделать windows UWP F# Telegram app =)

в .NET Native не соберется

Ты можешь shared library написать на F# и заюзать из C#

Интересно, почему?

тогда проблем не буит

Интересно, почему?

https://github.com/Microsoft/visualfsharp/issues/1096

В общем мысль такая: я просто сел и подумал, что вот под макОсь есть клиент на obj-C который учитывает фишки ОС. А вот под венду такого нету.

Есть универсальный на QT

И подумал... Да, я могу на C# это сделать, но вот было бы ещё круче - на F# наваять!

В общем, как я понял, всё же придётся ваять на C#, т.к не возникнет проблем с куста на ровном месте. =(

В общем, как я понял, всё же придётся ваять на C#, т.к не возникнет проблем с куста на ровном месте. =(

Знаешь про Mvvm?

название слышал...

пару раз в своей жизни крутил WPF

(пару курсачей на нём делал)

MVVM мобильные разработчики уважают.

Ещё нашел вот такую либу https://github.com/sochix/TLSharp

В общем вкратце — это когда у тебя в ViewModel лежит логика, которая ничего не знает про UI так вот, такие вьюмодели с сервисами можно сложить в F# проект, а уи — уже на C# с хамлом

логика во ViewModel ? WTF!

Для меня, как asp.net девелопера это звучит по меньшей мере - как антипаттерн.

в вебе вьюмодель дто

в мобайле/десктопе — нет

но..допустим они там в мобайле по другому считают

MVVM мобильные разработчики уважают.

?? (видать я исключение)

Меня, возможно, сейчас гуглить отправят, но что вернётся, если из c# вызвать метод, который возвращает DU? Про другие проприетарные типы ещё можно сообразить аналог в BCL, хотя не уверен, что будет какое-то привидение срабатывать

Меня, возможно, сейчас гуглить отправят, но что вернётся, если из c# вызвать метод, который возвращает DU? Про другие проприетарные типы ещё можно сообразить аналог в BCL, хотя не уверен, что будет какое-то привидение срабатывать

DU разворачивается в иерархию классов.

И все это автоматом преобразуется? Ничего не рухнет?

Меня, возможно, сейчас гуглить отправят, но что вернётся, если из c# вызвать метод, который возвращает DU? Про другие проприетарные типы ещё можно сообразить аналог в BCL, хотя не уверен, что будет какое-то привидение срабатывать

Смотри трюкан, так можно изучать особенности компиляции: https://sharplab.io/#v2:DYLgZgzgNAJiDUAfA9gBwKYDsAEBlAnhAC7oC2AsAFBH4bYAa2AvNgILaLYBCH2AwkA=

О, спасибо

@fvnever глянул на генеренный код и ужаснулся.

А мне кажется очень изящно у тебя. Что тебя смущает?

Я расчитывал что придет гуру теории категорий и объяснит, что монадический бинд надо заменить на какой-нибудь оператор Клейна через который требуемое действие выражается как List.fold ( (>==>) Async.Bind ) (async.Return [])... Покрутил я это все вечером и такое интуитивное ощущение у меня пропало

А тут есть гуру теории категорий?

На тебя и Фридриха надеялся. Не оправдали ?

Думается мне для таких вещей не нужно быть гуру

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

Думается мне для таких вещей не нужно быть гуру

Да. Я думаю достаточно иногда занимать мозг такими задачи и нарабатывать интуитивное понимание. Это оч полезно

На тебя и Фридриха надеялся. Не оправдали ?

Я вообще мутный тип с богатым энтерпразным прошлым и кровавым настоящим

Но на самом деле я вопроса не видел почему-то. Попозже попробую посмотреть и сообразить.

Да там вопрос из серии [F[A]]->F[A]

вроде тка

Так

лифтинг

Наверное лифтинг

Я в этих умных словах плохо разбираюсь

В целом, это красивее через билдеры пишется, мнится мне

Да там вопрос из серии [F[A]]->F[A]

[F[A]] -> F[[A]] тогда уж :)

[F[A]] -> F[[A]] тогда уж :)

Я ж грю, я в теоркате плохо разбираюсь :)

Это нотация из теорката? Тогда я её не понял %)

Я хз откуда :)

Я решил, что у тебя тут просто список ... кхем, контейнеров от A конвертуется в контейнер со списком A.

А, ну да

Тут кажется скобочки от array и generic параметра замешаны в одном выражении

Да. Я решил, что просто ad-hoc нотация такая.

Забейте, короче

https://github.com/fsharplang-ru/translations/issues/17

Нужно уже перевести что-нибудь. :)

Хоть что -нибудь

Да.

У меня конфликт мотивов

На работе работа, но хочется что-нить эдакого

Вне работы как-то не хочется :)

Привет. o/

Привет! Добро пожаловать!

И вам не хворать.

Привет. o/

Race condition

И вам не хворать.

Ты уже тут был, вроде

Нет.

Нет.

А лиса знакомая

А лиса знакомая

Другие чаты, возможно.

Другие чаты, возможно.

Таки собирался. Нужно скинуть видео по обучению?

Таки собирался. Нужно скинуть видео по обучению?

Пока нет. Я пока бложек на php поднимаю)

Да, переводить оказалось немного сложнее, чем я думал.

Давно не практиковался на подобных текстах.

https://github.com/fsharplang-ru/translations/pull/18

Пишите замечания, чтобы я их правил как можно раньше. :)

быть готовым к изучения совершенно новые вещи

о которых мы может поговорить

@akhanteev Спасибо, но лучше в комментариях к PR.

да, сейчас закину туда

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

@akhanteev > Samara, Russia Ого, офигеть, Самара. :)