search

leachim6 / hello-world

Hello world in every computer language. Thanks to everyone who contributes to this, make sure to see contributing.md for contribution instructions!
http://github.com/leachim6/hello-world/wikis
MIT License
10.95k stars 1.91k forks source link

Language qualifications #1494

Open MrBrain295 opened 1 year ago

MrBrain295 commented 1 year ago

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?

abt8601 commented 1 year ago

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.

MrBrain295 commented 1 year ago

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: @.***>