Existe-t-il des langues complètes à usage général général à usage général?
Les langues complètes autres que les langues complètes offrent un excellent avantage sur Turing-Tableal Langues car ils sont beaucoup plus analysables et offrent ainsi de nombreuses possibilités d'optimisation plus larges. Pourtant, ils sont à peine utilisés et la complétude de Turing est réellement vendue comme une bonne fonctionnalité.
Existe-t-il des langues normales de non-Turing-totales disponibles aujourd'hui pour la programmation à usage général?
Il n'y a pas de langues complètes multi-usages multi-usages multiples aujourd'hui. Il existe cependant plusieurs langues spécifiques de domaine complet de domaine. ANSI SQL, expressions régulières, langues de données (HTML, CSS, JSON, etc.) et S-Expressions sont des exemples notables.
Il n'y a pas vraiment de bénéfice pour les langues complètes multi-usages. L'aspect "beaucoup plus analysable", que je suppose que je suppose que le théorème de Riz est un signe de tête, s'applique, mais cela n'a pas beaucoup de sens pour les langues qui ciblent plusieurs domaines d'application différents, d'autres exigences prennent la priorité. La flexibilité de la complétude de Turning est beaucoup plus importante que sa complexité. Les langages de programmation, comme tous les autres logiciels, sont tous sur les échanges.
Pour les langues spécifiques de domaine, d'autre part, cela pourrait être l'inverse. Si vous ne construisez pas "une langue pour les gouverner tous", vous êtes libre de ne mettre en œuvre que les fonctionnalités qui ont un sens pour le but très spécifique de votre langue. Et plus souvent que non, il n'est pas possible que l'exhaustivité n'est pas l'un d'entre eux.