F#

Type inference is limited. It propagates forward only. F# won't try to infer an object type based on the methods and properties used: you'll get "lookup of indeterminate object type" errors when it doesn't have a clue. One cannot mix floats and ints: 1 + 2.3 is a type error. It's a little awkward to have to create a builder object in order to define a monad or computation expression. In Haskell or Scala, you can define the monad operations directly on the monadic object. Though the #light syntax is preferred, the indentation rules are sometimes not very intuitive or become cumbersome.

我讨厌所有语言的五件事(至少就我所知):

Does what I say/type, not what I mean Will undoubtedly meet people who think they are experts in the language, but just make a mess of it (e.g. people who insist that removing comments/unused local variables will speed up execution time for a program) Unless the language is obsolete, then it will probably continue to evolve (either the actual language, or the concepts behind using it effectively) requiring you to actively develop with it so as to not fall behind. Can't modify the lexer/compiler (add in own context sensitive grammar) No perfect language (every language is missing some sort of useful feature that usually is either impossible to simulate, will unavoidable have an ugly interface or just require far too much time to implement and get it right)

PHP

几乎每个标准函数都在全局作用域中 不一致的函数参数顺序 不一致的函数命名 不区分大小写的函数 脚本的行为可能会因php.ini文件的不同而有所不同 能够使用未定义的变量 在某些情况下，必须将结果赋值给变量，然后才能在函数中使用它

更主观地说:

动态类型

Objective Caml

Non-concurrent garbage collector. I can write multi-threaded programs all day long, but they're only ever going to get one of my eight cores at a time. This makes me sad. No type classes (or their moral equivalent). There's Furuse-san's GCaml, but it's A) not quite as good as type classes, and B) not in the INRIA distribution. Badly in need of a Cocoa bridge. Seriously. If I wrote more code with actual interfaces to DNA-based life forms, then I'd probably break down and write the damned thing myself. Why hasn't anybody else done this yet? Functors are abominable. Seriously, modules ought to be first-class values. There should be only one kind of function. Read Montagu and Rémy before you flame me for this. Should use LLVM for its back-end. Who do I have to murder to get OCaml to compile for my stupid little ARM6 core?

是的，我有一些问题。我仍然非常喜欢这门语言。这太棒了。

HyperTalk:

很久很久以前就死了 没有简单的赋值(你不能说a:= 3，你必须说把3放进a 没有嵌套函数 没有真正的数据结构，只有字符串。要创建“列表”，您可以使用itemDelimiter分隔项并手动转义它们。你也可以得到行和单词比如txt的第5行第2个单词

说句题外话，我认为HyperTalk最酷的独特功能之一是特殊的it变量:

ask "How many years old are you?"
answer "You are " & it*12 & " months old."

C#

5. 空合并运算符

的? ?运算符允许你写:

x = y ?? z;

而不是:

x = (y == null) ? y : z;

我喜欢这个运算符，但我想要另一个:

x = y ??? y.foo() : z.foo();

而不是

x = (y == null) ? y.foo() : z.foo();

我一直在使用这种东西，而且我发现输入== null部分很烦人。

4. 平等应该有更好的支持

我必须启动每个Equals(object obj)方法: MyClass other = obj作为MyClass; If (other == null)返回false;

你只需要写:

public override bool Equals(MyClass other) {...}

语言应该注意提供Equals(object obj)方法。 注意:other必须保证不为空。

3.不能使用不同类型的三元运算符

这不能编译，我认为它应该编译!

string foo = "hello";
int bar = 4;
object baz = foo == null ? foo : bar;

2. 缺少命名空间private

我喜欢内部保护，但我希望有一种保护只允许从同一名称空间内进行访问。这样可以更好地控制大型类库的访问。

1. 没有多重继承

我实际上只对接口的默认实现使用实现(类)继承，但很多时候我想这样做。