除为了弄懂Haskell的目的以外，这些抽象理论到底是仅用于装点门面还是居家旅行杀人灭口必备啊?
• 请不要在回答技术问题时复制粘贴 AI 生成的内容
This topic created in 4594 days ago, the information mentioned may be changed or developed.
 |
1
luikore Oct 20, 2013
看完可以更明白指令式和函数式的关系, 例如 Eric Meijer 说 C# 的分号可以态射成 >>= ...
|
|
2
luikore Oct 20, 2013
呃, 是 >>> 不是 >>=
|
 |
4
bleaker Oct 20, 2013
读到过一篇文章里是这么说的：
「自函子说穿了就是把一个范畴映射到自身的函子， 自函子范畴说穿了就是从小范畴映射到自身的函子所构成的以自函子为对象以自然变换为态射的范畴， 幺半群说穿了就是只有单个对象的范畴，给定了一个幺半群则可构造出一个仅有单个对象的小范畴使其态射由幺半群的元素给出而合成由幺半群的运算给出， 而单子说穿了就是自函子范畴上的这样一个幺半群。 这都不理解么亲连这种最基本的概念都不理解还学什么编程！」 我的表情：  |
 |
5
Ricepig Oct 20, 2013
大概了解一下概念就好
要是实在感兴趣，在投保了生命安全险以后可以适当从近世代数开始学起。 |
 |
6
Edward Oct 20, 2013
这……顿时让我感觉貌似白折腾了二十几年……
|
 |
8
Golevka Oct 21, 2013
作为一个奉行hack oriented programming好几年的猿, 我立志要在今年做一些改变.
|
 |
9
liwei Oct 22, 2013
我擦，没听说过的程序员飘过。。。
|
|
10
luikore Oct 22, 2013
@pythonee 梅姐的科普节目里讲的, 有点久远忘记是哪个了 http://channel9.msdn.com/tags/Erik+Meijer/
@bleaker 前两个是 endofunctor 的定义, 后两个是平凡的推论... 涉及的概念如 范畴, 函子, 态射, 自然变换, 小范畴(猫范畴), 单子(monad) 都解释完其实也小半本范畴论了. |
|
11
Golevka Oct 23, 2013
(我勒个去... Erik居然也说过"Imperative" Programming is a tool for hacking)
http://channel9.msdn.com/posts/Erik-Meijer-Functional-Programming-From-First-Principles |
 |
12
indicator Oct 23, 2013
如果你有近世代数的基础，理解大多范畴的概念很轻松。如果没有，可以不用理会这个东西，没什么东西一定要非要用范畴中的概念来实现。
|
 |
13
kennedy32 Oct 23, 2013
在看MIT的6系课程，其实是在看6.00和6.01，觉得实际的内容不多，主要是给人一种全局观。
|
 |
14
wuyinyin Nov 4, 2015
顺手推一个，觉着可以稍微涉略以下。 http://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ 《写给程序员的范畴论》
|
Select Language