追寻真理之美

NOSQL这一大桌麻将

智拙 — Wed, 05 Jan 2011 21:28:00 +0800

我所知道的IT术语中，没有比“NOSQL”更糟糕更混乱的了。甚至它超过了面向对象、软件工程和设计模式。后三者至少还大大繁荣了出版业、硬件制造业，提供了大量的开发人员就业机会。
基本上你对这个潮流有一些基本的了解，就会知道，所谓的“NOSQL”运动，大多数是指的非“关系数据库（Relational Database）”。所以，它应该叫“NORDB”更准确一些。我们看看这几年出现的，“NOSQL”的主要口号：不使用外键关联、不使用固定字段格式MapReduceKV数据库牺牲一致性和完备性，提高性能使用API接口，而非文本方式访问
这里我只列举了想到的一些，欢迎大家补充。我们可以看到，除了最后一条，其它其实与SQL无关。SQL全称“结构化查询语言”，是一门语言，它其实不拘于某一种数据库模型，很多LDAP（层次型数据库）实现都提供了SQL接口，包括著名的KV数据库BDB，新版中也有SQL支持。而就算“非关系”这个主题，总的来说，数据库领域非常的广大，关系型数据库虽为主流，但是其它模型的也很多，仅仅简单的将KV等同于非关系数据库（不是我乱讲，确有一部分同行有此误解

动态语言会淘汰静态语言吗？

智拙 — Tue, 04 Jan 2011 17:54:00 +0800

上一篇博客动态语言会导致开发质量下降吗？，尽管没有我想像的那么多争议，但还是如期引发了一些误解。有一些朋友指出动态语言，具体来说是 Python 中的各种问题。这些我认为是大部分是正确的。我写上文的用意，在于讨论动态语言使用过程中，关于质量控制的必要性，以及其引发的性价比方面的争议。这并不表示动态语言全面的优于静态语言，更不表示静态语言会被动态语言全面的取代。进一步，这里我简单的说一下，我所认识到的，静态语言相对的优越性，和存在意义。这里首先我表达一下我一贯的观点：计算机不会魔法。具体来说两方面，一是离机器越近，性能上越有可能达到更快；二是目前的机器模型，总是以线性方式管理数据的（值得吐槽的是在操作系统以上，文件分区系统也总是这样干的，更底层能否以哪怕是极座标方式，直接在二／三维空间上定位访问，而非扇区、柱面、簇这种形式，我不清楚，有待方家指点）。线性管理信息带来的效应就是：基于线性数据结构，或以地址访问信息的编程工具，通常来说会比基于字典结构的更快，至少有更大的优化空间。而静态语言的话，编译时我们已经确定了对象的结构和尺寸（动态尺寸的内

动态语言会导致开发质量下降吗？

智拙 — Wed, 29 Dec 2010 23:53:00 +0800

离开CPUG以后，我的邮箱清静了很多，果断退掉一些现在已经不太关注的邮件组后，只有haskell-cafe和python社区的邮件还比较热闹。不过这几天几位朋友都在问我这个事儿：
https://groups.google.com/forum/#!topic/python-cn/yT3FvzgFLAs/discussion

codebase 中 merge 了别人的代码以后。即便双方都没有改动同一个文件，也可能出现这种情况：
A 只改动了 a.py 的一个方法的传参个数。
B 改动了 b.py, 并且 b.py 中调用了 a.py 中的那个方法改动前的版本。
merge 了两个文件以后, 程序员基本都不会意识到现在出了问题。
原因有两个：
1. python 程序员基本不用什么IDE, 如果使用 pydev 之类, 大致还能依靠 IDE 在merge 以后看到这个错。
2. python 没有编译的概念，没有机会看到编译器对这个语法问题的报错。
好了，现在只有等上线以后

ghc 7.0.1 发布

智拙 — Thu, 25 Nov 2010 22:40:00 +0800

