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

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

在Visual Basic 7及以上版本中，我发现实现了短路逻辑求值以保持与遗留的Visual Basic <=6代码的兼容性，有点WTF:

而且 （MSDN） OrElse （MSDN）

可能已经说过了(也许这对一些人来说并不奇怪)，但我认为这很酷:

在Javascript中，声明函数接受的参数只是为了方便程序员。通过函数调用传递的所有变量都可以通过关键字“arguments”访问。所以下面会提醒“world”:

<script type="text/javascript">

function blah(){
alert(arguments[1]);
}

blah("hello", "world");

</script> 

注意，虽然这些参数看起来像是存储在数组中(因为您可以以与数组元素相同的方式访问对象属性)，但事实并非如此。arguments是一个对象，而不是数组(因此，它们是存储在数值索引下的对象属性)，如下例所示(typeOf函数来自Crockford的JavaScript补救页面):

argumentsExample = function(){
    console.log(typeOf(arguments));

    anArray = [];
    console.log(typeOf(anArray));

    anObject = {};
    console.log(typeOf(anObject));
}

function typeOf(value) {
    var s = typeof value;
    if (s === 'object') {
        if (value) {
            if (typeof value.length === 'number' &&
                    !(value.propertyIsEnumerable('length')) &&
                    typeof value.splice === 'function') {
                s = 'array';
            }
        } else {
            s = 'null';
        }
    }
    return s;
}

argumentsExample("a", "b");

In C

a[i++] = i;

它会编译，但很少执行您认为它应该执行的操作。优化更改会产生截然不同的结果。它在不同平台上的运行方式也不同。

然而，编译器对此非常满意。

这并不奇怪或令人惊讶，但这让我总是说WTF:

语法或标识符名称的大小写敏感性。

大多数具有它的语言似乎只是因为C具有它。这样做没有什么好的理由。

其他奇怪的事情:

在c++中，覆盖一个虚方法会隐藏该方法的所有其他重载。在Java中，这种情况不会发生。这很烦人。例如:http://codepad.org/uhvl1nJp

在c++中，如果基类有一个公共虚方法foo()，子类有一个私有方法foo()，这个私有方法会覆盖另一个方法! 这样，只需将子类对象指针强制转换为父类对象指针，就可以在类外部调用私有方法。这不应该是可能的:这违反了封装。新方法不应被视为对旧方法的重写。例如:http://codepad.org/LUGSNPdh

在PHP中，你可以定义函数来接受类型化参数(例如，对象是某个接口/类的子类)，讨厌的是，在这种情况下，你不能使用NULL作为实际的参数值。 例如:http://codepad.org/FphVRZ3S