《结构的独立性》的相关内容

    判断和循环是程序中最基本的语句结构。而在vonNeumann体系架构下，循环是对集合进行操作所需的基本步骤。一个有趣的事实是，函数式语言所宣称的 生产力的来源很大程度上在于集合操作的便捷性。在数学中我们通过张量分析，泛函分析等可以清楚地意识到集合之间的相互作用是可抽象的，是可以独立理解的， 即我们可以在不涉及具体基元结构的层面上独立的定义并执行集合运算。如何将 ...

yhc0125的那个帖子本来只是讨论OCP的，所以我还是另外开一贴，专门邀请ajoo讨论interface在java编程中的作用问题。 先说说你的那个回贴。 firebody直接就晕过去了 我还是认真的看了看，然后决定不一条一条的回复你的回复了。这样反而不利于深入的讨论，Trustno1说这样的讨论甚是无趣，我也觉得，但是讨论这个问题的意义，还是要比“拿着尺子测量杆盘刀叉与餐桌距离”要大一些 ...

声明:我没有学过Haskell, 甚至连GHC都是刚下下来还没弄清楚怎么用。对于Haskell一些特性的认识只是这几天通过AlbertLee的翻译稿作了一些很初步的摸索(这里要非常感谢AlbertLee让我节省了不少找资料的时间)。下面文章中涉及Haskell的相关内容很多Haskell的知识只是我从CategoryTheroy角度作出的一些猜测,如果这些地方有错误或者无法说清的地方还是要请学习过 ...

要说RUP，就要先说UP。 UP可以用下面的话来概括——用例驱动、以构架为中心、迭代和增量的开发过程。 acobson在《Object-Oriented Software Engineering : A Use Case Drivern Approach》中给的定义是这样的：当希望改变系统的行为时，重建相对应的参与者和用例模型。整个系统的基础构架将有用户所希望使用系统行为进行的操作来控制。由于控制 ...

http://spaces.msn.com/members/zbw25/Blog/cns!1pA6-3FOo9yNp_4lmEHxdDqA!220.entry 　　欢迎你，朋友！现在你看到的是一篇极为重要的论文，如果你是一个程序员，并且是第一次看到这篇论文，请记下当前时间——这是一个重要的时刻！ 　　OO主导软件开发的时代已经持续得太久了，对于OO的迷信更是根深蒂固！OO就是先进，OO就是正统 ...

每当我在文字中对函数式语言有些不敬之意时,便好像动了某些人的奶酪,以至我的言辞总在被曲解后遭到排斥。我想这就是因为视角差异过大所造成的. 但是谦虚谨慎是传统的美德, 不能容纳他人的观点只会妨碍自己在某些方向的探索。    首先请不要轻易怀疑我的知识水平。当然如果总无法聚集起足够的注意力来理解别人话语中的细节，我也无话可说。    容纳他人的观点就意味着不 ...

我在前面的文章中列举了大量物理学相关的例子来试图说明采用物理视角的必要性,但是可能因为物理事实大家不熟悉,结果直接被无视了. 在本文中我想有必要举一个软件领域的例子。只是在实际思考的过程中,我主要还是基于物理概念进行推理.         首先我所谓“现在的通用语言”，它并不意指“现在至未来所有通用语言之合集”，而是指“目前正在被使用的 ...

    软件这个领域中传统上占优势的是自vonNeumann以降的数学视角，计算问题是其思想内核，而函数式语言无疑是其比较贴切的表现。但是仅有数学，我们对于世界的认识是不充分的。有这样一个笑话。烧一壶水的完整步骤如下：1.向空壶中注满水 2.放到火炉上 3.烧到冒泡。现在有半壶水，求解烧水的步骤。数学家的回答是直接把半壶水倒掉，然后宣称问题已经解决，因为它已经被归结为 ...

没有人否认抽象的意义，但是抽象是否就是抽象到无穷大，这是个可以明确定义的问题，也是数学领域正在解决的问题。在我们的思考中没有明确定义何处是边界，没有明确的限制，这便是导向无穷的一种思维方式，它和现实中是否真的允许消耗无限多的资源，创建无限多的对象无关。当我们认为自己明白了终极的意义，明白了一种推向无穷的抽象，这并不是理解了世界的全部，我们仍然要明白如何解决一些更加小范围，但是却又普遍发生的事情。 ...

哥德尔的不完备性定理[注：了解哥德尔不完备性定理的可以跳到下一节，“大道至简——康托尔的天才”]然而，漫长的Y Combinator征途仍然并非本文的最终目的，对于Y combinator的构造和解释，只是给不了解lambda calculus或Y combinator的读者看的。关键是你会看到Y combinator可以由哥德尔不完备性定理证明的一 ...

从集合大小的定义到数学结构 异调 一、古怪的定义 　　“自然数和正偶数，哪一种数更多？”（正偶数是指能被2整除，大于零的自然数。本文中规定0不是自然数。） 　　“自然数和正偶数一样多，因为将n和2n对应就可以得到自然数到正偶数的一个一一对应。既然每一个不同的自然数都对应而且只对应一个不同的正偶数，所以自然数和正偶数一样多。”许多朋友会这样说，这当然是对的；但是也有许多朋友会觉得奇怪，并 ...

游戏引擎剖析 原文作者：Jake Simpson 译者： 向海 Email：GameWorldChina@myway.com   第1部分: 游戏引擎介绍， 渲染和构造3D世界   介绍     自Doom游戏时代以来我们已经走了很远。 DOOM不只是一款伟大的游戏，它同时也开创了一种新的游戏编程模式: 游戏 "引擎"。 这种模块化 ...

http://sevenofnine.group.javaeye.com/topics/download/f052a427-0e9e-41d5-ac77-b69b7efd55a4

... 为什么实体并发无法避免,side-effect?原因也非常的简单，side-effect实则上是状态的变迁。而所谓的状态的变迁实则上是一个对时间t的函数State(t).只要引入了时间,就会引入状态。在顺序式编程中，我们绝大部分忽略时间这个维度的.在单核CPU的顺序型编程中,只存在一个唯一的均匀流逝的时钟,那就是CPU时钟.这个时候我们可以把CPU时钟发生器看作一个函数t(),此时从机器 ...

Google背后的分布式计算架构策略 Google是与众不同的。它的独特不仅仅表现于革新的思维和充满创意的应用 (比如那个大堂里的地球模型)，更在于其有别常规的IT策略…… 　　加利福尼亚州山景城(Mountain View)Google公司(Google，下称Google)总部有一个43号大楼，该建筑的中央大屏幕上显示着一个与Google地球(Google Earth)相仿的世界地图，一个转动 ...