Talk:Shove

Obviously, the <>^vAV() '" subset is the same as the whole language. But, I wonder what computational class the language is. It seems to me it would be able to implement the :()^ subset of Underload((...) could be translated into "..."?). --Yayimhere2(school) (talk) 04:43, 30 January 2026 (UTC)

It'd definitely be an interesting proof. This always seemed to me like one of those that has multiple different approaches to being Turing-complete. I'd have to wonder what the : translation would look like, if it's even possible. –PkmnQ (talk) 05:39, 30 January 2026 (UTC)

Yea. I feel like : would be something like shoving, intentionally with a " at the start and end(or the other type, idk) and rerunning it two times. --Yayimhere2(school) (talk) 05:49, 30 January 2026 (UTC)

And then obviously, shoving actually really helpfully implements ^, since its moves the code, allowing for the top of stack code to be used.

So, using an implementation where we dont use the multiline, ((?) becomes ^ and () becomes ""/''. --Yayimhere2(school) (talk) 14:53, 30 January 2026 (UTC)