Perché non disponiamo ancora di una lingua non completa completamente non turante? [duplicare]

Question

Perché non disponiamo ancora di una lingua non completa completamente non turante? [duplicare]

#1 da (7 voti)
#2 da (5 voti)

3

Le lingue complete di non turing possono risolvere ogni problema pratico che può avere una lingua completa. Inoltre, sono molto più analizzabili delle lingue complete di turing. Il compilatore può comprendere il programma nel suo complesso, prevedere / calcolare / memorizzare in cache ogni possibile calcolo in anticipo, ottimizzarlo nel modo più matematico possibile e persino dimostrare di averlo fatto. È come una super fusione tra digitazione statica e valutazione lazy nei roids.

Eppure nessuno sta cercando di progettare un linguaggio completo senza turbo come il COQ che sia pratico e utilizzabile. Perché?

language-agnostic programming-languages functional-programming haskell

posta MaiaVictor 10.08.2013 - 01:57

fonte

2 risposte

Leggi altre domande sui tag language-agnostic programming-languages functional-programming haskell

Qual è lo scopo di includere i file di intestazione nella soluzione in Visual Studio? Possiamo creare un'applicazione GPL che ha una pubblicità payware su di esso?

score 7 · Answer 1

Le lingue complete non turanti possono risolvere ogni problema pratico che può avere una lingua completa.

sbagliato. Ad esempio, non puoi nemmeno fare qualcosa di così semplice come implementare il gioco della vita in un linguaggio completo non-Turing. Perché? Perché il gioco di Life is Turing è completo.

Una volta che l'ipotesi è considerata falsa, la risposta alla domanda è ovvia.

score 5 · Answer 2

Uno sforzo in questa direzione è la famiglia di lingue Hume, l'ultima delle quali è completa Turing,

HW-Hume: a hardware description language — capable of describing both synchronous and asynchronous hardware circuits, with pattern matching on tuples of bits, but with no other data types or operations [27];

FSM-Hume: a hardware/software language — HW-Hume plus ﬁrst-order functions, conditionals expressions and local deﬁnitions [26];

Template-Hume: a language for template-based programmimng — FSM-Hume plus predeﬁned higher-order functions, polymorphism and inductive data structures, but no user-deﬁned higher-order functions or recursive function deﬁnitions;

PR-Hume: a language with decidable termination — Template-Hume plus user-deﬁned primitive recursive and higher-order functions, and inductive data structure deﬁnitions;

Full-Hume: a Turing-complete language — PR-Hume plus unrestricted recursion in both functions and data structures.

link