Talk:LOOP (programming language)

I find it a bit strange to list Uwe Schoening as the sole "inventor" of LOOP programs, especially because the first book from him which mentions this is from 2001. Albert Meyer and Dennis Ritchie wrote a paper on Loop programs, "The complexity of loop programs" in 1967 and used pretty much exactly the syntax that Schoening does in his book. 2001:620:8:3E82:8000:0:0:13D4 (talk) 14:36, 3 January 2013 (UTC)

Initially all variables are set to 0, and the examples rely on this. For instance, the program which assigns x_j := x_i relies on the fact that initiall x_j is 0. This is an invalid assumption if the program is used somewhere in the middle of another program, where x_j had been previously used. To give a concrete example, if we naively translate the program

 x2 := x1 ;
 x2 := x1

we will get x₂ equal to x₁ + x₁. I think other examples also need such initializations. AndrejBauer (talk) 07:43, 30 April 2020 (UTC)

I thought of the same thing as the LOOP programming language the day before I read this, although with a different syntax. I suppose so did Schoening and Meyer and Ritchie, different people have the same idea. The difference is that Schoening used the same syntax as Meyer and Ritchie, while I used a different syntax instead. --Zzo38 (talk) 04:33, 9 May 2020 (UTC)

Is this programming language turing complete? — Preceding unsigned comment added by Bedorlan (talk • contribs) 23:49, 28 May 2020 (UTC)

No; LOOP programs always halt, and programs that necessarily always halt are not Turing complete. --Zzo38 (talk) 02:57, 11 August 2020 (UTC)

bro the citations are in german. — Preceding unsigned comment added by 2601:C0:C67F:D187:B3CB:4E9D:EEF2:D6F0 (talk) 00:25, 7 April 2021 (UTC)