λ
с RIO тем же необязательно вдуплять в трансформеры, чтобы Enterprise Grade Application написать
Size: a a a
2020 February 17
AZ
с RIO тем же необязательно вдуплять в трансформеры, чтобы Enterprise Grade Application написать
хз, без диая никуда
DS
с RIO тем же необязательно вдуплять в трансформеры, чтобы Enterprise Grade Application написать
Зачем RIО, когда есть божественный final tagless?
SP
о я тут на фоне смотрел нижника про ТФ
λ
Зачем RIО, когда есть божественный final tagless?
да чтобы без изучения всей машинерии уже что-то смочь написать и оценить преимущества монадок
SP
короче олег как и царь говорит что сумтипы не нужны
p
только в фп больше места для нормальных абстракций для работы со стейтом
например?
λ
Зачем RIО, когда есть божественный final tagless?
надеюсь, что лет через 5 FT сдохнет
SP
там делается какой то финт ушами и сумтипы превращаются в трейты
DS
да чтобы без изучения всей машинерии уже что-то смочь написать и оценить преимущества монадок
Там особая машинерия, только если прям реально как по методичке делать полную поддержку трансформеров.
(Что не нужно в подавляющем большинстве случаев)
(Что не нужно в подавляющем большинстве случаев)
SP
например?
например он типизируется
DS
Иначе там очень тупой подход
AZ
короче олег как и царь говорит что сумтипы не нужны
который макет никак не сделает?
SP
который макет никак не сделает?
м?
AZ
надеюсь, что лет через 5 FT сдохнет
что с ним не так?
λ
что с ним не так?
с ним, например, чекед эксепшоны не сделать
DS
надеюсь, что лет через 5 FT сдохнет
Ну чёрт знает, вполне нормальный подход.
Не очень сложный, с отличной производительностью, идеально подходит для всяких DSL, отлично позволяет интегрировать кучу либ вместе и т.д. и т.п.
Не очень сложный, с отличной производительностью, идеально подходит для всяких DSL, отлично позволяет интегрировать кучу либ вместе и т.д. и т.п.
AZ
с ним, например, чекед эксепшоны не сделать
МонадЭррор Т чем не устроил?
SP
я не могу понять почему в айти такой заговор что все говорят про фп и ооп и не говорят про типчики. ну тоесть это такой заговор. факто что все делается ради типчиков, без типчиков ничего не работает, типфики это фундамент. но все продолжают класть в кучу типизированное опп и нетипизированное, типизированное фп и нет и тд