Советую почитать статьи Марка на тему фри-монад. Написать что-то с фримонадами на F# и понять что это тоже самое C# говно с DI и забыть на это. (а TF это то же самое, только с боку и scala-specific)

Т.е. фримонады в том же хаскеле - это говно с DI?

Или, например те же фри аппликативы? Или вообще любые свободные структуры?

Советую почитать статьи Марка на тему фри-монад. Написать что-то с фримонадами на F# и понять что это тоже самое C# говно с DI и забыть на это. (а TF это то же самое, только с боку и scala-specific)

TF - не скала специфик. В хаскеле практически тот же подход используется уже достаточно давно.

Или, например те же фри аппликативы? Или вообще любые свободные структуры?

Хм, не видел я докладов про фри-апликативы. Но имхо кложурные ко-эффекты из re-frame куда более функциональны

Хм, не видел я докладов про фри-апликативы. Но имхо кложурные ко-эффекты из re-frame куда более функциональны

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

У них есть плюсы перед свободными монадами, в плане того, что интроспекция структуры для них куда мощнее.

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

> пару докладов Лол, похоже оно там не очень популятно

> пару докладов Лол, похоже оно там не очень популятно

Ну это вполне нормальное количество. С учётом того, что я их специально не искал, а просто натолкнулся пару раз.

У них есть плюсы перед свободными монадами, в плане того, что интроспекция структуры для них куда мощнее.

Все равно (имхо) это днише, как и любые “интерпретаторы”. Последний вывод: микс из эффектов и логики - это не функциональное прорграммирование. >> PS Все мы уже зациклились и дальше обсуждать бесполезно

Все равно (имхо) это днише, как и любые “интерпретаторы”. Последний вывод: микс из эффектов и логики - это не функциональное прорграммирование. >> PS Все мы уже зациклились и дальше обсуждать бесполезно

Тебе не смущает, что функция с эффектами может быть вполне себе ссылочно прозрачной?

См. хаскель.

И да, значит по твоему мнению - он не функциональное программирование, как и большинство программ на нём.

Тебе не смущает, что функция с эффектами может быть вполне себе ссылочно прозрачной?

Видишь что-то плохое в t.me/pofftop/13887

Все равно (имхо) это днише, как и любые “интерпретаторы”. Последний вывод: микс из эффектов и логики - это не функциональное прорграммирование. >> PS Все мы уже зациклились и дальше обсуждать бесполезно

И микс из эффектов и бизнес логики - случается очень редко. Обычно TF, Free и т.д. и т.п. - сидит на уровне логики приложения, а не доменной логики.

Видишь что-то плохое в t.me/pofftop/13887

Да, тут у тебя доменная логика смешана с логикой отображения. Но это никакого отношения к ФП не имеет. Это просто вопрос здравого смысла в архитектуре приложения.

Да, тут у тебя доменная логика смешана с логикой отображения. Но это никакого отношения к ФП не имеет. Это просто вопрос здравого смысла в архитектуре приложения.

Тут вся программа написана внутри монады. “Бизенс-Логику” просто невозможно нормально оттестировать. TF это тоже говно, только IO заменено на F с дыркой Все TF что я видел, это и было - “написание всей программы внутри F[_]"

И микс из эффектов и бизнес логики - случается очень редко. Обычно TF, Free и т.д. и т.п. - сидит на уровне логики приложения, а не доменной логики.

(Ну кроме тех случаев, когда TF и свободные структуры используются для каких-нибудь DSL)

Тут вся программа написана внутри монады. “Бизенс-Логику” просто невозможно нормально оттестировать. TF это тоже говно, только IO заменено на F с дыркой Все TF что я видел, это и было - “написание всей программы внутри F[_]"

Ну это то, о чем я и сказал, что у тебя слои твоего приложения перемешены. Были бы слои разделены - не было бы и проблемы с логикой в монаде. TF тут не причем. И, опять-таки, TF не только про абстракцию от эффектов. (Я уж молчу про использование TF в честных интерпретаторах какого-нибудь небольшого языка) Например, у тебя может быть dsl в виде TF, у которой это самое F[_] в реальности оказывается всего лишь навсего каким-нибудь type Dsl[A] = Context => A И где здесь эффекты? Где они тогда перемешены?

И да, монады - это не только IO

Это ещё и вполне себе чистые в любом смысле слова - List, Maybe, Either e ?, Reader, Writer, State, Parser и т.д.

И не надо ассоциировать монады с эффектами один в один. Моноиды, функторы, аппликативы, стрелки, монады и т.п. - это просто типы, которые можно композировать определенным образом. То, что оказалось, что большой спектр эффектов можно ими описать - это вторично относительно тех правил композиции, которые они определяют.

https://giuliohome.wordpress.com/functional-robot/ Это что-то интересное, конкретно For our russian friends. O.o

Лол, тут скорее MS от него отделилось

4.6 катят

Поверх него Q# состряпали

Чё доколебался

Я таких переводов не читал, но знаю что оно в оригинале Фаундейшн

"Основание"\"Фонд"

до сих пор интересно, как второй переводчик выбрал "Фонд"

А зачем три фреймворка

затем, что серебряной пули нет. иначе бы человечество щас имело один-единственный инструмент.

