Types 具有支持关键字参数的函数类型的静态类型语言？

某些语言（如Python）支持关键字参数：

def foo（a:int，b:int，c:int）：
返回a+2*b+3*c
foo（a=1，c=2，b=3）

Python和mypy可以被视为一种静态类型语言。但是，

foo

的类型是

函数[[int，int，int]，int]

，它不包含任何关于关键字参数的信息。给定具有该类型的值，没有类型安全的方法使用关键字参数调用它

是否有任何静态类型语言支持一流的函数和关键字参数，并且函数类型足够丰富，可以处理关键字参数？

从中，似乎在（大多数）静态类型语言中“本机”不受支持，如果本机指的是像Python或R这样的支持。