category_theory
可表示的仿函数同构为（Bool-> a）。
编程 • 回复了问题 • 67 人关注 • 2 个回复 • 32 次浏览 • 2020-01-23 13:02
NonEmpty不是Comonad吗？
编程 • 回复了问题 • 16 人关注 • 2 个回复 • 126 次浏览 • 2020-01-15 10:23
编程 • 回复了问题 • 67 人关注 • 2 个回复 • 32 次浏览 • 2020-01-23 13:02
编程 • 回复了问题 • 16 人关注 • 2 个回复 • 126 次浏览 • 2020-01-15 10:23