AH
где M может быть List, A - int, B - String
а может быть и Result!
сейчас такой flatMap реализован в каждой монаде копипастой потому что нет хкт
Size: a a a
2020 August 13
AM
бугурты мертвы
Формат да, бугурты во мне нет.
VK
а может быть и Result!
сейчас такой flatMap реализован в каждой монаде копипастой потому что нет хкт
сейчас такой flatMap реализован в каждой монаде копипастой потому что нет хкт
тебе все равно для каждой монады такой мап надо реализовать. Хкт нужен только чтобы в интерфейсе общую для всех фанкторов функцию описать
с#
fun <M, A, B> fmap(a: M<A>, binder: (A) -> M<B>): M<B> = …
хорошо, а почему бы просто не сделать M ?
AH
короче, я не считаю хкт очень важной фичей, полезных монад не так много. Тайпклассы полезнее для среднего энтерпрайза
с#
хорошо, а почему бы просто не сделать M ?
просто у них же нет общих функций никаких и это грубо говоря Any
AH
тебе все равно для каждой монады такой мап надо реализовать. Хкт нужен только чтобы в интерфейсе общую для всех фанкторов функцию описать
ну ты прав в том что мне надо сделать такой фмап чтобы оно СТАЛО монадой
AH
просто у них же нет общих функций никаких и это грубо говоря Any
наше обсуждение выходит за рамки котлина в целом. Но генерики не Any конечно же.
с#
короче, я не считаю хкт очень важной фичей, полезных монад не так много. Тайпклассы полезнее для среднего энтерпрайза
а я думаю что люди которые это сделали очень умные, потому что сразу так и не поймёшь зачем оно надо, но я уверен, что где-то оно надо
с#
наше обсуждение выходит за рамки котлина в целом. Но генерики не Any конечно же.
да, я понимаю конечно, но в самой функции оно является UpperBound
с#
fun <M, A, B> fmap(a: M<A>, binder: (A) -> M<B>): M<B> = …
Ааа, я понял да, я не заметил кое чего
VK
а я думаю что люди которые это сделали очень умные, потому что сразу так и не поймёшь зачем оно надо, но я уверен, что где-то оно надо
я бы сказал рядовому девелоперу оно до одного места, а дял автора библиотек это очень полезно (скажу как автор библиотек)
с#
я бы сказал рядовому девелоперу оно до одного места, а дял автора библиотек это очень полезно (скажу как автор библиотек)
хах, можно запарится и сделать какой-нибудь kapt processor
с#
чтобы он генерил такие функции и не копипастить, но это уже другой разговор
VK
чтобы он генерил такие функции и не копипастить, но это уже другой разговор
можно, тогда уже какой-то go получается
AH
а я думаю что люди которые это сделали очень умные, потому что сразу так и не поймёшь зачем оно надо, но я уверен, что где-то оно надо
ну вот если ты понял зачем нужны HKF - higher kinded functions, то с HKT так же)
функции, которые принимают и возвращают функции
А тут типы, которые принимают и возвращают другие типы
функции, которые принимают и возвращают функции
А тут типы, которые принимают и возвращают другие типы
AH
но их обычно higher ordered functions называют. функции высшего порядка
с#
слушайте а вот вопрос есть
с#
как мне принимать в качестве аргумента любую лямбду ?