- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我很确定我在这里遗漏了一些东西,因为我对 Shapeless 还很陌生并且我正在学习,但是 Aux 技术实际上什么时候开始需要 ?我看到它是用来暴露一个 type
通过将其提升为另一个“同伴”的签名来声明 type
定义。
trait F[A] { type R; def value: R }
object F { type Aux[A,RR] = F[A] { type R = RR } }
trait F[A,R] { def value: R }
implicit def fint = new F[Int,Long] { val value = 1L }
implicit def ffloat = new F[Float,Double] { val value = 2.0D }
def f[T,R](t:T)(implicit f: F[T,R]): R = f.value
f(100) // res4: Long = 1L
f(100.0f) // res5: Double = 2.0
def g[T](t:T)(implicit f: F[T], r: Blah[f.R]) ...
g
的签名中添加一个额外的类型参数。 .通过使用
Aux
技术,我们还需要花额外的时间写同伴
object
.从使用的角度来看,对于像我这样的天真的用户来说,使用依赖于路径的类型根本没有任何好处。
最佳答案
这里有两个单独的问题:
Aux
这些类型类的伴随对象中的类型别名? Aux
类型别名完全是一种语法便利。您永远不必使用它们。例如,假设我们要编写一个方法,该方法仅在使用两个长度相同的 hlist 调用时才编译:
import shapeless._, ops.hlist.Length
def sameLength[A <: HList, B <: HList, N <: Nat](a: A, b: B)(implicit
al: Length.Aux[A, N],
bl: Length.Aux[B, N]
) = ()
Length
type 类有一个类型参数(对于
HList
类型)和一个类型成员(对于
Nat
)。
Length.Aux
语法使得引用
Nat
相对容易隐式参数列表中的类型成员,但这只是一种方便——以下完全等效:
def sameLength[A <: HList, B <: HList, N <: Nat](a: A, b: B)(implicit
al: Length[A] { type Out = N },
bl: Length[B] { type Out = N }
) = ()
Aux
与以这种方式写出类型改进相比,version 有几个优点:噪音较小,并且不需要我们记住类型成员的名称。不过,这些纯粹是符合人体工程学的问题——
Aux
别名使我们的代码更容易阅读和编写,但它们不会以任何有意义的方式改变我们可以或不能对代码做什么。
sameLength
, 没有优势
Out
是类型成员而不是类型参数。因为 Scala
doesn't allow multiple implicit parameter sections , 我们需要
N
如果我们想验证两个
Length
是否可以作为我们方法的类型参数实例具有相同的
Out
类型。此时,
Out
在
Length
也可能是一个类型参数(至少从我们作为
sameLength
的作者的角度来看)。
HList
:
def converter[A](implicit gen: Generic[A]): A => gen.Repr = a => gen.to(a)
case class Foo(i: Int, s: String)
val fooToHList = converter[Foo]
Foo => Int :: String :: HNil
.如
Generic
的
Repr
是一个类型参数而不是一个类型成员,我们必须这样写:
// Doesn't compile
def converter[A, R](implicit gen: Generic[A, R]): A => R = a => gen.to(a)
A
:
val fooToHList = converter[Foo, Int :: String :: HNil]
Generic
有一个类型参数(用于 case 类类型)和一个类型成员(用于表示类型);每
HList
具有单一长度,所以
Length
有一个类型参数和一个类型成员等。
converter
),我们可以,但是如果我们想像它们一样使用它们类型参数,我们总是可以写出类型细化(或语法更好的
Aux
版本)。如果 Shapeless 从一开始就将这些类型设为类型参数,则不可能反其道而行之。
关于scala - 为什么类型级计算需要 Aux 技术?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34544660/
我正在尝试用 C 语言编写一个使用 gstreamer 的 GTK+ 应用程序。 GTK+ 需要 gtk_main() 来执行。 gstreamer 需要 g_main_loop_run() 来执行。
我已经使用 apt-get 安装了 opencv。我得到了以下版本的opencv2,它工作正常: rover@rover_pi:/usr/lib/arm-linux-gnueabihf $ pytho
我有一个看起来像这样的 View 层次结构(基于其他答案和 Apple 的使用 UIScrollView 的高级 AutoLayout 指南): ScrollView 所需的2 个步骤是: 为 Scr
我尝试安装 udev。 udev 在 ./configure 期间给我一个错误 --exists: command not found configure: error: pkg-config and
我正在使用 SQLite 3。我有一个表,forums,有 150 行,还有一个表,posts,有大约 440 万行。每个帖子都属于一个论坛。 我想从每个论坛中选择最新帖子的时间戳。如果我使用 SEL
使用 go 和以下包: github.com/julienschmidt/httprouter github.com/shwoodard/jsonapi gopkg.in/mgo.v2/bson
The database仅包含 2 个表: 钱包(100 万行) 事务(1500 万行) CockroachDB 19.2.6 在 3 台 Ubuntu 机器上运行 每个 2vCPU 每个 8GB R
我很难理解为什么在下面的代码中直接调用 std::swap() 会导致编译错误,而使用 std::iter_swap 编译却没有任何错误. 来自 iter_swap() versus swap() -
我有一个非常简单的 SELECT *用 WHERE NOT EXISTS 查询条款。 SELECT * FROM "BMAN_TP3"."TT_SPLDR_55E63A28_59358" SELECT
我试图按部分组织我的 .css 文件,我需要从任何文件访问文件组中的任何类。在 Less 中,我可以毫无问题地创建一个包含所有文件导入的主文件,并且每个文件都导入主文件,但在 Sass 中,我收到一个
Microsoft.AspNet.SignalR.Redis 和 StackExchange.Redis.Extensions.Core 在同一个项目中使用。前者需要StackExchange.Red
这个问题在这里已经有了答案: Updating from Rails 4.0 to 4.1 gives sass-rails railties version conflicts (4 个答案) 关
我们有一些使用 Azure DevOps 发布管道部署到的现场服务器。我们已经使用这些发布管道几个月了,没有出现任何问题。今天,我们在下载该项目的工件时开始出现身份验证错误。 部署组中的节点显示在线,
Tip: instead of creating indexes here, run queries in your code – if you're missing any indexes, you
你能解释一下 Elm 下一个声明中的意思吗? (=>) = (,) 我在 Elm architecture tutorial 的例子中找到了它 最佳答案 这是中缀符号。实际上,这定义了一个函数 (=>
我需要一个 .NET 程序集查看器,它可以显示低级详细信息,例如元数据表内容等。 最佳答案 ildasm 是 IL 反汇编程序,具有低级托管元数据 token 信息。安装 Visual Studio
我有两个列表要在 Excel 中进行比较。这是一个很长的列表,我需要一个 excel 函数或 vba 代码来执行此操作。我已经没有想法了,因此转向你: **Old List** A
Closed. This question does not meet Stack Overflow guidelines。它当前不接受答案。 想要改善这个问题吗?更新问题,以便将其作为on-topi
我正在学习 xml 和 xml 处理。我无法很好地理解命名空间的存在。 我了解到命名空间帮助我们在 xml 中分离相同命名的元素。我们不能通过具有相同名称的属性来区分元素吗?为什么命名空间很重要或需要
我搜索了 Azure 文档、各种社区论坛和 google,但没有找到关于需要在公司防火墙上打开哪些端口以允许 Azure 所有组件(blob、sql、compute、bus、publish)的简洁声明
我是一名优秀的程序员,十分优秀!