exclamation
发表于 2025-3-30 11:12:54
http://reply.papertrans.cn/71/7043/704208/704208_51.png
逗留
发表于 2025-3-30 14:12:15
http://reply.papertrans.cn/71/7043/704208/704208_52.png
tooth-decay
发表于 2025-3-30 18:33:38
Generalising monads, library signature, inspired by Kleisli categories, which is more general than the monad signature and can be used in the design of libraries such as Swierstra‘s that collect static information about computations.