YS
(нет)
Size: a a a
2020 May 24
YS
(точнее да, но только теорию)
YS
(этого достаточно наверное для кругозора)
AV
Фри монады это про то как
data Free придумалиAV
Кстати, в статье выше на первоисточник по ним ссылаются на Datatypes la'carte
AV
А я и забыл это
АГ
Фри монады, вообще говоря, можно даже самому изобрести, если задаться такой целью
YS
Кстати, в статье выше на первоисточник по ним ссылаются на Datatypes la'carte
слышал о ней
YS
много раз
AV
Я кстати не осилил нормально
MK
data types a la carte крутая статья
YS
я осилил только услышать о ней)
MK
половина хаскеля на неё ссылается
MK
но разве там были фри монады?
AV
We also describe how our solution gives a drop in replacement for the free monads[20]
[20] W. Swierstra. Data types a` la carte. J. of Functional Programming, 18 (4):423–436, 2008.
[20] W. Swierstra. Data types a` la carte. J. of Functional Programming, 18 (4):423–436, 2008.
AV
Вот я тоже удивлён
MK
L
Дорогая @heyley , а как там поживает видео? Еще не выложили?
Это я торможу( сегодня сделаю
АГ
Это я торможу( сегодня сделаю
No pressure, делай, когда считаешь нужным. Я понимаю, что это трудозатратно