PK
Но вообще монадтрансформеры уже напоминают AbstractSingletonProxyFactoryBean
Size: a a a
2020 May 14
AV
А вот попросить компилятор по типу построить код, уже сложнее, там только по структуре данных
PK
Так а зачем это нужно? Мы же задачи бизнеса решаем (чаще всего), как там конпелятор чего построит или проверит - дело десятое.
PK
Я вот сейчас реально жалею, что typescript в JVM или netcore не конпилится, потому что отличный язык с кучей допущений, и системой типов сильней чем в C#/Java
PK
При этом HKT там нет, а некоторые монады есть, с частной реализацией.
AI
они в любой аптеке есть (С)
AI
просто мало кто думает , написав mapcat, что применил (листо)монадский бинт
PK
Все правильно, в тот же C# async/await (читай - do-notation для футур/промизов/тасков) пришли не так давно.
PK
А потом разъехались по другим языкам.
AI
ну и не одними задачами бизнеса живем, красота тоже нужна
PK
А вот
yield await пока не принесли, хотя в том же F# оно есть давноAV
Так а зачем это нужно? Мы же задачи бизнеса решаем (чаще всего), как там конпелятор чего построит или проверит - дело десятое.
Для решения задач бизнеса и надо
PK
Для решения задач бизнеса и надо
Не не, это тебе нужно, чтобы решать задачи бизнеса.
AV
То, докажи
AV
Вот я успешно решаю задачи бизнеса, а ты говоришь - не то
AV
Почему?
PK
Бизнесу без разницы, сколько ты там монад притащил в свой код.
PK
Я не говорю, что ты не решаешь задачи бизнеса успешно.
AI
Разве у вас оплата не помонадно?
AV
Бизнесу не важно, а мне тоже не важно, мне важно решена поставленная задача или нет