Talk:Intermediate language

the fact that all but one of these esolangs are created by ais523, is kinda crazy --Yayimhere2(school) (talk) 13:21, 24 November 2025 (UTC)

Intermediate languages only really come up when you're working with a language that's difficult to prove Turing complete. One of my favourite lines of esolang research is to try to see how easily-implementable I can make a language, whilst leaving it Turing complete: and pushing the boundaries of that often leads to languages for which the Turing-completeness proof is difficult (because if it were easy the language would probably have been discovered earlier). So the sorts of languages I tend to make are also the sorts of languages that are most likely to need this sort of proof. --ais523 13:27, 24 November 2025 (UTC)

Yea, makes sense. I just found it slightly amusing --Yayimhere2(school) (talk) 13:56, 24 November 2025 (UTC)