Forth的控制结构有些奇怪。首先，因为它是一种反向波兰符号语言，条件在IF之前，如:

x 0 = IF

现在，要关闭条件块，使用关键字THEN:

x 0 = IF ." Equals zero!" THEN

现在真正的WTF开始了。IF所做的是编译一个有条件的前向跳转，并将跳转偏移量的地址放在堆栈上。当找到THEN时，它从堆栈中弹出该地址，计算实际偏移量，然后编译它。另一方面，ELSE编译一个条件向前跳转，从堆栈中弹出一个地址，将一个新地址压入堆栈，计算弹出地址的偏移量，然后编译该偏移量。这意味着语法是这样的:

x 0 = IF ." Equals zero!" ELSE ." Not equal to zero!" THEN

第一个和第二个语句是这样编译的:

x LITERAL 0 = (0BRANCH) LITERAL offset SLITERAL" Equals zero!" (DOTQ)
x LITERAL 0 = (0BRANCH) LITERAL offset SLITERAL" Equals zero!" (DOTQ) BRANCH LITERAL offset SLITERAL" Not equal to zero!" (DOTQ)

更奇怪的是，这种行为并不隐藏。它是该语言的ANSI规范的一部分，可以通过构造自定义流控制结构或以有趣的方式组合它们来自由利用。例如，Forth的WHILE循环:

BEGIN x 10 < WHILE x 1+ to x REPEAT

BEGIN和WHILE之间的部分是任意代码，因此实际上可以在单个控制结构中让代码在条件测试之前和之后执行。这是故意的，但下面的内容虽然是允许的，但却不允许:

BEGIN DUP 2 > WHILE DUP 5 < WHILE DUP 1+ REPEAT 123 ELSE 345 THEN 

它利用了每个控制流字的工作方式来组合两个WHILE语句，并为每个出口添加不同的后循环代码来引导。为了表明我不是在开玩笑，我只是从互联网上的一个代码中复制了这个小片段，并进行了一些小的修改来简化它。

在Java中,

Int x = 010;

这将x赋值为8。

在Java中，任何前面带0的整数都被假定为八进制。

Scheme中没有保留标识符。因此，下面的表达式的值为1:

((lambda (lambda) lambda) (let ((let 1)) let))

注意，给定作用域内的定义是有限制的:任何定义都不能重新定义用于在该作用域内定义标识符的标识符，因此下面是一个语法错误:

(begin (define define 1) define)

在Java中:

int[] numbers() {
  return null;
}

可以写成:

int numbers() [] {
  return null;
}

在Python中，每个字符串都包含空字符串。

answer = input("Enter 'Y[es] or N[o]:")
if answer in 'YyNn':        # verify input
    process(answer) 

只要在上面的查询中点击return就会将答案设置为空字符串，将if答案传递给…测试，并被处理为正确答案。更简洁地说:

>>> "ABCDEFGHIJ".__contains__("")
True

像往常一样，Python在这里的行为在数学和逻辑上都是无可挑剔的。就像我在很久以前的集合论课上回忆的那样:空集合是每个集合的成员。

当我偶尔被它咬到的时候，它仍然让我感到惊讶，但我不会有其他的方式。

Python的三元操作符

在Python中，C三元操作符(c++示例:bool isNegative = i < 0 ?True: false;)可用作语法糖:

>>> i = 1
>>> "It is positive" if i >= 0 else "It is negative!"
'It is positive'
>>> i = -1
>>> "It is positive" if i >= 0 else "It is negative!"
'It is negative!'

这并不奇怪，而是一种特征。奇怪的是，与C中的顺序(条件?答:b)。