问
无形的Nat类型的限制
平凡天使zj 发布于 2023-01-31 21:38在无形状中,Nat类型表示在类型级别编码自然数的方法.这用于例如固定大小的列表.您甚至可以在类型级别上进行计算,例如,将N元素列表附加到元素列表中,K并返回在编译时已知的具有N+K元素的列表.
这种表示是否能够表示大数,例如1000000或2 53,或者这会导致Scala编译器放弃吗？
撰写答案
今天，你开发时遇到什么问题呢？
立即提问
平凡天使zj 发布于 2023-01-31 21:38在无形状中,Nat类型表示在类型级别编码自然数的方法.这用于例如固定大小的列表.您甚至可以在类型级别上进行计算,例如,将N元素列表附加到元素列表中,K并返回在编译时已知的具有N+K元素的列表.
这种表示是否能够表示大数,例如1000000或2 53,或者这会导致Scala编译器放弃吗？
京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有