➗的笔记 · · · ( 16篇 )
编程的本质 (6)
-
第1页
阅读后记 之前看完本书对其与haskell typeclass类似的编程风格大为惊喜。今天才了解到,这个概念其实曾是一个c++0x正式的proposal( http://en.wikipedia.org/wiki/Concepts_ (C%2B%2B) ),看完这个proposal再看... (1回应) -
Chapter 3. Asso
这本书最有意思的地方倒不是这些算法的实现,而是作者认真地去确定算法的概念,接口,需要满足的数学属性,前置条件后置条件这些东西,并用c++伪代码表达出来,虽然不是非常严格。应该算是所谓的面向契约编程了。... (1回应) -
2.3. Collision.
首先用类型来表达书中的两个概念: type Transformation a = a -> a type Predicate a = a -> Bool 然后是实现: collision_point :: a -> Transformation a -> Predicate a -> Maybe a collision... (4回应)
最近阅读 · · ·
- 2022年1月25日
- 想读 置身事内
- 2018年11月30日
- 想读 多样性红利、复杂适应系统
- 2018年3月21日
-
在读
Patterns in Network Architecture
貌似是本被忽视的好书
- 2017年6月11日
-
读过
Type-driven Development with Idris
没想到完全dependent type的语言写起来竟然比想象中要顺畅很多。
- 2015年11月10日
- 想读 The Spatial Foundations of Cognition and Language、Sensorimotor Cognition and Natural Language Syntax、Sensorimotor Foundations of Higher Cognition
- 2015年5月3日
-
在读
Haskell并行与并发编程
刚发现出了中文版,已在路上,希望翻译不要让人失望。
- 2014年8月14日
- 读过 Why Red Doesn't Sound Like a Bell
- 2013年10月13日
- 想读 设计中的设计、彼得·科恩木工基础
- 2012年5月22日
-
在读
克里希那穆提画传
越看越像神棍。。。
- 2012年4月8日
- 想读 自私的皮球
- 2012年3月9日
- 在读 快乐之道-游戏设计的黄金法则
- 2011年11月29日
- 在读 Land of LISP
- 2011年11月26日
- 想读 TCP/IP Illustrated, Volume 1 (2nd Edition)
- 2011年11月14日
- 读过 编程的本质、自由与神经生物学
➗的书评 · · · ( 4篇 )