プログラミング言語機能

-4

コンピュータが今日発言できる逐次計算を表現できるように、どの機能をプログラミング言語で表現する必要がありますか？言語がハスケルなら具体的にどうすればいいでしょうかプログラミング言語機能

2016-03-24 Pan

[Truing completeness]（https://en.wikipedia.org/wiki/Turing_completeness）を参照してください（私は推測します） - 広範にも申し訳ありません – Carsten

言語には*必須*チューリングが完了しました。「チューリングの完成度」に足りない機能に名前を付けてください。その機能を持たないチューリング完全言語を設計することができます。これを考えると、すべてが存在しなければならない一連の特徴を命名するのは絶望的なようだ。チューリングの完成度を二倍にするような機能のセットについて簡単に説明します。 –

@DanielWagnerまあ、それはおそらくあなたが "フィーチャー"の意味にかかっています。例えば、非終了がフィーチャである場合、それは何らかの形でその「フィーチャ」がない単一のチューリング完了システムが存在しないと確信しています。 – Bakuriu

ハスケルはチューリングが完了しています。

私の現在の信念は、「チューリングの完全性を保証するフィーチャセット」のすべての音声と完全な記述が無限であるか、非終端アルゴリズムを含んでいるという結果に大きな重みを付けます。あなたの他の質問に対する答えを期待するのは妥当ではないと私は信じています。

出典

2016-03-24 09:51:24

プログラミング言語機能

答えて

関連する問題