在无形中是否存在将类型构造函数带入Nat的强大功能的基础架构?

齐格斯塔

对我来说,这似乎是一个非常基本的功能,但是在当前的Shapeless(2.3.3)中我找不到它。

所以我在寻找一种Induction[X,F[_],N <: Nat]

Induction[X,F,Nat._0].Out =:= X
Induction[X,F,Nat._1].Out =:= F[X]
Induction[X,F,Nat._2].Out =:= F[F[X]]
...

也许还可以沿着类型构造链接一个函数,例如构造一个Point实例?

迈尔斯·萨宾

不,没有。如您所见,这很可能需要一个类似Point的类型类来使用。我建议向小猫添加类似这样的内容,这取决于无形和猫。

本文收集自互联网,转载请注明来源。

如有侵权,请联系 [email protected] 删除。

编辑于
0

我来说两句

0 条评论
登录 后参与评论

相关文章

充分利用InfoPath 2010中的强大功能

无形中的副产品无法编译

如何在无形中创建生成的对象

是否可以将类型构造函数视为功能编程语言中的类型?

javascript-如何使用强大功能在Node JS中获取文件扩展名?

是否可以通过成员函数将全局函数带入重载解析中?

是否可以将构造函数用作TypeScript中另一个函数的参数类型?

WebAssembly 的大功能是否很慢?

类型错误:架构不是构造函数

Python中zfill的大功能?

基础构造函数调用中的Lambda

具有构造函数的c ++对象,将值带入封装的对象

如何将父构造函数的功能继承到子构造函数中

guice是否允许将injectMembers集成到构造函数中?

将类型别名的变量传递到需要指向基础类型的指针的函数中

类型上的模式匹配,以实现Coq中存在类型的构造函数的相等性

构造函数中的类型约束

类中构造函数的类型

是否可以将元组struct构造函数传递给函数以返回不同类型的值?

利用python科学代码收获高度并行计算机的强大功能

是否可以使用 int[] 来创建 Foo[] ,其中 Foo 使用流将该 int 带入构造函数。爪哇 11

在与类型的构造函数并行的单独线程中运行成员函数是否是未定义的行为?

在无形状的Scala中,可以将文字类型用作泛型类型参数吗?

是否可以将Python中的所有类型提示/检查基础结构分隔成.pyi文件?

是否可以确保默认构造函数自动将内置类型初始化为0?

是否可以将容器的复制构造函数定义为不可复制的值类型已删除?

将新函数带入闭包

如何将变量带入函数-Python

尽管对Clojure中的Java构造函数有类型提示,但仍存在反射警告