本文介绍了Scala 中缀类型的真实例子的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!

问题描述

我发现了一种有趣的语法内容.它被称为中缀类型.

I've found one interesting syntax stuff. It's called Infix type.

示例:

class M[T, U]
new (Int M String)

现在我正在从一些流行的框架或库中寻找这种类型的示例.我在哪里可以找到它们?有什么建议吗?

And now I'm looking for examples of this type from some popular frameworks or libraries. Where can I find them? Any suggestions?

推荐答案

shapeless library

有一堆

shapeless library

has bunch of them

Set ~> Option

很喜欢

Set[A] => Option[A] forAny {type A}

HLlists

Int :: String :: Double :: HNil

就像一个超灵活的

(Int, (String, (Double, ())))

副产品

Int :+: String :+: Double :+: CNil

就像

Either[Int, Either[String, Either[Double, Nothing]]]

类型标签

Int @@ NonNegative

Int 的零成本运行时模拟,在标签类型中记住一些信息

Is zero-cost runtime analog of Int with some information remembered in tag type

正如 Archeg 提到的那样,还有更多

as Archeg mentioned has even more of them

String \/ Long

scala 的 Either[String,Long] 是更酷的版本,请在这里阅读更多

Is cooler version of scala's Either[String,Long], read more here

Boolean \&/ Long

Either[(Boolean, Long), Either[Boolean, Long]]

地图

String ==>> Double

collection.immutable.TreeMap[String, Double]

Monoid Coproduct

String :+: Float

是事物的交替列表,其中聚合相似的事物(添加、连接、选择的最大值等)而不是排序

is alternated list of things, where similar things are aggregated (added, concatenated, choosed max, etc.) instead of sequencing

这篇关于Scala 中缀类型的真实例子的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持!

08-23 04:40