Scala 中缀类型的现实示例

我发现了一种有趣的语法东西。它被称为Infix type.

Example:

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

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

无形图书馆

有一堆

多态函数

Set ~> Option

很像

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

HLists

Int :: String :: Double :: HNil 

就像一个超级灵活的版本

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

联产品

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

就像超级灵活的版本

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

类型标签

Int @@ NonNegative

零成本运行时类似于Int在标签类型中记住一些信息

斯卡拉兹库

正如Archeg提到的还有更多

Either

String \/ Long

是 scala 的更酷版本Either[String,Long]， 阅读更多here

These

Boolean \&/ Long

是否方便实施

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

Map

String ==>> Double

是 haskellest 版本

collection.immutable.TreeMap[String, Double]

幺半群余积

String :+: Float

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