使用列表 cons 运算符 (a :: b) 作为函数

发布于 2024-09-25 05:53:44 字数 529 浏览 3 评论 0原文

F# 允许您通过使用 ( ) 将运算符转换为函数：例如，(+) 的类型为 int -> ;整数-> int。

是否可以使用列表 cons 运算符 :: 来做到这一点？

它的行为与普通的二元运算符不同：

FSI> (::);;

  (::);;
  -^^

c:\temp\stdin(3,2): error FS0010: Unexpected symbol '::' in expression.
Expected ')' or other token.

List.Cons 方法采用一个元组；它不是咖喱。

（能够做到这一点非常有用。例如，您可以使用它来实现以折叠方式进行映射< /a>）。

原文

F# lets you turn operators into functions by surrounding them with ( ): for instance, (+) is of type int -> int -> int.

Is it possible to do this with the list cons operator, ::?

It doesn't behave like a normal binary operator:

FSI> (::);;

  (::);;
  -^^

c:\temp\stdin(3,2): error FS0010: Unexpected symbol '::' in expression.
Expected ')' or other token.

And the List.Cons method takes a tuple; it's not curried.

(It's useful to be able to do this. For instance, you can use it to implement map in terms of fold).

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

陌上青苔 2024-10-02 05:53:44

转述自 http://cs.hubfs.net/forums/ permalink/11713/11713/ShowThread.aspx#11713

(::) 是 list<'a> 的可区分联合“构造函数” type，因此提出了一个问题：作为函数值，其参数是否应该柯里化（如 +）或元组（如所有 DU 构造函数）。对于某些人来说，无论哪种方式都显得可疑/出乎意料，因此 F# 根本不允许这种构造。

当然，您始终可以编写 eg

let cons x y = x :: y

并使用 cons，或者仅使用 lambda fun xy -> x::y，如果你想要一个“两个参数的柯里化前缀函数”。

Paraphrased from http://cs.hubfs.net/forums/permalink/11713/11713/ShowThread.aspx#11713

(::) is a discriminated union 'constructor' for the list<'a> type, and so raised the question of whether as a function value its arguments should be curried (like +) or tupled (like all DU constructors). Either way seems fishy/unexpected to some people, so F# simply disallows the construct.

Of course you can always write e.g.

let cons x y = x :: y

and use cons, or just use a lambda fun x y -> x::y, if you want a "curried prefix function of two args" for this.

回复收藏 0 原文

赏烟花じ飞满天 2024-10-02 05:53:44

不幸的是，不，你不能。 :: 不是运算符，而是根据语言语法的“符号关键字”（请参阅 3.6 规范），:?> 和其他一些也是如此。不过，这里的语言似乎并不完全一致，因为有一些符号关键字可以被视为运算符（至少 (*) 和 (<@ @ >））。

回复收藏 0 原文

尛丟丟 2024-10-02 05:53:44

:: 和 [] 都可以用 List<_>.Cons 和 List<_>.Empty 表示> 分别。请记住，前者将元组作为参数。这些列表位于此处，以便可以使用 F# 以外的语言创建列表。

> List.Cons(4, List.Empty);;
val it : int list = [4]

> 4::[];;
val it : int list = [4]

> List<int>.Cons(4, List<int>.Empty);;
val it : int list = [4]

> List.Cons;;
val it : 'a * 'a list -> 'a list = <fun:clo@24-7> //'

> List<int>.Empty;;
val it : int list = []

:: and [] can both be represented by List<_>.Cons and List<_>.Empty respectively. Keep in mind though that the former takes a tuple as an argument. These are here so lists can be created in languages other than F#.

> List.Cons(4, List.Empty);;
val it : int list = [4]

> 4::[];;
val it : int list = [4]

> List<int>.Cons(4, List<int>.Empty);;
val it : int list = [4]

> List.Cons;;
val it : 'a * 'a list -> 'a list = <fun:clo@24-7> //'

> List<int>.Empty;;
val it : int list = []

回复收藏 0 原文

~没有更多了~