Функциональные приколы с монадами и функторами можно рассматривать просто как обобщение вилок и рангов в J, собственно его наверное и формализовать категориями можно.
О ешкин кот, какой народ в моем псаче.
J — это что тут?
http://www.jsoftware.com/
О ешкин кот, какой народ в моем псаче.
J — это что тут?
http://www.jsoftware.com/