说说Zig 额外补充几个点… 如果能支持类型推导就好了，我的意思是如果在所有标注为anytype的地方都能变成一个类型变量。

不然每次都需要在函数里加一个类型参数，一个简单而带有清晰的类型标注的compose都整不出来。

毕竟隔壁C++在很多年前就有CTAD了，J***a也早就有Diamond operator了。

还有啊，匿名函数不好做我可以理解，但是匿名struct好歹支持下capture把上层scope的对象能够引用到吧。

好你说函数指针没有绑定实例（*Self），…。