Nim支持类型推断吗？

Question

我在Nim中看到了这个例子，它需要明确的int和bool类型规范，尽管有足够的信息来推断两者(就像TypeScript那样)。

如果删除了这些类型，它就不会编译，Nim支持类型推断吗？

import sequtils

let list = @[1, 2, 4]
echo list.filter do (x: int) -> bool: x > 2

Answer 1

您需要的是糖模块中的=>宏。

echo list.filter(x => x > 2)

来自文件：

用于无菌程序的语法糖。

macro `=>`(p, b: untyped): untyped

proc passTwoAndTwo(f: (int, int) -> int): int =
  f(2, 2)

passTwoAndTwo((x, y) => x + y) # 4

用于过程类型的语法糖。

macro `->`(p, b: untyped): untyped

proc pass2(f: (float, float) -> float): float =
  f(2, 2)

# is the same as:

proc pass2(f: proc (x, y: float): float): float =
  f(2, 2)

Answer 2

从手册中：

自动类型只能用于返回类型和参数。对于返回类型，它使编译器从例程体推断类型：

http://nim-lang.github.io/Nim/manual.html#types-auto-type

Answer 3

Nim支持类型推断吗？

根据主页的说法，尼姆有一个…

具有局部类型推理、元组、泛型和和类型的现代类型系统。

粗体强调地雷

另外，语言手册提到了大约10个不同地方的类型推断。

Wiki页面将类型推断作为一个特性列出。

因此，最后，答案是“是”，至少根据官方文件。