zenny_chen的专栏

泛型对强类型命令式语言的影响

陈轶 — Mon, 08 Feb 2010 02:28:00 +0800

泛型编程（General Programming）是C++在90年代加入的一个对它而言非常重要的特征。如今C++中用得最多的标准库STL基于泛型，而使用更方便同时将GP发挥得更变态的Boost库也是十分火爆。对于Java，在JDK5.0中添加了GP特性，而且很多常用数据结构工具都被泛型化了，如ArrayList，Map等，但却遭到很多批评声，呵呵。那么泛型编程技术对于命令式语言来说意味着什么呢？我们在项目中是否会用到这个技术呢？它是不是多余的？

教你如何在你的iPhone应用中使用Thumb指令集

陈轶 — Wed, 27 Jan 2010 02:25:00 +0800

教你如何在你的iPhone应用中使用Thumb指令集

揭露Boost::typeof的实现阴谋

陈轶 — Fri, 25 Dec 2009 01:24:00 +0800

我原来由于一份贴子挑起我看Boost::type_of实现，这份贴子连接为

介绍Apple GNU C/C++，objective-C/C++中的新特性——Blocks

仲裁者 — Mon, 12 Oct 2009 12:29:00 +0800

请参见：介绍Apple GNU C/C++，objective-C/C++中的新特性——Blocks

sizeof与函数

仲裁者 — Thu, 03 Sep 2009 23:24:00 +0800

咋一看标题，你很有可能会不屑一顾。本人向来不愿意在自己仅有的那块博客空间里放一些被谈得发烂的东西。在写这篇文章之前，我还特地地Google了一下，没发现与此相关的内容。这里将讨论关于C/C++中sizeof的一个不怎么为人所知的东西。

简单的证明预编译不进行语法检查

仲裁者 — Wed, 12 Aug 2009 00:03:00 +0800

我们知道#define 后跟的宏是在编译器预编译时将其内容进行完全扩展的，那么它在对宏所定义的内容进行扩展时是否会进行语法检查呢？这显然不会，否则的话一方面在预编译处理时会非常耗时，另一方面也没有必要。下面以两段简单的代码来证明这一点：

复合函数、λ表达式以及高阶函数

仲裁者 — Sun, 26 Jul 2009 06:30:00 +0800

本文主要描述复合函数、λ表达式、高阶函数的一些基本概念以及它们之间的一些关系。示例代码将以Python作为主要编成语言。

首先简单地谈谈什么是函数。对于基本的面向过程以及函数式编程语言而言，可以直接用集合论中的函数概念加以描述。如果是面向对象的话，但使用朴素集合论中的函数概念去描述还显得不够，基本上要用到范畴（Category）论中的态射（Morphism）进行描述。而对于函数式编成语言而言，通过集合论的函数概念进行描述就显得更为适宜。

首先简单地介绍一下什么是函数。函数首先是一种关系。为了方便描述，后面将主要针对二元关系进行讲解，即可理解为一个输入，一个输出。
函数定义：设A和B是两个任意集合，f是从A到B的二元关系。若f具有性质：
（1）f的定义域Dom f = A，
（2）如果有(a1, b1), (a1, b2)属于f，那么b = b2，（注：a1属于集合A，b1、b2属于集合B）
则称关系f是从A到B的函数，记为f:A->B。

根据函数基本定义，我们下

对于三进制计算机逻辑运算方法的猜想

仲裁者 — Mon, 22 Jun 2009 00:25:00 +0800

这件事主要源于CSDN上的这篇文章：莫斯科国立大学三进制计算机发展史。阅读后就猜想对于三进制计算机的逻辑运算是如何处理的呢？

关于GCC下使用内建的多媒体指令集（MMX、SSE）函数

仲裁者 — Sun, 31 May 2009 00:31:00 +0800

在VC2005以上版本（包括2005）有非常丰富的针对x86架构处理器指令集的内建函数，包括典型的BFS、RDTSC、以及MMX、3DNOW!(+)、SSE、SSE2。到VC2008以后又支持了SSE3、SSSE3、以及SSE4A、SSE4.1和SSE4.2。然而，当这些搬到GCC上时用起来就显得十分麻烦。

微协作者线程具体实现

仲裁者 — Fri, 02 Jan 2009 23:49:00 +0800

我曾经介绍过在基于多核操作系统中的一种可能被提供的服务——微线程（详见：http://blog.csdn.net/zenny_chen/archive/2008/07/14/2650389.aspx）。不过，基于其工作机制，我这里想对它的称呼作一下修改，改为“微协作者线程”（Micro Co-worker Thread，MCT）。