《关于语言有效性的一些澄清》的相关内容

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

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

发在内部论坛里国庆7天征求意见也已经差不多了,转到这里算正式发文.欢迎继续拍砖. --------------------------   在程序设计这个行当里，软件设计与其说是一种技术，不如说是一种魔法,巫术.如果一个程序员坐在电脑前开始设计一个的程序,他基本上就是像是神汉巫婆处于灵魂附体的迷幻状态:脑子中不断地反复默念各种设计口诀,10指像是提线木偶一样把一行行代码犹如咒语般地输入到计算机里 ...

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

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

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

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

轻量级 Web 服务器 最近几年，市场上出现了很多有趣的 Web 服务器实现，包括 lighthttpd、litespeed 和 mongrel 等。这些 Web 服务器都宣称结合了性能、易管理性、可移植性、安全性和其他相关价值。下面的工程研究将调查轻量级 Web 服务器，以帮助您选择最可能满足下一个项目的技术需求的 Web 服务器。 “轻量级” Web 服务器，例如 lighthttpd、 li ...