context-applied:编译器插件可实现直观的无标签最终版

上下文应用 概述 context-applied是一个Scala编译器插件，可为您提供具有由类型参数上下文范围指定的功能的值的句柄。 例子： def fn [ F [_] : Monad ] : F [ Int ] = F .pure( 12 ) 这可以跨多个上下文以及多个类型参数进行扩展： def fn [ F [_] : Applicative : Traverse , G [_] : Applicative ] : G [ F [ Int ]] = F .traverse( F .pure( " " ))(s => G .pure(s.size)) 这不需要任何特定于类型类的语法，也不需要“ summoner”方法。 实际上，这是通过将隐式转换引入隐式范围内的适当值来实现的。 粗略地说，您可以假装有一个以结合指定上下文的类型的type参数命名的值： def fn