Esimerkki Algol 60 -kielellä:
begin
integer i;
real procedure sum (i, lo, hi, term);
value lo, hi;
integer i, lo, hi;
real term;
comment term is passed by-name, and so is i;
begin
real temp;
temp := 0;
for i := lo step 1 until hi do
temp := temp + term;
sum := temp
end;
comment note the correspondence between the mathematical notation and the call to sum;
print (sum (i, 1, 100, 1/i))
end
Tässä esimerkissä Jensen's Deviceä käytetään harmonisen sarjan
(osa-)summan laskentaan:
Laskenta perustuu oleellisesti siihen, että sum-aliohjelman for-toistoa suoritettaessa todellisina parametreina annetut i ja 1/i lasketaan aina pääohjelman viitausympäristössä. Näin myös sijoitus "i=..." todellakin muuttaa pääohjelman muuttujan i arvoa., minkä seurauksena myös term-parametrin tarkoittama todellinen parametri 1/i muuttuu.
Samalla aliohjelmalla voitaisiin laskea samaan tapaan vaikkapa sarjan 1+2+3+...+100 summa: print(sum(i, 1, 100, i)). Tai geometrinen 1+1/2+1/4+...+1/100: print(sum(i, 1, 100, 1/(i*i))).
Jensen's Devicen toteuttamisessa Scalalla vaikuttaa olevan yksi ongelma: Nimiparametrivälitys kyllä onnistuu - arvo lasketaan kutsuneen ohjelman viittausympäristössä - mutta Algol 60:n tapainen nimiparametrina annettavan muuttujan arvon muuttaminen ei (näyttäisi!) onnistuvan. Yritys:
def sum(i: =>Int, lo:Int, hi:Int, term: =>Double) = {
// term is passed by-name, and so is i
var temp = 0.0
for (i <- lo to hi) // FOR MÄÄRITTELEE UUDEN i:N, EI TOIMI!
temp = temp + term // ja parametri-i:tä ei saa muuttaa...
temp
};
var i: Int = 1 // jokin alkuarvo on pakko antaa; 0 johtaa 0:lla jakoon
println(sum (i, 1, 100, 1/i))
Tämä ei toimi, koska kutsuneen ohjelman i ei muutu.
Ja itse asiassa aliohjelman muodollista parametria i
ei voi lainkaan käyttää muuttujana, sijoitukset siihen ovat kiellettyjä:
yrityksestä saadaan seuraus: "assignment to non-variable".
Toki vastaava laskenta voidaan ohjelmoida kielellä kuin kielellä. Scalalla vaikkapa (Petri Kutvonen):
def sum(lo:Int, hi:Int, term: Int => double) = {
var temp = 0.0
for (i <- lo to hi)
temp = temp + term(i)
temp
}
println(sum(1, 100, {i => 1.0/i}))
Tai enemmän alkuperäistä "deviisiä" muistuttavasti (Petri Kutvonen):
def sum(i: Int => Unit, lo: Int, hi: Int, term: => Double) = {
var temp = 0.0
for (j <- lo to hi) {
i(j)
temp = temp + term
}
temp
}
var i = 0;
println(sum((j) => {i = j}, 1, 100, 1.0/i))
Edellinen taitaa kyllä olla tyylikkäämpi...
begin
real procedure A (k, x1, x2, x3, x4, x5);
value k; integer k;
begin
real procedure B;
begin k:= k - 1;
B:= A := A (k, B, x1, x2, x3, x4);
end;
if k <= 0 then A:= x4 + x5 else B;
end;
outreal (A (10, 1, -1, -1, 1, 0));
end;
Scala-versio on hyvin selkeä - jos tämän algoritmin yhteydessä
nyt selkeydestä voi puhua
(vrt.
Wikipedia-artikkelin
esimerkkeihin)
(Petri Kutvonen):
def A(in_k: Int, x1: =>Int, x2: =>Int, x3: =>Int, x4: =>Int, x5: =>Int): Int = {
var k = in_k
def B: Int = {
k = k-1
A(k, B, x1, x2, x3, x4)
}
if (k<=0) x4+x5 else B
}
println(A(10, 1, -1, -1, 1, 0))