hello-world icon indicating copy to clipboard operation
hello-world copied to clipboard
verified publisher icon leachim6

Language qualifications

Open MrBrain295 opened this issue 2 years ago • 2 comments

The esolangs are getting a bit out of hand. I think there should be some requirements for languages to be added. Has an interpreter/compiler (not hypothetical)? Turing complete?

MrBrain295 avatar Jul 06 '23 19:07 MrBrain295

Requiring a language to be Turing-complete may rule out some languages with significant real-world use. For example, proof assistants (e.g. Coq and Agda) are generally not Turing-complete.

abt8601 avatar Jul 28 '23 14:07 abt8601

True

On Fri, Jul 28, 2023 at 9:36 AM Po-Yi Tsai @.***> wrote:

Requiring a language to be Turing-complete may rule out some languages with significant real-world use. For example, proof assistants (e.g. Coq and Agda) are generally not Turing-complete.

— Reply to this email directly, view it on GitHub https://github.com/leachim6/hello-world/issues/1494#issuecomment-1655798090, or unsubscribe https://github.com/notifications/unsubscribe-auth/APYEERRBKYZ7OTTHJ77IG2TXSPE6NANCNFSM6AAAAAA2A26CQI . You are receiving this because you authored the thread.Message ID: @.***>

MrBrain295 avatar Jul 28 '23 14:07 MrBrain295