49得票2回答
如何在处理递归求和类型时减少代码重复

我目前正在为一种编程语言开发一个简单的解释器,而我有一个类似于以下的数据类型:data Expr = Variable String | Number Int | Add [Expr] | Sub Expr Expr 我有许多函数可以执行简单的任务,比如:-- Substitu...

8得票2回答
Scala递归类型和类型构造实现

我有一个情况,需要一个能够接受多种类型的方法: Array[Int] Array[Array[Int]] Array[Array[Array[Int]]] Array[Array[Array[Array[Int]]]] etc... 我们将其称为RAI类型,即“递归整数数组” def ...

7得票3回答
在 Kotlin 中是否可以创建递归函数类型?

我有一些代表过程步骤的函数。每个函数也知道下一步是什么(如果有的话)。我希望能够像这样做: fun fooStep() : Step? { ... do something ... return ::barStep // the next step is barStep } ...

7得票1回答
为什么因为“添加丢弃检查规则时溢出”而无法实例化数据结构?

下面是一种数据结构,我可以写下来,也能被 Rust 编译器所接受: pub struct Pair<S, T>(S, T); pub enum List<T> { Nil, Cons(T, Box<List<Pair<i32, T&...