好多编程都涉及大量数学。
比如：
「CPST 就是 Gödel–Gentzen 变换的 Curry–Howard 像而已，这有什么难理解的？」
「 一个Lens不过就是 Coalgebra for the CoState Comonad，这有什么难以理解的╮(╯▽╰)╭ 」
「miniKanren的实现不就是合一和回溯么，这有什么难理解的。 」
「一个单子说白了不过就是自函子范畴上的一个幺半群而已，这有什么难以理解的」
对于想要成为伪学术派的伪程序员，应该怎么学习数学？必备的基础应该有哪些
来自 “ ITPUB博客 ” ，链接：https://blog.itpub.net/4759/viewspace-3168386/ ，如需转载，请注明出处，否则将追究法律责任。
请登录后发表评论
登录
全部评论
