Scala は System F ω に基づく型システムを使用しますが、これは通常強力に正規化されていると言われています。強く正規化するということは、非チューリング完全性を意味します。
それにもかかわらず、Scala の型システムはチューリング完全です。
正式なアルゴリズムやシステムと比較して、Scala の型システムをチューリング完全にする変更/追加/修正はどれですか?
1 に答える
4
包括的な答えではありませんが、その理由は、再帰型を定義できるからです。
以前にも同様の質問をしたことがあります (非チューリング完全言語がどのように見えるかについて)。答えは次のようなものでした。チューリング完全言語は、任意のループまたは再帰をサポートする必要があります。Scala の型システムは後者をサポートしています
于 2011-12-14T12:05:36.337 に答える