@Fsharp_chat
Evgeniy04.08.2018
20:47:15
20:47:15
@angmarr Если я из init верну команду на загрузку данных из хранилища, это будет правильное решение?
Igor04.08.2018
20:53:55
20:53:55
Вроде да
Evgeniy04.08.2018
20:54:03
20:54:03
Отлично, спасибо.
Pavel04.08.2018
22:21:03
22:21:03
Google
Friedrich05.08.2018
02:42:13
02:42:13
Ребят, вопрос возможно здесь частый, но не в описании, не в пине не нашёл, извините(
В общем хочу переписать одну свою либу с вычислениями с C# на F#, в пользу лаконичного и более читабельного кода и интереса к ФП, как раз даже на работе разрешили из собственного интереса тимлида.
Смотрю примеры, читаю доку, но чувствую что одним синтаксисом здесь не обойдёшься и нужно понимать подход. На чисто интуитивном уровне я осознаю подход, но чувствую, что для полного просветления было бы неплохо почитать что-нибудь фундаментальное по ФП. Что можете посоветовать, мастхэв какой-нибудь?)
Почитай вот эту серию постов: http://blog.ploeh.dk/2017/10/04/from-design-patterns-to-category-theory/
Ruslan05.08.2018
05:56:44
05:56:44
Vasily05.08.2018
06:17:41
06:17:41
@angmarr Если я из init верну команду на загрузку данных из хранилища, это будет правильное решение?
Кстати, да, мне тоже показалось в коде странным прибитый гвоздями стореджEvgeniy05.08.2018
06:18:02
06:18:02
Vasily05.08.2018
06:31:14
06:31:14
Что значит "прибитый"?
Ну если ты захочешь, например, пообщаться с базой, изменение займет больше времени, чем хочетсяEvgeniy05.08.2018
06:34:41
06:34:41
Ну если ты захочешь, например, пообщаться с базой, изменение займет больше времени, чем хочется
Не захочу.Что ж вы за архитектурные астронавты. :)
Vladimir05.08.2018
06:36:27
06:36:27
Почитай вот эту серию постов: http://blog.ploeh.dk/2017/10/04/from-design-patterns-to-category-theory/
Как раз вчера закончил читать, честно говоря полезного там немного. Это скорее введение в термины хаскеля для дотнетчиков)Vasily05.08.2018
06:36:35
06:36:35
Что ж вы за архитектурные астронавты. :)
Я не астронавт, иногда просто в стратосферу приходится нырятьEvgeniy05.08.2018
06:50:12
06:50:12
Если я захочу пообщаться с базой, то буду делать это через сервер. А это совсем другая история.
Оверинжинирить сейчас смысла не вижу.
Friedrich05.08.2018
08:00:03
08:00:03
Как раз вчера закончил читать, честно говоря полезного там немного. Это скорее введение в термины хаскеля для дотнетчиков)
А мне прям очень понравились эти статьи, я упорядочил своё понимание некоторых концепций.Vladimir05.08.2018
08:23:36
08:23:36
Ну, они интересные, концепции хорошо расписаны. Только не очень понятно что теперь с этим всем делать, так что практическая польза небольшая на мой взгляд
GoogleVladimir05.08.2018
08:27:08
08:27:08
Не хватило вывода типа, вот я знаю что такое моноиды, семигруппы и магмы, теперь я могу — ....
Friedrich05.08.2018
08:44:33
08:44:33
Ну, они интересные, концепции хорошо расписаны. Только не очень понятно что теперь с этим всем делать, так что практическая польза небольшая на мой взгляд
Берёшь и рефакторишь свои интерфейсы в функторы или во фри, лол :)Evgeniy05.08.2018
11:06:01
11:06:01
Ну, они интересные, концепции хорошо расписаны. Только не очень понятно что теперь с этим всем делать, так что практическая польза небольшая на мой взгляд
В первую очередь это нужно для общения. :)
Klei05.08.2018
11:35:45
11:35:45
Кто-нибудь знает, как в Akka/Akkkling из актора, который примет сообщение 'a и сдохнет, сделать Async<'a>?
Ну или из актора, который отправит одно сообщение и сдохнет.
Vladimir05.08.2018
15:41:57
15:41:57
Берёшь и рефакторишь свои интерфейсы в функторы или во фри, лол :)
там такого не было написано) написано наоборот, что хочешь так хочешь так, без разницыВ первую очередь это нужно для общения. :)
тут согласен) поэтому и не очень одобряю это новичкам в фшарпе давать
Roman06.08.2018
02:00:53
02:00:53
Берёшь и рефакторишь свои интерфейсы в функторы или во фри, лол :)
есть мнение, что фри монады на фшарпе - так себе идея
https://stackoverflow.com/a/51262899/6198294Evgeniy06.08.2018
04:36:52
04:36:52
есть мнение, что фри монады на фшарпе - так себе идея
https://stackoverflow.com/a/51262899/6198294
Поддерживаю.Привет?
アレクセイ06.08.2018
05:26:35
05:26:35
That TurtleProgram code you linked to was just an experiment -- I would not recommend using Free for real code at all.
Блин как раз недавно читал и думал: так вот как надо делать! А оно не так ?
Evgeniy06.08.2018
05:29:29
05:29:29
Блин как раз недавно читал и думал: так вот как надо делать! А оно не так ?
Только не в F#. Есть языки, где этот паттерн хорошо себя зарекомендовал.
Mikhail06.08.2018
05:36:27
05:36:27
А как тогда лучше сделать DSL? Просто интерпретатор, без фри монады?
Vasily06.08.2018
05:42:26
05:42:26
А как тогда лучше сделать DSL? Просто интерпретатор, без фри монады?
Можно на билдерах,они же computation expressionsGoogleEvgeniy06.08.2018
05:43:23
05:43:23
Кто-то должен написать серию статей про идиоматичный F#. :)
Кто-то должен написать серию статей про идиоматичный F#. :)
Тут немного есть, конечно.
https://docs.microsoft.com/en-us/dotnet/fsharp/style-guide/conventionsНо это мелочи.
Doge06.08.2018
06:16:26
06:16:26
есть мнение, что фри монады на фшарпе - так себе идея
https://stackoverflow.com/a/51262899/6198294
Я не соглашусь с аргументами про то, что это так себе идея.
Имхо, важная часть, что free, что того же tagless final - это возможность очистить бизнесовую логику от инфраструктурных эффектов вроде того же async и тем самым лучше разделить слои приложения друг от друга.
А это ценно, что в F#, что где-нибудь ещёEvgeniy06.08.2018
06:17:43
06:17:43
Я не соглашусь с аргументами про то, что это так себе идея.
Имхо, важная часть, что free, что того же tagless final - это возможность очистить бизнесовую логику от инфраструктурных эффектов вроде того же async и тем самым лучше разделить слои приложения друг от друга.
А это ценно, что в F#, что где-нибудь ещё
Ценно, но в F# лучше так не делать.Roman06.08.2018
06:18:14
06:18:14
Я не соглашусь с аргументами про то, что это так себе идея.
Имхо, важная часть, что free, что того же tagless final - это возможность очистить бизнесовую логику от инфраструктурных эффектов вроде того же async и тем самым лучше разделить слои приложения друг от друга.
А это ценно, что в F#, что где-нибудь ещё
так интерпретатор в помощь. Там же речь про то, что фри монады - слишком много бойлерплейта и когнитивной нагрузкиDoge06.08.2018
06:19:13
06:19:13
так интерпретатор в помощь. Там же речь про то, что фри монады - слишком много бойлерплейта и когнитивной нагрузки
Интерпретатором ты именно от эффектов зависимость не уберешь. (В F# конкретно)Doge06.08.2018
06:20:07
06:20:07
Bonart06.08.2018
06:20:58
06:20:58
Сложно только из-за того, что реализацию каждый раз свою писать?
Я думаю, что есть простой способ опровержения - написать на фримонадах то, что поддерживать легко.Roman06.08.2018
06:21:02
06:21:02
еще каждый раз объяснять новому разработчику концепт фри монады)
Bonart06.08.2018
06:21:13
06:21:13
Если, конечно, опровержение вообще существует ;)
Ayrat06.08.2018
06:21:18
06:21:18
Evgeniy06.08.2018
06:21:30
06:21:30
Bonart06.08.2018
06:21:45
06:21:45
еще каждый раз объяснять новому разработчику концепт фри монады)
При легкой поддерживаемости это не нужно. ООП понимает ноль целых хрен десятых процентаAyrat06.08.2018
06:22:36
06:22:36
При легкой поддерживаемости это не нужно. ООП понимает ноль целых хрен десятых процента
разверни мысль пожалуйстаEvgeniy06.08.2018
06:22:48
06:22:48
И это тоже.
Для паттерна, что в других языках получается for free, в F# нужно придумывать целый рецепт.
http://blog.ploeh.dk/2017/08/07/f-free-monad-recipe/Bonart06.08.2018
06:22:52
06:22:52
давай начнём с монады)))
С монадой кстати более-менее просто. Спасибо LINQ. SelectMany, и ToMyType() - и готовоGoogleEvgeniy06.08.2018
06:22:56
06:22:56
Мне не кажется, что это идиоматично и стоит использовать в F#.
Doge06.08.2018
06:24:04
06:24:04
Я думаю, что есть простой способ опровержения - написать на фримонадах то, что поддерживать легко.
А что сложного в поддержке кода с фри монадами?
Элементарный же паттернBonart06.08.2018
06:24:14
06:24:14
разверни мысль пожалуйста
Легкая поддерживаемость означает, что можно эффективно использовать широкие массы мидлов без понимания ими подкапотного механизма. С ООП именно это и произошло.Ayrat06.08.2018
06:24:46
06:24:46
А что сложного в поддержке кода с фри монадами?
Элементарный же паттерн
что сложного сразу писать код на F*? элементарный же языкEvgeniy06.08.2018
06:24:56
06:24:56
Господа, идите во флудилку, пожалуйста.
Ayrat06.08.2018
06:25:57
06:25:57
Легкая поддерживаемость означает, что можно эффективно использовать широкие массы мидлов без понимания ими подкапотного механизма. С ООП именно это и произошло.
ты выше написал "ООП понимает ноль целых хрен десятых процента". Ты имеешь в виду что само глубинное понятие ООП понимает почти никто, но пользоваться его продуктами (паттернами) может любой CRUD-о писатель?Doge06.08.2018
06:26:05
06:26:05
что сложного сразу писать код на F*? элементарный же язык
Он с .net толком не интегрируется. А так да, не очень сложный сам по себе.Bonart06.08.2018
06:27:19
06:27:19
ты выше написал "ООП понимает ноль целых хрен десятых процента". Ты имеешь в виду что само глубинное понятие ООП понимает почти никто, но пользоваться его продуктами (паттернами) может любой CRUD-о писатель?
Примерно так. Это не значит, что люди понимающие глубже не нужны. Но прикладнуху ( и довольно сложную) могут ваять вполне обычные мидломассыAyrat06.08.2018
06:28:27
06:28:27
Он с .net толком не интегрируется. А так да, не очень сложный сам по себе.
Не очень сложный для кого? Есть мнение что ты вещаешь со своей колокольни, пытаясь натянуть сову на глобус. Сове больно сейчас. Люди не хотят учить леммы для написания блого движков или интернет-магазинов. А это 90% рынкаDoge06.08.2018
06:30:32
06:30:32
Не очень сложный для кого? Есть мнение что ты вещаешь со своей колокольни, пытаясь натянуть сову на глобус. Сове больно сейчас. Люди не хотят учить леммы для написания блого движков или интернет-магазинов. А это 90% рынка
Например, в скала сообществе относительно широко начинают использовать free или tagless final сейчас и в вполне бизнесом коде и в вполне крупных проектах. При этом не сказать, что там для их использования нужно меньше каких-то знаний.
Так что, если для них не очень сложный, то и для F# сообщества не очень сложный, имхо.Bonart06.08.2018
06:32:13
06:32:13
Это не в скале язык сознательно делится на две части - для быдла и библитекарей?
Doge06.08.2018
06:32:33
06:32:33
Это не в скале язык сознательно делится на две части - для быдла и библитекарей?
Нет, на это уже все давно забили.И современный идиоматичный ФП скала код ты без отключения части этих варнингов все равно не напишешь
Igor06.08.2018
06:39:00
06:39:00
Например, в скала сообществе относительно широко начинают использовать free или tagless final сейчас и в вполне бизнесом коде и в вполне крупных проектах. При этом не сказать, что там для их использования нужно меньше каких-то знаний.
Так что, если для них не очень сложный, то и для F# сообщества не очень сложный, имхо.
Имхо это все от лени (конечных юзеров).
Вместо того что бы правильно структурировать программы (отделяя эффекты), проще бахнуть императивное месиво из логики и эффектов, а потом все это “интерпретировать”.Doge06.08.2018
06:40:11
06:40:11
Имхо это все от лени (конечных юзеров).
Вместо того что бы правильно структурировать программы (отделяя эффекты), проще бахнуть императивное месиво из логики и эффектов, а потом все это “интерпретировать”.
Так это как раз один из способов отделить и вынести реальные эффекты на край программыIgor06.08.2018
06:40:56
06:40:56
Ну такое себе способ, а потом у тебя эти фри по всей программе
Doge06.08.2018
06:41:23
06:41:23
Да, это можно и явно сделать, но тогда достаточно много данных придется именно что явно по коду протаскивать туда-сюда
Что во многих случаях будет отвлекать от самой бизнес-логики
Ну такое себе способ, а потом у тебя эти фри по всей программе
Ну поэтому в той же скале предпочитают от эффектов абстрагироваться через hkt дженерик параметр, где это возможно.
И тогда будет не явный фри, а просто какой-то обобщенный эффект.
Vlad06.08.2018
06:57:11
06:57:11
Имхо это все от лени (конечных юзеров).
Вместо того что бы правильно структурировать программы (отделяя эффекты), проще бахнуть императивное месиво из логики и эффектов, а потом все это “интерпретировать”.
не лени, просто всех людей учат на стеке императивных языков еще со школыGoogleVladimir06.08.2018
09:04:08
09:04:08
Что-то обновил TaskBuilder до 2.0 и поломался жираф, никто еще не столкнулся?
An unhandled exception has occurred while executing the request.
System.MissingMethodException: Method not found: 'TaskBuilder FSharp.Control.Tasks.ContextInsensitive.get_task()'.
at Giraffe.Middleware.Invoke@39-1.Invoke(FSharpOption`1 _arg1)
at FSharp.Control.Tasks.TaskBuilder.StepStateMachine`1.nextAwaitable() in D:\src\TaskBuilder\TaskBuilder.fs:line 38
Friedrich06.08.2018
09:05:15
09:05:15
Мб обнови жираф тоже? Были проблемы, но их пофиксили же?
Vladimir06.08.2018
09:05:49
09:05:49
жираф уже почти полгода без апдейтов =( на 1.2.0-rc работает
похоже потому, что taskbuilder вместо обычного апдейта поменял неймспейсы и какая-то старющая версия стала подтягиваться
Вообще говоря странный паттерн - поднять версию нейспейсов) хотите новую версию либы - переписывайте у себя код
Friedrich06.08.2018
09:31:14
09:31:14
Вообще говоря странный паттерн - поднять версию нейспейсов) хотите новую версию либы - переписывайте у себя код
Погодь, в старом неймспейсе остался старый кодЧеловек старается сделать, чтоб ни у кого совместимость не поломалась, всё ок.
Ну, там был косяк с жирафом и это не ок, но мне казалось, что всё починили.
Vladimir06.08.2018
09:41:53
09:41:53
Погодь, в старом неймспейсе остался старый код
похоже что слишком старый) жираф ориентируется на 1.2.0-rc, а 2.0 c ним уже не совместимVladimir06.08.2018
09:42:50
09:42:50
новый относительно чего?)
может относительно 1.0?
я в общем, захардкодил себе 1.2.0-rc пока, сейчас создам ишуй в жирафе, может кто возьмется фиксить
Человек старается сделать, чтоб ни у кого совместимость не поломалась, всё ок.
лучше бы он как все сделал) у кого поломалась бы, тот бы не апдейтился просто, а теперь жирафу нужно апдейт делать чтобы новую версию забрать
Открыть в Telegram