代码之家 › 专栏 › 技术社区 › Adam Gent

是否有一种编程语言在省略命名参数时执行curry操作?

named-parameters currying language-design functional-programming programming-languages

Adam Gent · 技术社区 · 16 年前

我正在考虑设计一种总是使用记录(aka)的语言 named parameters )函数参数。

add { left : num, right : num } = ...
minus { left : num, right : num } = ..

您可以将任何记录传递给这些函数,只要它们有这两个命名参数(它们可以有更多的“left”和“right”)。

如果它们只有一个命名参数,则会创建一个新函数:

minus5 :: { left : num } -> num
minus5 = minus { right : 5 }

我借用了一些haskell的符号来表示上面的内容

有人见过这样的语言吗?

2 回复 | 直到 16 年前

ygrek 16 年前

OCaml有命名参数,currying是自动的(尽管有时在处理可选参数时需要类型注释),但它们不是元组:

    Objective Caml version 3.11.2

# let f ~x ~y = x + y;;
val f : x:int -> y:int -> int = <fun>
# f ~y:5;;
- : x:int -> int = <fun>
# let g = f ~y:5;;
val g : x:int -> int = <fun>
# g ~x:3;;
- : int = 8

High Performance Mark 16 年前

当然, 我能做那种事。

推荐文章

Sudhanva c · 如何提高编码技能?[已关闭]

8 年前

Erik Campobadal Christophe Herreman · 创建编程语言的起点和帮助[关闭]

8 年前

alandawkins · 当今主流编程语言主要使用动态或静态(词法)作用域吗?

8 年前

hoffm · 为什么Ruby找不到调用方类中定义的常量?

8 年前

Tim unnamed eng · 垃圾收集是仅用于回收堆对象还是同时回收堆和堆栈中的对象?

8 年前

Thamme Gowda · “lambda”关键字的较短替代项?

8 年前

AlphaModder · 有没有带有“不寻常”访问修饰符的编程语言?

11 年前

lucasasecas · 有可能静态地使用动态语言吗?

11 年前

Eugenio Laghi · 仅由括号、加号和感叹号组成的语言

11 年前

dallin · 数组中的逗号运算符是否有名称?

12 年前