если водка мешает работе - бросай работу!

не так, лол

Я пиво холодное люблю Я водку холодную уважаю Но если это мешает работе То брось ее нахуй! работу свою

напомнило очень

Думал почитать о прекрасном, а здесь клея нюхают

Пасаны, планирую обмазать свое Fable (ReactNative) приложение фри-монадами из статьи http://blog.ploeh.dk/2017/08/07/f-free-monad-recipe/ Норм план же?

Пасаны, планирую обмазать свое Fable (ReactNative) приложение фри-монадами из статьи http://blog.ploeh.dk/2017/08/07/f-free-monad-recipe/ Норм план же?

Нет.

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

https://stackoverflow.com/questions/51243820/f-async-workflow-tasks-combined-with-free-monad

В ответах пишут, что так не стоит делать

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

плюсую, в F# это не очень смотрится. Можно и в C фри монады затащить, чтобы прям как в хаскеле, но зачем?

плюсую, в F# это не очень смотрится. Можно и в C фри монады затащить, чтобы прям как в хаскеле, но зачем?

Что бы - тестировать стало возможно - ограничивать себя в использование сайд-эффектов (тк это мне удобно), а больше думать как написать на чистых функциях

Что бы - тестировать стало возможно - ограничивать себя в использование сайд-эффектов (тк это мне удобно), а больше думать как написать на чистых функциях

Это понятно, но F# тебе тут не поможет. Язык не чистый

Надо будет много говнокодить

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

И что что он менее обобщенный получится? Это он мой код и я знаю как у меня эффекта.

Надо будет много говнокодить

Пока все красиво и кратко получается, просто меняешь один билдер на другой

Пока все красиво и кратко получается, просто меняешь один билдер на другой

кстати, посмотри FSharpPlus

там люди многое сделали как в хаскеле, моноиды, стрелки, группы, полугруппы, категории

обмазали уже всё функторами

не смотрел, но возможно Free там тоже есть

Смотрел, там сплошные костыли и куча ненужного функционала. Я же говорю, мне не нужна "настоящая полиморфная фрии", у Симанна очень простая реализация в статье.

https://github.com/dotnet/csharplang/blob/master/meetings/2018/LDM-2018-09-24.md

И что что он менее обобщенный получится? Это он мой код и я знаю как у меня эффекта.

Он получится слишком сложный, если не для тебя, то для коллег. Если это пет проект, ради бога, но в продакшн я бы не рекомендовал. Тот же самый интерпретатор проще в реализации, а даёт то же самое.

Сейчас смотрю доклад Олега Нижникова про final tagless - звучит прикольно, кажись придется еще раз переписывать

Он получится слишком сложный, если не для тебя, то для коллег. Если это пет проект, ради бога, но в продакшн я бы не рекомендовал. Тот же самый интерпретатор проще в реализации, а даёт то же самое.

> Тот же самый интерпретатор проще в реализации, а даёт то же самое. Можно пример?

> Тот же самый интерпретатор проще в реализации, а даёт то же самое. Можно пример?

Я уже кидал ссылку на СО, ты смотрел ответы?

https://github.com/dotnet/csharplang/blob/master/meetings/2018/LDM-2018-09-24.md

ничоси

великолепная рекурсия

держись, братан

но на каждой итерации вознаграждение

хотя не факт, может в конце при fold всей цепочки возвратов. Бесконечной, лол.

Народ, помогите опознать

1,6,8 (4 вроде Саймон П.Д)

1 - батя эрланга

Joe Armstrong

что ль

есть какие-то открытые репозитории куда можно новичку? Я сам просмотрел, но все достаточно сложное на первый взляд

2- джон дегойз

А я думал, лысый из бразерс

Первый во втором ряду - Одерски

Ну да 3 - Маккарти (лисп) 4 - вроде (хотя не факт) Саймон П.Д. (хаскель) 7 - Пайк (go)

У 8-го тоже лицо знакомое

Нарезать квадратиками и скормить гуглопоиску

есть какие-то открытые репозитории куда можно новичку? Я сам просмотрел, но все достаточно сложное на первый взляд

Ты про ф#?

Ты про ф#?

Да

Ну, берёшь любую либу - и куришь :) я, например, про таскбилдер так узнал - из сорцов сатурна :)

пишу нечто крупное на фшарпе впервые, еще и на акторах

и все время кажется что пишу лютый говнокод

Есть миллион простых примеров говнокода, но постучись в личку, а то я стесняюсь

Есть миллион простых примеров говнокода, но постучись в личку, а то я стесняюсь

да я так, мысли вслух)

прям вопросов нет

полез опять в провайдеры типов

код из шаблона намекает

Break them badly

Нельзя так. Потом хайзенбаги будут

Не хотите ли вы поговорить о кодогенерации?

Не хотите ли вы поговорить о кодогенерации?

Нах оно тебе?

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

Нах оно тебе?

Рефлексия слишком медленная

Рефлексия слишком медленная

Делай линковские экспрешны и компилируй их

Они быстро работают

Делай линковские экспрешны и компилируй их

Да они какие-то слишком сложные получаются

Ну норм

Не начинай тут ныть

Так их же хрен отладишь

А чем кодогенерация плохо?

Вон у меня ща на проекте зоопарк из орм и di,и я не ною

Вон у меня ща на проекте зоопарк из орм и di,и я не ною

И жава? :)

А чем кодогенерация плохо?

Ее тоже хрен отладишь

Ее тоже хрен отладишь

Да не, очень даже просто

И жава? :)

Жабы нет,спринг есть

По крайней мере по сравнению с выражениями

Да не, очень даже просто

Опять же, она в поддержке не очень