Oℕ
Size: a a a
ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
451 membersпожаловаться на группу
2019 December 25
Oℕ
короче максимум возможностей для работы с рекурсивным говном
Oℕ
ну ты можешь пока в петпрожет затащить просто RepresentableK
Oℕ
а этот для гадских случаев, когда вот есть рекурсия
Oℕ
типа Monad, Errors, Bracket, Start
Oℕ
но чтобы можно было тоже генерализовано обрабатывать
Oℕ
а-ля рекурсивные схемы на ф-алгебрах
Oℕ
Kirill Shelopugin
Так империю вэлью не построить...
только так и построить
KS
Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Только для гигачеликов
KS
Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Эх, Олег. Не хочешь смотреть правде в глаза.
Oℕ
который будут писать
@derive(corepresentableK)
и будут получать кучу автоматизированного говна, композабельность даже для трудных случаев
@derive(corepresentableK)
trait MyImplortantBusinessThing[I[_], O[_]]{
...
}и будут получать кучу автоматизированного говна, композабельность даже для трудных случаев
Oℕ
который будут писать
@derive(corepresentableK)
и будут получать кучу автоматизированного говна, композабельность даже для трудных случаев
@derive(corepresentableK)
trait MyImplortantBusinessThing[I[_], O[_]]{
...
}и будут получать кучу автоматизированного говна, композабельность даже для трудных случаев
щас пока есть автоматизированное говно для простых случаев, которых 95%
```
@derive(representableK)
```
```
@derive(representableK)
trait MyImplortantBusinessThing[F[_]]{
...
}```
Oℕ
когда F только справа
Oℕ
Kirill Shelopugin
Эх, Олег. Не хочешь смотреть правде в глаза.
То, что ни один спринговод не знает как работает фреймворк внутри, как он парсит аннотации, и внедряет байткод?
Oℕ
Ни одному микрочелику не нужно будет знать, как оно работатет.
Позже придумаем бизнес имена
Позже придумаем бизнес имена
Oℕ
Этим всем какашкам, и от спринга не отличишь
Oℕ
Эх дожить бы до курсов по тофу от дурга-софта
Oℕ
Я думаю
А
representableK переименуем в actionsА
proCorepresentableK в delegating