Variable declaration reset
You are encouraged to solve this task according to the task description, using any language you may know.
A decidely non-challenging task to highlight a potential difference between programming languages.
Using a straightforward longhand loop as in the JavaScript and Phix examples below, show the locations of elements which are identical to the immediately preceding element in {1,2,2,3,4,4,5}. The (non-blank) results may be 2,5 for zero-based or 3,6 if one-based.
The purpose is to determine whether variable declaration (in block scope) resets the contents on every iteration.
There is no particular judgement of right or wrong here, just a plain-speaking statement of subtle differences.
Should your first attempt bomb with "unassigned variable" exceptions, feel free to code it as (say)
// int prev // crashes with unassigned variable
int prev = -1 // predictably no output
If your programming language does not support block scope (eg assembly) it should be omitted from this task.
ALGOL 68
In Algol 68, things that aren't explicitely initialised are notionally initialised to SKIP - an indeterminate value, so there should be no output from the program. Each iteration of the loop will get a new curr and prev, with prev initialised to SKIP. The following is equivalent to the Phix program... <lang algol68>BEGIN
[]INT s = ( 1, 2, 2, 3, 4, 4, 5 );
FOR i FROM LWB s TO UPB s DO
INT curr := s[ i ], prev;
IF IF i > LWB s THEN curr = prev ELSE FALSE FI THEN
print( ( i, newline ) )
FI;
prev := curr
OD
END</lang> ...however, one of the non-standard features of Algol 68G is that uninitialised variables cause a runtime error instead of silently being set to SKIP.
- Output:
with Algol 68G
5 IF IF i > LWB s THEN curr = prev ELSE FALSE FI THEN
1
a68g-2.8.3: runtime error: 1: attempt to use an uninitialised INT value (detected in BOOL conditional-clause starting at "IF" in this line).
...whereas, with Rutgers Algol 68:
No output.
AWK
<lang AWK>
- syntax: GAWK -f VARIABLE_DECLARATION_RESET.AWK
BEGIN {
n = split("1,2,2,3,4,4,5",arr,",")
for (i=1; i<=n; i++) {
curr = arr[i]
if (i > 1 && prev == curr) {
printf("%s\n",i)
}
prev = curr
}
exit(0)
} </lang>
- Output:
3 6
C
Note firstly that it's possible to create variables in C without initializing them. However, if you do so, the value the variable will contain is unpredictable and so here we give '(g)prev' an initial value of 0 to make absolutely sure it won't clash with the values in the array.
The following compiles using either C89/90 (-std=c90 -ansi -pedantic) or C99 syntax using gcc 9.4.0. <lang c>#include <stdio.h>
int main() {
int i, gprev = 0;
int s[7] = {1, 2, 2, 3, 4, 4, 5};
/* There is no output as 'prev' is created anew each time
around the loop and set explicitly to zero. */
for (i = 0; i < 7; ++i) {
// for (int i = 0, prev; i < 7; ++i) { // as below, see note
int curr = s[i];
int prev = 0;
// int prev; // produces same output as second loop
if (i > 0 && curr == prev) printf("%d\n", i);
prev = curr;
}
/* Now 'gprev' is used and reassigned
each time around the loop producing the desired output. */
for (i = 0; i < 7; ++i) {
int curr = s[i];
if (i > 0 && curr == gprev) printf("%d\n", i);
gprev = curr;
}
return 0;
}</lang>
(Note: Obviously the for (int i=0, prev needs the outer i and the inner prev removed, and the same "int" added to the second loop, for it to compile cleanly though it only does so under C99 (or later) as for loop initial declarations are not allowed in C89/90.)
- Output:
2 5
C++
<lang cpp>#include <array>
- include <iostream>
int main() {
constexpr std::array s {1,2,2,3,4,4,5};
// declare a variable outside of the loop to hold the previous value. At // this point it is undefined which is OK as long as it is set before // it is used. int previousValue;
for(size_t i = 0; i < s.size(); ++i)
{
// in C++, variables in block scope are reset at each iteration
const int currentValue = s[i];
if(i > 0 && previousValue == currentValue)
{
std::cout << i << "\n";
}
previousValue = currentValue;
}
} </lang>
- Output:
2 5
Factor
Normally you would not use lexical scoping for something like this in Factor. But since it is possible, here we go. Note that:
- Factor doesn't allow you to declare a lexical variable without initializing it.
- Lexical variables are immutable by default. To make a lexical variable mutable, you need to add a
!to its declaration.
<lang factor>USING: kernel math prettyprint sequences ;
[let
{ 1 2 2 3 4 4 5 } :> s
s length <iota> [| i |
i s nth -1 :> ( curr prev! )
i 0 > curr prev = and
[ i . ] when
curr prev!
] each
]</lang>
- Output:
[none]
To get output, we need to declare prev outside the each quotation.
<lang factor>USING: kernel math prettyprint sequences ;
[let
{ 1 2 2 3 4 4 5 } -1 :> ( s prev! )
s length <iota> [| i |
i s nth :> curr
i 0 > curr prev = and
[ i . ] when
curr prev!
] each
]</lang>
- Output:
2 5
Now compare to how you would normally solve this in Factor, where issues of variables and scope are irrelevant:
<lang factor>USING: grouping math.vectors prettyprint sequences.extras ;
{ 1 2 2 3 4 4 5 } 2 <clumps> [ all-eq? ] arg-where 1 v+n .</lang>
FreeBASIC
<lang freebasic>Dim As Integer s(1 To 7) => {1,2,2,3,4,4,5} For i As Integer = 1 To Ubound(s)
Dim As Integer curr = s(i), prev If i > 1 And curr = prev Then Print i prev = curr
Next i Sleep</lang>
- Output:
3 6
Go
Note firstly that unassigned variables are impossible in Go. If a variable is created (using the 'var' keyword) without giving it an explicit value, then it is assigned the default value for its type which in the case of numbers is zero. Fortunately, this doesn't clash with values in the slice in the following program. <lang go>package main
import "fmt"
func main() {
s := []int{1, 2, 2, 3, 4, 4, 5}
// There is no output as 'prev' is created anew each time
// around the loop and set implicitly to zero.
for i := 0; i < len(s); i++ {
curr := s[i]
var prev int
if i > 0 && curr == prev {
fmt.Println(i)
}
prev = curr
}
// Now 'prev' is created only once and reassigned
// each time around the loop producing the desired output.
var prev int
for i := 0; i < len(s); i++ {
curr := s[i]
if i > 0 && curr == prev {
fmt.Println(i)
}
prev = curr
}
}</lang>
- Output:
2 5
J
It may be difficult to say what is natural here, from the J perspective.
First off, the idiomatic J approach to finding indices of numbers which match their predecessors would be:
<lang J> 1+I.(}:=}.) 1 2 2 3 4 4 5 2 5</lang>
In other words, compare adjacent numbers (which results in a list of results one element shorter than the argument), find the indices of the matches (which would be the indices of the pairs which match) and add one (to get the indices in the original list of the second value of each of the pairs).
Also, J's for loop is analogous to javascript's foreach loop (and also tracks and makes available the index of the current value, which is useful when working with parallel lists). So we have to use J's while loop to approximate the javascript implementation.
But, also, J makes no distinction between a variable declaration and a variable assignment. And this task seems to be asking about how we handle that distinction.
Anyways, here's a rough approximation of what the task is asking for:
<lang J>same2=: {{
i=. 0
r=. ,EMPTY
while. i < #y do.
curr=. i{y
if. i>0 do.
if. curr=prev do.
r=. r,i
end.
end.
prev=. curr
i=. i+1
end.
r
}}</lang>
This gives us:
<lang J> same2 1,2,2,3,4,4,5 2 5</lang>
But, since we were unable to declare 'prev' before it was assigned, we have no way of moving that declaration of 'prev' outside of the loop. We could add a declaration of 'prev' outside of the loop,
<lang J>same3=: {{
i=. 0
r=. ,EMPTY
prev=. 99
while. i < #y do.
curr=. i{y
if. i>0 do.
if. curr=prev do.
r=. r,i
end.
end.
prev=. curr
i=. i+1
end.
r
}}</lang>
But it would not alter the generated result.
J's control words (like 'while.') do not create new variable scopes. If J introduced new variable scopes for control words, that would prevent updates inside those blocks from being visible outside those blocks. Where this form of isolation is desirable, we can use nested functions (J's verbs, adverbs or conjunctions).
Java
Note firstly that variables declared in methods must be assigned a value before they can be used in Java and so here we give '(g)prev' an initial value of 0 which won't clash with the values in the array. <lang java>public class VariableDeclarationReset {
public static void main(String[] args) {
int[] s = {1, 2, 2, 3, 4, 4, 5};
// There is no output as 'prev' is created anew each time
// around the loop and set to zero.
for (int i = 0; i < s.length; ++i) {
int curr = s[i];
int prev = 0;
// int prev; // triggers "error: variable prev might not have been initialized"
if (i > 0 && curr == prev) System.out.println(i);
prev = curr;
}
int gprev = 0;
// Now 'gprev' is used and reassigned
// each time around the loop producing the desired output.
for (int i = 0; i < s.length; ++i) {
int curr = s[i];
if (i > 0 && curr == gprev) System.out.println(i);
gprev = curr;
}
}
}</lang>
- Output:
2 5
JavaScript
<lang javascript><!DOCTYPE html> <html lang="en" >
<head> <meta charset="utf-8"/> <meta name="viewport" content="width=device-width, initial-scale=1"/> <title>variable declaration reset</title> </head> <body> <script>
"use strict"; let s = [1, 2, 2, 3, 4, 4, 5]; for (let i=0; i<7; i+=1) {
let curr = s[i], prev;
if (i>0 && (curr===prev)) {
console.log(i);
}
prev = curr;
}
</script> </body>
</html></lang>
No output
Any of 1) manually moving the declaration of prev to before the loop, or 2) using for (let i=0, prev; i<7; i+=1), and in fact initialising prev there, to any value, works exactly the same, or 3) changing the third "let" to "var" (causes legacy hoisting and) gives:
- Output:
2 5
jq
The following "straightforward longhand loop" produces correct answers because the iteration is specified to begin at the second element.
As it happens, if the first argument of range/2 was changed to 0, then in this particular case the correct results would still be correct because at the first iteration, the test would be $array[0] == $array[-1], the point being that $array[-1] evaluates to the last element of the array. That is, the "bug" in the program would not be revealed by the test case. <lang jq>[1,2,2,3,4,4,5] | . as $array | range(1;length) | select( $array[.] == $array[.-1]) </lang>
Julia
In Julia, variables are declared by being defined. Because variables also must be defined before they are referred to in compiled code, the code below yields an error that the variable `prev` is not defined: <lang julia> s = [1, 2, 2, 3, 4, 4, 5]
for i in eachindex(s)
curr = s[i] i > 1 && curr == prev && println(i) prev = curr
end </lang> If the variable `prev` is defined before the `for` statement, the code then runs. We also may declare the variable `prev` as global to refer explicitly to the variable declared outside of the for block: <lang julia> s = [1, 2, 2, 3, 4, 4, 5] prev = -1
for i in eachindex(s)
global prev curr = s[i] i > 1 && curr == prev && println(i) prev = curr
end
</lang>
- Output:
3 6
Parenthetical note: making a global variable to support a for loop has a bad code smell in Julia. A better way to do such a comparison of adjacent values in an array is to alter the start of the loop variable: <lang julia> s = [1, 2, 2, 3, 4, 4, 5]
for i in eachindex(s)[begin+1:end] # or 2:length(s)
s[i] == s[i - 1] && println(i)
end </lang>
Phix
with javascript_semantics sequence s = {1,2,2,3,4,4,5} for i=1 to length(s) do integer curr = s[i], prev if i>1 and curr=prev then ?i end if prev = curr end for
- Output:
3 6
Like the first/unchanged JavaScript example, under pwa/p2js there is no output (at least as things currently stand)
Obviously you can achieve consistent results by manually hoisting the declaration of prev to before/outside the loop.
PL/M
... under CP/M (or an emulator)
Although PL/M has block scope, all variables are static, so PREV retains its value between iterations of the loop.
Note the extra DO which is necessary to introduce a new scope as declarations are not allowed in a DO loop.
<lang pli>100H:
/* CP/M BDOS SYSTEM CALL */
BDOS: PROCEDURE( FN, ARG ); DECLARE FN BYTE, ARG ADDRESS; GOTO 5;END;
/* CONSOLE OUTPUT ROUTINES */
PR$CHAR: PROCEDURE( C ); DECLARE C BYTE; CALL BDOS( 2, C ); END;
PR$STRING: PROCEDURE( S ); DECLARE S ADDRESS; CALL BDOS( 9, S ); END;
PR$NL: PROCEDURE; CALL PR$STRING( .( 0DH, 0AH, '$' ) ); END;
PR$NUMBER: PROCEDURE( N );
DECLARE N ADDRESS;
DECLARE V ADDRESS, N$STR( 6 ) BYTE INITIAL( '.....$' ), W BYTE;
N$STR( W := LAST( N$STR ) - 1 ) = '0' + ( ( V := N ) MOD 10 );
DO WHILE( ( V := V / 10 ) > 0 );
N$STR( W := W - 1 ) = '0' + ( V MOD 10 );
END;
CALL PR$STRING( .N$STR( W ) );
END PR$NUMBER;
/* TASK */
DECLARE S( 6 ) BYTE INITIAL( 1, 2, 2, 3, 4, 4, 5 );
DECLARE I BYTE;
DO I = 0 TO LAST( S );
DO;
DECLARE ( CURR, PREV ) BYTE;
CURR = S( I );
IF I > 1 AND CURR = PREV THEN DO;
CALL PR$NUMBER( I );
CALL PR$NL;
END;
PREV = CURR;
END;
END;
EOF</lang>
- Output:
2 5
Python
In Python, variables are not declared before use. If you assign to a non-existent variable, you create a new variable with that name. The language does not prohibit writing code to read a variable that may or may not exist. But if the code tries at runtime to read a variable that happens to not have been assigned to (or a variable that happens to have been `del`'ed), you get a `NameError` exception at runtime.
The following code is legal, but note that a Python code checker such as pyflakes will flag such code with an error. <lang python> s = [1, 2, 2, 3, 4, 4, 5]
for i in range(len(s)):
curr = s[i]
if i > 0 and curr == prev:
print(i)
prev = curr
</lang>
- Output:
2 5
Raku
By default, Raku variables need a prefix sigil indicating the storage / interface, and a scope declarator to indicate the variables' accessibility. The vast majority of the time, variables are declared with a "my" scope declarator that constrains them to the present block and any enclosed sub blocks. When a 'my' variable is declared inside a loop (block), a new independent instance of the variable is instantiated every time through.
<lang perl6>my @s = 1, 2, 2, 3, 4, 4, 5; loop (my $i = 0; $i < 7; $i += 1) {
my $curr = @s[$i];
my $prev;
if $i > 1 and $curr == $prev {
say $i;
}
$prev = $curr;
}</lang>
- Yields:
Use of uninitialized value of type Any in numeric context in block <unit> at var.p6 line 5 Use of uninitialized value of type Any in numeric context in block <unit> at var.p6 line 5 Use of uninitialized value of type Any in numeric context in block <unit> at var.p6 line 5 Use of uninitialized value of type Any in numeric context in block <unit> at var.p6 line 5 Use of uninitialized value of type Any in numeric context in block <unit> at var.p6 line 5
Lots of warnings but nothing else. If we suppress the warnings:
<lang perl6>my @s = 1, 2, 2, 3, 4, 4, 5; quietly loop (my $i = 0; $i < 7; $i += 1) {
my $curr = @s[$i];
my $prev;
if $i > 1 and $curr == $prev {
say $i;
}
$prev = $curr;
}</lang>
No output.
We can however, declare the variable with an "our" scope, which effectively makes it a package global. Use of 'our' scoping is discouraged except in a few very specific situations. It "works" (for some value of works), but pollutes the namespace. The 'our' variable will trample any other instance of a variable with that name anywhere in the program in any other scope.
<lang perl6>my @s = 1, 2, 2, 3, 4, 4, 5; loop (my $i = 0; $i < 7; $i += 1) {
my $curr = @s[$i];
our $prev;
if $i > 1 and $curr == $prev {
say $i;
}
$prev = $curr;
}</lang>
- Yields:
2 5
A better solution is to declare a state variable. A 'state' variable is essentially scoped similar to a 'my' variable (visible only inside the block), but is persistent across calls.
<lang perl6>my @s = 1, 2, 2, 3, 4, 4, 5; loop (my $i = 0; $i < 7; $i += 1) {
my $curr = @s[$i];
state $prev;
if $i > 1 and $curr == $prev {
say $i;
}
$prev = $curr;
}</lang>
- Yields:
2 5
If you really want to run fast and loose, and bypass all the protections Raku builds in, you can turn off strict scoping with a pragma. This is heavily discouraged. Anyone trying to release code with strictures turned off will receive some degree of side-eye... but just because something is a bad idea in general doesn't mean Raku forbids it. The Raku mindset is "Make it difficult to make casual mistakes but make it possible to bypass those protections if you have the need."
No scope declarators at all. Every variable is a global. Bad idea. Do not do this casually. <lang perl6>no strict; @s = 1, 2, 2, 3, 4, 4, 5; loop ($i = 0; $i < 7; $i += 1) {
$curr = @s[$i];
if $i > 1 and $curr == $prev {
say $i;
}
$prev = $curr;
}</lang>
- Yields:
2 5
Red
- Blocks start at index 1 in Red.
allshort-circuits, soprevwill be defined by the timecurr = previs checked.
<lang rebol>Red[] s: [1 2 2 3 4 4 5] repeat i length? s [
curr: s/:i
if all [i > 1 curr = prev][
print i
]
prev: curr
]</lang>
- Output:
3 6
Visual Basic .NET
<lang vbnet>Option Strict On Option Explicit On
Imports System.IO
Module vMain
Public Sub Main
Dim s As Integer() = New Integer(){1, 2, 2, 3, 4, 4, 5}
For i As Integer = 0 To Ubound(s)
Dim curr As Integer = s(i)
Dim prev As Integer
If i > 1 AndAlso curr = prev Then
Console.Out.WriteLine(i)
End If
prev = curr
Next i
End Sub
End Module</lang>
- Output:
2 5
Vlang
Note firstly that unassigned variables are impossible in Vlang. If a variable is created it must have an explicit value, then it is assigned the default value for its type which in the case of numbers is zero. Fortunately, this doesn't clash with values in the slice in the following program. <lang vlang>fn main() {
s := [1, 2, 2, 3, 4, 4, 5]
// There is no output as 'prev' is created anew each time
// around the loop and set implicitly to zero.
for i := 0; i < s.len; i++ {
curr := s[i]
mut prev := 0
if i > 0 && curr == prev {
println(i)
}
prev = curr
}
// Now 'prev' is created only once and reassigned
// each time around the loop producing the desired output.
mut prev := 0
for i := 0; i < s.len; i++ {
curr := s[i]
if i > 0 && curr == prev {
println(i)
}
prev = curr
}
}</lang>
- Output:
2 5
Wren
Note firstly that unassigned variables are impossible in Wren. If a variable is created without giving it an explicit value, then it is assigned the special value 'null' which is the only instance of the Null class and therefore distinct from all other values in the language. <lang ecmascript>var s = [1, 2, 2, 3, 4, 4, 5]
// There is no output as 'prev' is created anew each time // around the loop and set implicitly to null. for (i in 0...s.count) {
var curr = s[i] var prev if (i > 0 && curr == prev) System.print(i) prev = curr
}
// Now 'prev' is created only once and reassigned // each time around the loop producing the desired output. var prev for (i in 0...s.count) {
var curr = s[i] if (i > 0 && curr == prev) System.print(i) prev = curr
}</lang>
- Output:
2 5