函数式编程, 单子, 数学, 范畴论, 计算机科学

强范畴 (Strong Monad)

, , , ,