альтернатива всегда хорошо. Конкуренция там, взаимное улучшение. так учит капитализм )

капитализм этому не учит. этому учит псевдонаучная теория "свободного рынка"

стоило блин всего на одно утро уехать в тир - и во флуде случилось осмысленное обсуждение. без меня, блин

стоило блин всего на одно утро уехать в тир - и во флуде случилось осмысленное обсуждение. без меня, блин

Надеюсь ты про книги

1. Оружие - зло

2. Запишись в понв

Это всё наверняка оттудова

Еле осилил пролистать

Интересно, когда люди пишут про энтерпрайз, они его много видели?

В нашем энтерпрайзе даже жависты начали на неткор смотреть.

Интересно, когда люди пишут про энтерпрайз, они его много видели?

Это барабашка такая, которой детей пугают

Это барабашка такая, которой детей пугают

👍 типа того

Потом помучаю тебя вопросами по андроиду, мне надо будет экспертизу набрать

замариниться собрался?

капитализм этому не учит. этому учит псевдонаучная теория "свободного рынка"

Прочти в британской энциклопедии определение капитализма.

У них это одно и то же

1. Оружие - зло

1. Зло - это иллюзия

2. Запишись в понв

2. Выписался недавно

В нашем энтерпрайзе даже жависты начали на неткор смотреть.

"наши начали смотреть на неткор" - ну некоторые мужья после 15 лет семейной жизни и троих детей смотрят на клубных тусовщиц в пирсинге и татуировках

правда, смотрят из окна своей Сиенны по дороге за детьми из школы и смотрят ровно до тех пор, пока не загорится зеленый на светофоре

"наши начали смотреть на неткор" - ну некоторые мужья после 15 лет семейной жизни и троих детей смотрят на клубных тусовщиц в пирсинге и татуировках

не проецируй! :)

проще говоря, седина в бороду - бес в ребро

правда, смотрят из окна своей Сиенны по дороге за детьми из школы и смотрят ровно до тех пор, пока не загорится зеленый на светофоре

Блин, Сиенны не хватает )))

Блин, Сиенны не хватает )))

Одиссей тоже подойдёт

чтобы неткору стать более-менее значимой альтернативой - МС надо перестать быть МС

Одиссей тоже подойдёт

для людей с претензией можно заменить Сиенну на Субурбан

проще говоря, седина в бороду - бес в ребро

Тут не только бес. У нас все сервера на линуксе и раньше выбора не было. Плюсы или жава. А теперь вот есть

чтобы неткору стать более-менее значимой альтернативой - МС надо перестать быть МС

Нельзя не заметить, что мс уже совсем другой чем лет 10 назад

для людей с претензией можно заменить Сиенну на Субурбан

эскалэйд!

Тут не только бес. У нас все сервера на линуксе и раньше выбора не было. Плюсы или жава. А теперь вот есть

это так кажется только. на практике выбора все еще нет

чтобы неткору стать более-менее значимой альтернативой - МС надо перестать быть МС

альтернативой чему?

это так кажется только. на практике выбора все еще нет

Я выбрал ))

альтернативой чему?

"альтернатива" в смысле "вариант выбора"

ну хорошо. выбора в какой категории?

ну хорошо. выбора в какой категории?

веб за 300

в моноидальной категории, разумеется

сложность в том, что неткор на крайне ранней степени развития. со всеми причитающимися проблемами

это одна сторона проблемы. вторая сторона - дотнет тебя тащит прямиком в болотце МС, т.к. чтоб было что запускать на неткоре - это что-то надо для начала написать

раз речь идет про проекты уровня энтерпрайз, то есть, команды по несколько сотен человек, с миллионами срок и с временем жизни 10-15 лет - vs code и прочие блокноты отметаем из-за их несостоятельности

это одна сторона проблемы. вторая сторона - дотнет тебя тащит прямиком в болотце МС, т.к. чтоб было что запускать на неткоре - это что-то надо для начала написать

Так пишем. Очень удобно получается. Одни и те же модули для сервера и клиента десктопного

Так пишем. Очень удобно получается. Одни и те же модули для сервера и клиента десктопного

знаешь, у меня был друг, чемпион района по бегу в мешках. тоже говорил, что очень удобно бегать

раз речь идет про проекты уровня энтерпрайз, то есть, команды по несколько сотен человек, с миллионами срок и с временем жизни 10-15 лет - vs code и прочие блокноты отметаем из-за их несостоятельности

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

но в сборную университета по легкой атлетике он так и не попал

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

но в сборную университета по легкой атлетике он так и не попал

лучше всех в колхозе работала лошадь

Странные представления об энтерпрайзе. Обычно это до хрена небольших проектов. Мало связанных. У меня в команде 3 человека например.

Странные представления об энтерпрайзе. Обычно это до хрена небольших проектов. Мало связанных. У меня в команде 3 человека например.

ну это, типа, просто твое мнение, приятель

он многолик

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

ну это, типа, просто твое мнение, приятель

Это не мнение, это опыт. Я работал в 6 крупных банках. 4 из них тиер 1.

любой более-менее пристойный банк: там команда проекта занимает площадь размером с футбольное поле

Это не мнение, это опыт. Я работал в 6 крупных банках. 4 из них тиер 1.

например?

DB, Citi, MS, CS

ну.