c*******9
发帖数: 9032 | 1 http://www.haskell.org/wikiupload/8/85/TMR-Issue13.pdf
Calculating Monads with Category Theory （page 74）
这里有几个码农能比的上？ |
w********r
发帖数: 14958 | 2 这个一点水平也没有。
没有一点对本领域的reference
算法创新等于0。
没有任何数学分析。
这竟还是phd student写出来的，太可笑了。 真够给他老师丢人的。 我凡是审这样的
垃圾都会无情的据掉。 |
c*******9
发帖数: 9032 | 3 你说说啥叫数学分析。
【在 w********r 的大作中提到】
: 这个一点水平也没有。
: 没有一点对本领域的reference
: 算法创新等于0。
: 没有任何数学分析。
: 这竟还是phd student写出来的，太可笑了。 真够给他老师丢人的。 我凡是审这样的
: 垃圾都会无情的据掉。
|
w********r
发帖数: 14958 | 4 多少给点convergence的推导阿。
里面提到plan planning。 那么completeness和optimality总得提到一点吧。
感觉这文章像高中生写的。
【在 c*******9 的大作中提到】
: 你说说啥叫数学分析。
|
c*******9
发帖数: 9032 | 5 References
[1] Philip Wadler. Monads for functional programming. In Advanced Functional
Pro- gramming, First International Spring School on Advanced Functional
Programming Techniques-Tutorial Text, pages 24–52. Springer-Verlag, London,
UK (1995). http: //homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/
baastad.pdf.
[2] Saunders M. Lane. Categories for the Working Mathematician. Springer-
Verlag, New York (1998).
[3] Michael Barr and Charles Wells. Category theory - lecture notes for
ESSLLI. page 123 (1999). http://folli.loria.fr/cds/1999/library/pdf/barrwells.pdf.
[4] Steve Awodey. Category Theory. Oxford University Press, USA (2006).
[5] Philip Wadler. Theorems for free! In FPCA ’89: Proceedings of the
fourth interna- tional conference on Functional programming languages and
computer architecture, pages 347–359. ACM, New York, NY, USA (1989). http://homepages.inf.ed. ac.uk/wadler/papers/free/free.ps.
[6] Richard B. Kieburtz. Codata and comonads in haskell (1999). http://citeseerx. ist.psu.edu/viewdoc/summary?doi=10.1.1.46.5169.
[7] Christoph Lu ̈th and Neil Ghani. Composing monads using coproducts.
SIGPLAN Not., 37(9):pages 133–144 (2002). http://citeseerx.ist.psu.edu/viewdoc/ summary?doi=10.1.1.8.3581.
[8] Wouter Swierstra. Data types `a la carte. Journal of Functional Program-
ming, 18(4):pages 423–436 (2008). http://www.cse.chalmers.se/~wouter/ Publications/DataTypesALaCarte.pdf.
[9] Varmo Vene. Categorical programming with inductive and coinductive types
. Ph.D. thesis, Faculty of Mathematics, University of Tartu (August 2000). http://www. cs.ut.ee/~varmo/papers/.
这些不算本领域的reference？
【在 w********r 的大作中提到】
: 这个一点水平也没有。
: 没有一点对本领域的reference
: 算法创新等于0。
: 没有任何数学分析。
: 这竟还是phd student写出来的，太可笑了。 真够给他老师丢人的。 我凡是审这样的
: 垃圾都会无情的据掉。
|
I**4
发帖数: 172 | 6 category theory and Monads and Haskell， 马公里装逼能用
检验马公水平的还是system programming (big or small） and hacking skill
【在 c*******9 的大作中提到】
: http://www.haskell.org/wikiupload/8/85/TMR-Issue13.pdf
: Calculating Monads with Category Theory （page 74）
: 这里有几个码农能比的上？
|
c*******9
发帖数: 9032 | 7 你说的那都是低层次人写吧。你看大牛都是写综述的。
【在 w********r 的大作中提到】
: 多少给点convergence的推导阿。
: 里面提到plan planning。 那么completeness和optimality总得提到一点吧。
: 感觉这文章像高中生写的。
|
w********r
发帖数: 14958 | 8 扯淡，一看你水平也不怎么样。
【在 c*******9 的大作中提到】
: 你说的那都是低层次人写吧。你看大牛都是写综述的。
|
c*******9
发帖数: 9032 | 9 开发有一定规模的项目， Haskell程序员以一当十。
【在 I**4 的大作中提到】
: category theory and Monads and Haskell， 马公里装逼能用
: 检验马公水平的还是system programming (big or small） and hacking skill
|
c*******9
发帖数: 9032 | 10 你晒晒你的水平。
【在 w********r 的大作中提到】
: 扯淡，一看你水平也不怎么样。
|
|
|
w********r
发帖数: 14958 | 11 你见识太低。
没有数学作指导的东西，都不是science。
最多是个眼光有限的工匠。
【在 c*******9 的大作中提到】
: 你晒晒你的水平。
|
c*******9
发帖数: 9032 | 12 文章重点不是什么plan planning。估计你就看懂几个词就品头论足。
【在 w********r 的大作中提到】
: 扯淡，一看你水平也不怎么样。
|
c*******9
发帖数: 9032 | 13 你懂什么是数学？通篇的数学概念你一个都不认识。
【在 w********r 的大作中提到】
: 你见识太低。
: 没有数学作指导的东西，都不是science。
: 最多是个眼光有限的工匠。
|
w********r
发帖数: 14958 | 14 扯淡了。你连大牛都没见过。 估计也就是个码农。
码农们自以为会编程，program的都是code。
大牛们，program的都是数学。
【在 c*******9 的大作中提到】
: 文章重点不是什么plan planning。估计你就看懂几个词就品头论足。
|
c*******9
发帖数: 9032 | 15 估计你知道的数学就是一点微积分之类的，一看没有，就认定不是数学。
【在 w********r 的大作中提到】
: 你见识太低。
: 没有数学作指导的东西，都不是science。
: 最多是个眼光有限的工匠。
|
w********r
发帖数: 14958 | 16 扯淡， 这个帖子就暴露了你自己的智商。
【在 c*******9 的大作中提到】
: 估计你知道的数学就是一点微积分之类的，一看没有，就认定不是数学。
|
c*******9
发帖数: 9032 | 17 哈哈，又来了，智商低的就喜欢谈智商。
【在 w********r 的大作中提到】
: 扯淡， 这个帖子就暴露了你自己的智商。
|
w********r
发帖数: 14958 | 18 真是自我暴露阿。 什么样见识的人张口闭口就“微积分”阿。
LOL
【在 c*******9 的大作中提到】
: 哈哈，又来了，智商低的就喜欢谈智商。
|
c*******9
发帖数: 9032 | 19 说来说去，你还是不说你懂的什么数学。满篇的数学，你一个字都没看懂。
【在 w********r 的大作中提到】
: 真是自我暴露阿。 什么样见识的人张口闭口就“微积分”阿。
: LOL
|
