ᛒ
так поинт же не в том, кто был раньше. он говорит, что в тф (и других подходах) нет такого разделения слоев
он говорит что не видит их
Size: a a a
2021 March 05
ᛒ
это другое дело
E
может сделать пару-тройку скринов из той книги и спросить его, чем это от его фри монад отличается
E
когда у тебя есть алгебра для репозитория с юзерами с стандартным круд набором методов, имплементация этой алгебры и в конце концов рантайм, где эти имплементации запускают с конкретной ио-монадой
AT
А еще у него супер тюненные фри
AT
Чуть медленнее чем тф
ᛒ
Чуть медленнее чем тф
не тф, а папа джонс
Oℕ
А еще у него супер тюненные фри
чёрч енкоденк
Oℕ
M
https://twitter.com/graninas/status/1367735339788406785
как думаете, стоит ретвитнуть и заменшонить всех перечисленных?
как думаете, стоит ретвитнуть и заменшонить всех перечисленных?
Ого
Что-то он далеко продвинулся с тех пор, как у нас в Новосибе митапы по FP делал
Что-то он далеко продвинулся с тех пор, как у нас в Новосибе митапы по FP делал
M
Вроде норм чувак был
Oℕ
newtype Freer f a = Freer{ getFreer ::
forall r .
( a -> r a ) ->
(forall b. f b -> (b -> r a) -> r a) ->
r a
}
forall r .
( a -> r a ) ->
(forall b. f b -> (b -> r a) -> r a) ->
r a
}
M
Он тогда книгу про FP в плюсах писал
M
Митапы кстати крутые были
В Европах такого нет
В Европах такого нет
M
Чисто как туса анимешников, только круче
Oℕ
В Польше вроде есть и такие в изобилии, мне рассказывали
V
newtype Freer f a = Freer{ getFreer ::
forall r .
( a -> r a ) ->
(forall b. f b -> (b -> r a) -> r a) ->
r a
}
forall r .
( a -> r a ) ->
(forall b. f b -> (b -> r a) -> r a) ->
r a
}
Так будут работать суды при анкапе?
Oℕ
Vasiliy
Так будут работать суды при анкапе?
да