编译了一个，有很多有意思的东西
Release Note 在此。列举几处我比较有兴趣的：基于 epoll/kqueue 的IO可以生成 LLVM 代码翻新了大量模块，特别是线程或异常阻塞有关的ghci 现在完整支持 import支持 haskel 2010 ，但是新标准可能会与传统的 base 模块冲突，建议使用ghc/ghci时用以下命令屏蔽冲突模块：ghci -package haskell2010 -hide-package base -hide-package array 现在支持 utf8 编码的源码文件，以及，甚至有一些 unicode 字符可以直接成为语法的一部分。GC 固定为两代回收现在 ghc 可以向操作系统归还内存（至少 Python 和 Java 都还不能，C 的 free 在这方面也不是很有效）。优化了 ghci 的沙盒
我在 ghci 里 :help 了一下，内容跟以前非常不同了。如下所示，有几个功能非常有爱，如：可以支持多行能够生成 etags 和 ctags*Main> :help Commands ava

尝试haskell

智拙 — Mon, 22 Nov 2010 02:48:00 +0800

尝试用haskell编写一个SQL解释器，做了一个初步的后端

代码：moduleFunswhereimportData.ListimportMonadimportSystem.DirectoryimportSystem.FilePathimportSystem.IOimportText.Regex.PCREdataStore t p =Text p |Csv p |Bin p |File p selectFrom (Text store) =do content IO[String] unionIt= liftM concat select::IO [FilePath] ->IO [String] select paths = paths >>=\p

Python 速成培训及其幻灯的编写配置

智拙 — Thu, 18 Nov 2010 00:08:00 +0800

前几天为公司同事做了一次 Python 语言的速成培训，幻灯在这里： Python速成指南View more presentations from March Liu.
这次的幻灯中，我对平时使用的 latex 代码做了一些调整，新的引言区如下：

\documentclass[utf8x, notes=hide]{beamer} %\usepackage[bars]{beamerthemetree} % Beamer Theme v 2.2 \usetheme{boxes} % Beamer theme \usecolortheme{seahorse} % Beamer color theme \usepackage[boldfont,slantfont]{xeCJK} \usepackage{fontspec} \setmainfont{DejaVu Serif} \setsansfont{DejaVu Sans} \setmonofont{DejaVu Sans Mono}%{Monaco} \setCJKma

How to Read Mathematics 如何阅读数学[节选]——数学阅读时应该自省的几个问题

智拙 — Tue, 26 Oct 2010 21:26:00 +0800

Why is this idea true? 为什么这个想法是对的？ Do I really believe it? 我是否确信它？ Could I convince someone else that it is true? 我能说服别人也信服它吗？ Why didn't the author use a different argument? 为什么作者没有用一个不同的论据？ Do I have a better argument or method of explaining the idea? 我有没有一个更好的论据或方法来说明这个思想？ Why didn't the author explain it the way that I understand it? 为什么作者不用我理解到的方式去阐述它？ Is my way wrong? 我的方法错了吗？ Do I really get the idea? 我确实理解这些方法了吗？ Am I missing some subtlety? 我是否搞错了某些细节？ Did this author m

Python 2.7 Tutorial —— 浮点数

智拙 — Wed, 06 Oct 2010 00:04:00 +0800

.. _tut-fp-issues:

****************************************************************************************
Floating Point Arithmetic: Issues and Limitations 浮点数算法：争议和限制
****************************************************************************************

.. sectionauthor:: Tim Peters

Floating-point numbers are represented in computer hardware as base 2 (binary)
fractions. For example, the

Python 2.7 Tutorial —— 解释器

智拙 — Wed, 06 Oct 2010 00:03:00 +0800

.. _tut-interacting: *************************************************** Interactive Input Editing and History Substitution *************************************************** Some versions of the Python interpreter support editing of the current input line and history substitution, similar to facilities found in the Korn shell and the GNU Bash shell. This is implemented using the `GNU Readline`_ library, which supports Emacs-style and vi-style editing. This library has its own doc

Python 2.7 Tutorial —— 标准库II

智拙 — Wed, 06 Oct 2010 00:01:00 +0800

.. _tut-brieftourtwo:

**********************************************************************
Brief Tour of the Standard Library -- Part II 标准库概览 II
**********************************************************************

This second tour covers more advanced modules that support professional
programming needs. These modules rarely occur in small scripts.

第二部分包含了支持专业编程工作所需的更高级的模块，这些模块很少出现在小脚本中。

.. _tut-output-formatting: