typescript - Scala 片段到 TypeScript(如何转换抽象类型成员)
问题描述
我在 Scala 中有一小段值级别和类型级别列表
sealed trait RowSet {
type Append[That <: RowSet] <: RowSet
def with[That <: RowSet](that: That): Append[That]
}
object RowSet {
case object Empty extends RowSet {
type Append[That <: RowSet] = That
override def with[That <: RowSet](that: That): Append[That] = that
}
case class Cons[A, B <: RowSet](head: A, tail: B) extends RowSet { self =>
type Append[That <: RowSet] = Cons[A, tail.Append[That]]
override def with[That <: RowSet](that: That): Append[That] = Cons(head, tail ++ that)
}
}
现在,我正在尝试将这个东西转换为 TypeScript。由于我们没有抽象类型成员功能,我似乎找不到在某些时候不需要类型转换的解决方案。
我目前在 TypeScript 中拥有的东西(也可以在Playground上找到)
abstract class RowSet {
abstract with<That extends RowSet>(that: That): RowSet
}
type Append<This extends RowSet, That extends RowSet> =
This extends Cons<infer A, infer B> ? Cons<A, Append<B, That>> : That;
class Empty extends RowSet {
public with<That extends RowSet>(that: That): That {
return that;
}
}
class Cons<A, B extends RowSet> extends RowSet {
constructor(public readonly head: A, public readonly tail: B) {
super();
}
public with<That extends RowSet>(that: That): Cons<A, Append<B, That>> {
return new Cons(this.head, this.tail.with(that) as Append<B, That>)
}
}
const x = new Cons(5, new Empty) // Cons<number, Empty>
const y = new Cons("hi", new Empty) // Cons<string, Empty>
const z = x.with(y) // Cons<number, Cons<string, Empty>>
我感兴趣的是我们是否可以避免在这里投射:
return new Cons(this.head, this.tail.with(that) as Append<B, That>)
似乎 TypeScript 理解该值实际上是Append<B, That>
因为它不允许转换为任何不同的东西,例如Append<B, B>
或类似的东西。但是因为我们使用with
fromabtract class RowSet
我们最终得到Cons<A, RowSet>
.
我们能否以不同的方式定义 RowSet,以便 TypeScript 在没有我们帮助的情况下正确推断所有内容?也许有不同的抽象类型成员转换方式(从Scala转换时)?
解决方案
感谢 Oleg Pyzhcov 的评论,我能够在没有任何手动类型转换的情况下使其工作。F-bounded polymorphism 被建议作为解决这个问题的一种方法,事实证明它在这里确实有帮助
解决方案看起来像这样,不需要类型转换,一切都按预期工作
abstract class RowSet<T extends RowSet<T>> {
abstract with<That extends RowSet<That>>(that: That): Append<T, That>
}
type Append<This extends RowSet<This>, That extends RowSet<That>> =
This extends Cons<infer A, infer B> ? Cons<A, Append<B, That>> : That;
class Empty extends RowSet<Empty> {
public with<That extends RowSet<That>>(that: That): That {
return that;
}
}
class Cons<A, B extends RowSet<B>> extends RowSet<Cons<A,B>> {
constructor(public readonly head: A, public readonly tail: B) {
super();
}
public with<That extends RowSet<That>>(that: That): Cons<A, Append<B, That>> {
return new Cons(this.head, this.tail.with(that))
}
}
const x = new Cons(5, new Empty) // Cons<number, Empty>
const y = new Cons("hi", new Empty) // Cons<string, Empty>
const z = x.with(y) // Cons<number, Cons<string, Empty>>
您可以在Playground上查看
推荐阅读
- google-cloud-platform - 防止 Google Cloud Run Webhook 减速
- javascript - 如何根据给定的外部值重新排序javascript数组
- video - 使用 DirectX11 支持实现 H265/HEVC 解码
- java - 在首选项设置屏幕中未找到片段 ID 的视图
- python - BeautifulSoup4 错误,“AttributeError: 'NoneType' 对象没有属性 'find”
- redis - 从反应式 API 读取时如何保持 redis 连接打开
- ffmpeg - FFMPEG 使用 Google Drive API 而不是共享 URL
- tomcat9 - Oracle 18c+Tomcat9 的 Oracle 会话和进程达到最大利用率问题
- sql - 在 Azure Databricks 中为 SQL 查询加载 Parquet 文件的最有效方法是什么?
- opencv - 使用 OpenCV2 编写时如何避免视频延迟?