在俄亥俄州立大学，他们用一种叫做Resolve/ c++的杂种c++语言教授编程。Resolve/ c++对一切都使用契约式设计方法。它要求您在编译后的注释中对组件和方法进行数学建模，从而强制您维护方法和对象之间的require /ensure关系。

Haskell又说:

在Haskell中，你可以处理任意大小的文件，就好像它是一个简单的字符串。只有在实际使用字符串时，文件才会被读取。由于Haskell令人难以置信的懒惰，这样的程序将在恒定的空间中运行，而不管文件的大小:

main = interact (>>= \x -> if x == '\n' then "\r\n" else [x])

(这个程序将一个文件从stdin转换为stdout，并将LF替换为CRLF，交互函数将整个stdin输入到一个函数，并将输出移动到stdout。)

这种惰性也可能导致问题，因为如果关闭一个文件句柄，就不能完全shure，不管Haskell是否已经解析了其中的所有数据。

这让我惊艳

#define _ -F<00||--F-OO--;
int F=00,OO=00;main(){F_OO();printf("%1.3f\n",4.*-F/OO/OO);}F_OO()
{
            _-_-_-_
       _-_-_-_-_-_-_-_-_
    _-_-_-_-_-_-_-_-_-_-_-_
  _-_-_-_-_-_-_-_-_-_-_-_-_-_
 _-_-_-_-_-_-_-_-_-_-_-_-_-_-_
 _-_-_-_-_-_-_-_-_-_-_-_-_-_-_
-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_
_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_
_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_
_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_
 _-_-_-_-_-_-_-_-_-_-_-_-_-_-_
 _-_-_-_-_-_-_-_-_-_-_-_-_-_-_
  _-_-_-_-_-_-_-_-_-_-_-_-_-_
    _-_-_-_-_-_-_-_-_-_-_-_
       _-_-_-_-_-_-_-_
           _-_-_-_
}

有些奇怪——VBScript有一个Null关键字和一个Nothing关键字(Null是丢失的数据，Nothing是丢失的对象)。为什么不只有一个关键词…?大多数其他语言似乎都可以用一个!

Visual Basic 6.0当然还有“经典ASP”代码(因为它使用VBScript)也有同样的奇怪之处。在Visual Basic的新旧版本中，我们都有DBNull。

然而，这种情况正在改善，就像Visual Basic一样。NET Null终于消失了，所以Null不再使用，只有Nothing和DBNull被使用。

在Scala中，没有操作符，只有方法。所以a + b - c实际上等于a +(b) -(c)在这里，它等于Smalltalk。但是，与Smalltalk不同的是，它考虑了优先级。规则基于第一个字符，因此一个假设的方法*+将优先于一个叫做+*的方法。做了一个例外，以便任何以=结尾的方法都将具有与==——含义相同的优先级!!和!=(非假设方法)具有不同的优先级。

所有ASCII字母的优先级最低，但所有非ASCII (unicode)字符的优先级最高。如果你写了一个比较两个int型的方法，那么2 + 2 = 1 + 3将会编译并为真。如果你用葡萄牙语写é，那么2 + 2 é 1 + 3会导致错误，因为它会看到2 + (2 é 1) + 3。

而且，在Scala中操作符的WTF中，所有以:结尾的方法都是右关联的，而不是左关联的。这意味着1::2::Nil等价于Nil.::(2).::(1)而不是1.::(2).::(Nil)。

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)。