хахаха теперь уже да)

А нас тут все просто. Нужно абстрагировать эффекты - берешь и пишешь фри-монаду

А нас тут все просто. Нужно абстрагировать эффекты - берешь и пишешь фри-монаду

Сначала пишешь пэйд монаду, потом делаешь шарваред монаду, потом фри монаду

решили совсем затролить, ага?😅

http://blog.ploeh.dk/content/binary/dependency-injection-in-scala-comic.jpg

решили совсем затролить, ага?😅

Если только чуть чуть Но если серьезно, то http://blog.ploeh.dk/2017/08/07/f-free-monad-recipe/ работает

Как ни крути, мы редко пишем “чистые функции”, а в основном “склеиваем IO запросы (бд/сеть) своей ‘бизнес логикой’” Те в итоге тебе понадобится интерпретатора и ты либо его руками напишешь, либо более дженерик через free-monad. (это если хочешь все пробить юнит-тестами (а если нет, то можно и не запариваться))

А нас тут все просто. Нужно абстрагировать эффекты - берешь и пишешь фри-монаду

Ну ещё есть возможность абстрагироваться от эффекта напрямую, без Free, но это удобно сделать только если ты готов либо использовать типы высших порядков, либо их сэмулировать

Ну ещё есть возможность абстрагироваться от эффекта напрямую, без Free, но это удобно сделать только если ты готов либо использовать типы высших порядков, либо их сэмулировать

> их сэмулировать звучит отвратительно) где про это пишут?

> их сэмулировать звучит отвратительно) где про это пишут?

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

http://ocamllabs.io/higher/lightweight-higher-kinded-polymorphism.pdf

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

Нет, ты про Ну ещё есть возможность абстрагироваться от эффекта напрямую, без Free расскажи

(только я надеюсь ты не про tagless)

(только я надеюсь ты не про tagless)

Ну да, я про него. Просто tagless подход сам по себе сильно шире, чем это конкретное применение и не только в таком контексте может применяться.

картер там походу совсем упоролся перфомансом вс

видимо заметные изменения будут

в 19 релизе

картер там походу совсем упоролся перфомансом вс

?

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

ну куча подобных от него

@omgszer а компилятор можно дебажить через райдер?

https://habr.com/post/435878/ Товарища Кшиштоф покусал :)

https://docs.microsoft.com/en-us/dotnet/fsharp/style-guide/component-design-guidelines Use interface types to represent a set of operations. This is preferred to other options, such as tuples of functions or records of functions.

@omgszer а компилятор можно дебажить через райдер?

Я не пробовал.

Даже в компиляторном чатике у JS-секты воспламенились пердаки.

@omgszer а компилятор можно дебажить через райдер?

Ну конечно.

Даже в компиляторном чатике у JS-секты воспламенились пердаки.

Печально, что ты там разводишь.

Печально, что ты там разводишь.

Хм, я пишу про все языки и платформы примерно одинаково. Что вижу хорошего, что плохого и почему.

Питонисты отвечают нормально, хаскелисты нормально, эфшарперы вообще неправдоподобно адекватны, у яваскриптеров в ответ агрессия

Хм, я пишу про все языки и платформы примерно одинаково. Что вижу хорошего, что плохого и почему.

На моей памяти ты там в чатике им пишешь, что все говно :(

На моей памяти ты там в чатике им пишешь, что все говно :(

Хм, про питон я писал что это лучший клей для превращения библиотек в готовые решения.

Про JS - что его популярность заслуженна, а сам язык исходно хорошо спроектирован

Кстати, надо еще написать что ООП в JS сделано хорошо

Вбросы один страшней другого!

Ах да, я и про строки хаскеля написал, что для учебно-академического языка они ОК

Но ведь на самом деле это всё неправда! В действительности всё наоборот!

Эхххх,как же в Тае хорошо

@BonartLeo опять воюет с ветряными мельницами?

Травишь?

Травишь?

Кого?

Просто делюсь ощущениями

Утро, няшы!

доброе утро вьетнам

как бы доминируешь над нами?

как бы доминируешь над нами?

Какбыда

Это прямо вид с лежака

Хорошо тебе там, где меня нет

Хорошо тебе там, где меня нет

Это да

прислали self-evaluation формочку :) чо писать? трындел в чатиках? :)))

прислали self-evaluation формочку :) чо писать? трындел в чатиках? :)))

… за деньги компании.

я сегодня впервые на рельсы встал

приятное чувство

приятное чувство

сделай уже ебаный оператор!

let inline (>>=) ...

это из хаскеля?

ну да, он же bind

принял

K P A C U B O

ну да, он же bind

let inline (>>=) result fn = Result.bind fn result ?

ну да

ну да

А от конкретно резалта отвязать нельзя?

Орнул

можно, через SRTP

А еще можно CE

А от конкретно резалта отвязать нельзя?

у резлта меняется TOk в fn

сходу не уверен

т.к. у нас нет HKT, то придётся писать такой >>= для кажой монадки. Или SRTP замутить.

сделай уже ебаный оператор!

А я-то думал как этот бинд правильно называть по-русски

ёлочка

ёлочка

У Айрата идиоматичнее вышло

А что за Dave?

Но вообще мысль верная.

Хз. Не узнаю

На них нельзя полагаться. Очень ограниченно юзать только