8
是否有理由在编程语言中使用底部类型?
底部类型是一种主要出现在数学类型理论中的构造。也称为空类型。它是没有值的类型,但是是所有类型的子类型。 如果函数的返回类型是底部类型,则表示它不返回。期。也许它永远循环,或者抛出异常。 在编程语言中使用这种奇怪的类型有什么意义?这种情况并不常见,但是它存在于某些环境中,例如Scala和Lisp。
用于指示计算机执行计算步骤以完成任务的人工语言。它们允许程序员与计算机进行通信。