通知7。一个有效程序的例子:

    Chomsky is a room. 
    A thought is a kind of thing. 
    Color is a kind of value. 
    The colors are red, green and blue. 
    A thought has a color. It is usually Green. 
    A thought can be colorful or colorless. It is usually colorless. 
    An idea is a thought in Chomsky with description "Colorless green ideas sleep furiously." 
    A manner is a kind of thing. 
    Furiously is a manner. 
    Sleeping relates one thought to one manner. 
    The verb to sleep (he sleeps, they sleep, he slept, it is slept, he is sleeping) implies the sleeping relation. 
    Colorless green ideas sleep furiously. 

像图灵机模拟器这样的其他愚蠢的东西可以找到。

在Common Lisp中，零维数组是很奇怪的，而且很自然地，它们具有读取语法。

? (aref #0A5)
5

PHP作为一门完整的语言基本上是WTF。

语言定义(参见www.php.org)不是由语法或标准定义的，而是由一堆“你可以写这个例子”的部分(当然，你可以写其他东西，只是猜测泛化)定义的，诚实的用户说“但它做了这种古怪的事情……”。

在使用我们构建的PHP解析器时，我经常会遇到一些故障。这是最新的消息:

 "abc$A[define]def"

现在，PHP是PERL的一个(非常糟糕的)副本，因此它允许用隐式变量替换构造字符串。字符串中的$X表示“将$X的值插入字符串”，相当于“abc”。$ X。"def"，其中"."是PHP的字符串连接操作符。

字符串中的$A[7]表示“将数组$A的第七个槽的值插入字符串”，相当于“abc”。美元[7]。“def”。

现在，语言(网站)清楚地说“定义”是一个关键字，你不能 只要你能找到合适的表达就用它。那么上面包含“define”的宝石做什么呢?抛出语法错误?不，那样说得通。

不，它实际上的意思是:

 "abc" . $A["define"] . "def"

只有当你在一个字符串的简单数组访问中写一个看起来像标识符(关键字或不是!)的东西时，它才会这样做。在语言的其他地方没有这种行为。 什么，写“abc$A["define"]def”是不合理的，所以PHP发明者不得不把它扔进去?得了吧。(更严重的是，“字符串中有复杂的数组访问”，当然它的工作方式不同。查看"abc{$A[define]}def";根据PHP网站，这是非法的。

(PHP数组是关联哈希表，因此根据名称查找数组(嗯，哈希表)成员并不是一个糟糕的想法)。

语言中充满了这样的陷阱。如果你喜欢“天哪，看看我今天在子程序下发现了什么蠕动的东西”，你应该切换到PHP。

在JavaScript中:

 '5' + 3 gives '53'

而

 '5' - 3 gives 2

在PHP中，你可以使用符号和字符串文字或包含变量名的变量引用变量，例如:

${'foo'} = 'test';
echo $foo;

这将打印“test”。这种行为的奇怪之处在于，你也可以使用非字符串作为变量名，例如:

${array()} = 'test';
echo ${array()};
${NULL} = 'test';
echo ${NULL};

现在我们有了名为array()的变量，甚至还有NULL!所有包含字符串"test"。

Haskell's use of Maybe and Just. Maybe a is a type constructor that returns a type of Just a, but Maybe Int won't accept just an Int, it requires it to be a Just Int or Nothing. So in essence in haskell parlance Just Int is about as much of an Int as an apple is an orange. The only connection is that Just 5 returns a type of Maybe Interger, which can be constructed with the function Just and an Integer argument. This makes sense but is about as hard to explain as it can theoretically be, which is the purpose of haskell right? So is Just really JustKindaLikeButNotAtAll yea sorta, and is Maybe really a KindaLooksLikeOrIsNothing, yea sorta again.

-- Create a function that returns a Maybe Int, and return a 5, which know is definitly Int'able
>  let x :: Maybe Int; x = 5;
<interactive>:1:24:
    No instance for (Num (Maybe Int))
      arising from the literal `5' at <interactive>:1:24
    Possible fix: add an instance declaration for (Num (Maybe Int))
    In the expression: 5
    In the definition of `x': x = 5

>  Just 5  
Just 5
it :: Maybe Integer

    -- Create a function x which takes an Int
>  let x :: Int -> Int; x _ = 0;
x :: Int -> Int
-- Try to give it a Just Int
>  x $ Just 5                   

<interactive>:1:4:
    Couldn't match expected type `Int' against inferred type `Maybe t'
    In the second argument of `($)', namely `Just 5'
    In the expression: x $ Just 5
    In the definition of `it': it = x $ Just 5

祝你好运读到这篇文章，我希望它是正确的。