@Kleidemos У тебя есть на примете хорошие материалы про акку?

Akka.net Bootcamp. Но там пример только для Akka.FSharp. Я решил курс на Akkling, но щас могу сказать, что некоторые элементы надо переделать. На гитхаб не заливал. Доки Akka.net я не понимаю, по крайней мере до того момента, когда пойму из другого места. Но это не показатель, т.к. давно я не высыпался. Ну и скорее всего я для своих сделаю экскурс в Akka, правда стандартная для меня манера подачи не предполагает публикацию в общий интернет. Если будет актуально, могу потом в приватах скинуть текстовые наработки.

Добрый день. Столкнулся с тем что F# проекты от FORGE требуют .net 4.6.1. Что и где надо изменить чтобы использовать 4.7.1 ? Заранее спасибо.

Не нужно пользоваться Forge.

Это про тот Forge, который управляет проектами и солюшенами?

Сейчас все нормально работает через dotnet cli.

Это про тот Forge, который управляет проектами и солюшенами?

Да.

@Kleidemos У тебя есть на примете хорошие материалы про акку?

Я начал F# когда мучал акку. Свои начальные попытки даже выложил на хабр https://m.habr.com/post/334296/

Щас бы я многое переделал, но и так неплохо, а главное работает збс

Не нужно пользоваться Forge.

+1 проще свой темплит для dotnet new сделать, благо это элементарно нынче, чем Forge, который устарел и делает 100500 ненужных вещей.

Окей спасибо за ответы

Окей спасибо за ответы

А вообще в fsproj, замени target framework с net461 на net471

пробовал - не работает , требует 4.6.1 - там еще куча каких=то мутных зависимостей

Сделай dotnet restore после этого

попробую. спасибо

А, там paket же. Зайди в paket.dependecies и посмотри стоит ли там framework: auto-detect или конкретный. Если конкретный - поменяй. После сделай paket install чтобы он обновил лок файл с новыми версиями для нового фреймворка. Ну и все

Привет! Кто нибудь работал с elmish? Не могу понять, как с помощью Cmd можно делать сайд эффекты, если функция update должна быть чистой

Кому должна?) делай сайд эффекты

Привет! Кто нибудь работал с elmish? Не могу понять, как с помощью Cmd можно делать сайд эффекты, если функция update должна быть чистой

Cmd.ofPromise же

Cmd.ofPromise же

Меня это и смутило. Cmd.ofPromise - разве это чистая функция?

Кому должна?) делай сайд эффекты

Это больше концептуальный вопрос)

Меня это и смутило. Cmd.ofPromise - разве это чистая функция?

Ну она же принимает лямбду 'a -> Promise те НЕ выполняет сразу промис, а отправляет его в "рантайм", так что сам update чистый

Это больше концептуальный вопрос)

Ну, тут надо для себя решить, шашечки или ехать.

Ну она же принимает лямбду 'a -> Promise те НЕ выполняет сразу промис, а отправляет его в "рантайм", так что сам update чистый

Есть мнение что чистоты это не прибавит. Отложенный сайд эффект все равно сайд эффект.

Ну так это же как в хаскеле IO Тоже отложенный сайд-эффект, там это считается чистым

Есть мнение что чистоты это не прибавит. Отложенный сайд эффект все равно сайд эффект.

Э, не. Эдак мы придём к тому, что Haskell тоже не pure (а это, с моей точки зрения, формально неверно).

Ну так это же как в хаскеле IO Тоже отложенный сайд-эффект, там это считается чистым

Да, я считаю, что в данном случае всё чисто. (хотя ничего не разумею в elmish)

Ну так это же как в хаскеле IO Тоже отложенный сайд-эффект, там это считается чистым

IO в Хаскелле считается чистым?

Ну так это же как в хаскеле IO Тоже отложенный сайд-эффект, там это считается чистым

Он там лейзи, отправленный в рантайм промиз уже зашедулен на выполнение, он не ленивый же

Есть мнение что чистоты это не прибавит. Отложенный сайд эффект все равно сайд эффект.

Ты можешь 100500 раз вызвать update и у тебя всегда будет один результат (ссылка на функцию, возращающую промис).

Ты можешь 100500 раз вызвать update и у тебя всегда будет один результат (ссылка на функцию, возращающую промис).

И 100500 зашедуленных промисов в нагрузку?)

Так, ну давайте разберёмся, что такое промис.

И 100500 зашедуленных промисов в нагрузку?)

Нет, если ты эту лямбду не будет вызывать

Так, ну давайте разберёмся, что такое промис.

Промис в жс разве не не ранится при получении ссылки на него? В елмиш Промис это ж прокси для того Промиса не?

Я глубоко в эту сторону не копал

Ну, кароч, при правильном обращении этот 'a -> Promise — это аналог IO Promise

Кажется чистым.

Промис в жс разве не не ранится при получении ссылки на него? В елмиш Промис это ж прокси для того Промиса не?

Это ССЫЛКА НА ФУНКЦИЮ ВОЗРАЩАЮЩИЮ ПРОМИС, а НЕ сам промис

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

Это ССЫЛКА НА ФУНКЦИЮ ВОЗРАЩАЮЩИЮ ПРОМИС, а НЕ сам промис

ЯСНО.

Но, кажется, это не является предполагаемым вариантом использования. В теории там чисто, но ты можешь чистоту сломать.

Кажется чистым.

Я почему то не понял, почему IO a считается чистым?

Я почему то не понял, почему IO a считается чистым?

Потому что он не делает ничего!

Вот ты написал putStrLn "xxx" — что сделалось?

Я почему то не понял, почему IO a считается чистым?

Лейзи же

Лейзи же

Не совсем.

Вот ты написал putStrLn "xxx" — что сделалось?

Вывелось?

Вот ты написал putStrLn "xxx" — что сделалось?

Правильный ответ — ничего не сделалось. Ты создал экшен, который распечатает строку. У тебя нет способа этот экшен выполнить, вообще нет. (не считая unsafePerformIO)

Вывелось?

В ду нотации выведется, а так будет IO

Для того, чтобы вообще что-то сделать, ты должен экземпляр IO отдать в некий «рантайм», который по сути является интерпретатором IO-экшенов.

Любая программа на Haskell — это чистая функция, которая создаёт большой IO-экшен. Она никогда сама по себе никаких побочных эффектов не делает. Она в функции main этот экшен конструирует, а дальше его выполняет рантайм (который не является чистым).

Такая вот там идеология.

Ого, я кажется понял. Спасибо!

Вы можете другую интерпретацию предложить, конечно, но моё видение, вроде бы, близко к официальному.

В F# (или, например Scala) всё совсем не так, и ты можешь выполнять побочные эффекты где угодно, тебе не нужен никакой рантайм. Но чуваки, которые убиваются по «чистому ФП», так делать не любят, и поэтому всё равно делают некую точку выхода в рантайм. А весь свой код оставляют чистым и без побочных эффектов. И функция вида 'a -> Promise как раз очень похожа по сигнатуре на эдакий «IO для бедных».

F# кстати с этой точки зрения Async правильнее задизайнены, как () -> Task, те они ленивые и переиспользуемые. В отличие от C# Task и даже изкоробочных Scala Future

F# кстати с этой точки зрения Async правильнее задизайнены, как () -> Task, те они ленивые и переиспользуемые. В отличие от C# Task и даже изкоробочных Scala Future

Ок, да, ты прав.

Я раньше об этом почему-то не задумывался.

А для чего сделали Async? Чем он от тасков отличается? Где об этом лучше почитать?

А для чего сделали Async? Чем он от тасков отличается? Где об этом лучше почитать?

Он появился раньше тасков

В F# (или, например Scala) всё совсем не так, и ты можешь выполнять побочные эффекты где угодно, тебе не нужен никакой рантайм. Но чуваки, которые убиваются по «чистому ФП», так делать не любят, и поэтому всё равно делают некую точку выхода в рантайм. А весь свой код оставляют чистым и без побочных эффектов. И функция вида 'a -> Promise как раз очень похожа по сигнатуре на эдакий «IO для бедных».

Я бы сказал иначе - тебе могут всунуть побочные эффекты где угодно

Я бы сказал иначе - тебе могут всунуть побочные эффекты где угодно

Мне всунут?! Да я их сам кому хочешь всуну! Ух!

"Случаи бывают всякие"(с)

А для чего сделали Async? Чем он от тасков отличается? Где об этом лучше почитать?

- Async представляет собой отложенное вычисление, его нужно отдельно запускать; Task запускается сразу - Async пробрасывает cancellation token в вычисления при композиции

Иллюстрация кривизны вывода типа в C# public static NotNull<T> ToNotNull<T>(this T value) where T: class => TryCreate(value, out var result) ? result : throw new ArgumentNullException(); public static NotNull<T> ToNotNull<T>(this T? value) where T : struct => TryCreate(value, out var result) ? result : throw new ArgumentNullException(); Для nullable компилятор не сможет определить правильную перегрузку.

- Async представляет собой отложенное вычисление, его нужно отдельно запускать; Task запускается сразу - Async пробрасывает cancellation token в вычисления при композиции

- Можно создать Task через конструктор и не вызвать метод Start()

- Можно создать Task через конструктор и не вызвать метод Start()

И будет говнокод по антипаттерну "протокол". Шарповая задача предполагается запущенной

- Async представляет собой отложенное вычисление, его нужно отдельно запускать; Task запускается сразу - Async пробрасывает cancellation token в вычисления при композиции

А как попросить вычисление завершиться? Где то должен быть CancellationTokenSource?

Иллюстрация кривизны вывода типа в C# public static NotNull<T> ToNotNull<T>(this T value) where T: class => TryCreate(value, out var result) ? result : throw new ArgumentNullException(); public static NotNull<T> ToNotNull<T>(this T? value) where T : struct => TryCreate(value, out var result) ? result : throw new ArgumentNullException(); Для nullable компилятор не сможет определить правильную перегрузку.

И в чём же она, простите, заключается, эта иллюстрация? Я подозреваю, что CLI просто не даст создать два таких метода (и C# тут не виноват). Но быстро проверить не смог, не хватает пары определений.

Мало того, незапущенную задачу удастся запустить только однажды

И в чём же она, простите, заключается, эта иллюстрация? Я подозреваю, что CLI просто не даст создать два таких метода (и C# тут не виноват). Но быстро проверить не смог, не хватает пары определений.

А, ок, теперь вижу в новой редакции сообщения :)

А, ок, теперь вижу в новой редакции сообщения :)

Сишарп не учитывает констрейнты ни при определении перегрузки, ни при выводе типов

Скомпилить методы можно, а использовать по прямому назначению низзя

А как попросить вычисление завершиться? Где то должен быть CancellationTokenSource?

А это и с обычной таской не пройдет. Завершение задачи предполагается кооперативным

А как попросить вычисление завершиться? Где то должен быть CancellationTokenSource?

Да, как обычно.

http://tomasp.net/blog/csharp-fsharp-async-intro.aspx/ - про разницу моделей асинхронности в C# и F#

http://tomasp.net/blog/csharp-fsharp-async-intro.aspx/ - про разницу моделей асинхронности в C# и F#

Благодарю

А, там paket же. Зайди в paket.dependecies и посмотри стоит ли там framework: auto-detect или конкретный. Если конкретный - поменяй. После сделай paket install чтобы он обновил лок файл с новыми версиями для нового фреймворка. Ну и все

А вообще забить на эти темплейты можно?

А вообще забить на эти темплейты можно?

Конечно модно, но в сотый раз надоедает

Привет!

Akka.net Bootcamp. Но там пример только для Akka.FSharp. Я решил курс на Akkling, но щас могу сказать, что некоторые элементы надо переделать. На гитхаб не заливал. Доки Akka.net я не понимаю, по крайней мере до того момента, когда пойму из другого места. Но это не показатель, т.к. давно я не высыпался. Ну и скорее всего я для своих сделаю экскурс в Akka, правда стандартная для меня манера подачи не предполагает публикацию в общий интернет. Если будет актуально, могу потом в приватах скинуть текстовые наработки.

Спасибо!

И 100500 зашедуленных промисов в нагрузку?)

Чистая ф-ция != идемпотентная

Akka.net Bootcamp. Но там пример только для Akka.FSharp. Я решил курс на Akkling, но щас могу сказать, что некоторые элементы надо переделать. На гитхаб не заливал. Доки Akka.net я не понимаю, по крайней мере до того момента, когда пойму из другого места. Но это не показатель, т.к. давно я не высыпался. Ну и скорее всего я для своих сделаю экскурс в Akka, правда стандартная для меня манера подачи не предполагает публикацию в общий интернет. Если будет актуально, могу потом в приватах скинуть текстовые наработки.

Ок, наверное, тоже попробую решить на Akkling. Но сразу начну на гитхаб выкладывать. :)

Кажется, лицензия позволяет.

Ок, наверное, тоже попробую решить на Akkling. Но сразу начну на гитхаб выкладывать. :)

Так уж и быть, закину свою.

Когда у компа буду.

Конечно модно, но в сотый раз надоедает

А там ещё платформу надо указать - типа win-64 - там тоже менять на auto-detect или оставить?

Свежий Akkling зависит от FSharp.Core 4.5.0

?

Плохо.

Хотя не, пофигу

Но это он зря

Свежий Akkling зависит от FSharp.Core 4.5.0

И что это значит? Мы же все равно не указывам явно версию в проектах ?

Ну, мне пришлось явно указать версию FSharp.Core

Я плохо понимаю, как они доставляются через Microsoft.NET.Sdk