Voici un programme dans un langage que vous ne connaissez pas

int f(int t[], int n) {
    int s = 0;
    for (int i = 0; i < n; i++) {
        s = s + t[i] * t[i];
    }
    return s;
}

Les quatre questions. Blocs : accolades. Affectation : =. Types écrits : oui, int partout — le tableau, sa taille, l'accumulateur, le résultat. Déclaration : le type précède le nom (int s = 0).

Ce que le programme calcule. s part de $0$ ; à chaque tour on lui ajoute t[i] * t[i]. C'est la somme des carrés des $n$ premiers éléments. La boucle for (int i = 0; i < n; i++) se lit « $i$ part de $0$, tant que $i<n$, et $i$ augmente de $1$ » : c'est exactement for i in range(n).

La traduction.

def somme_carres(t):
    """Somme des carres des elements de t.

    Postcondition : le resultat est >= 0 (somme de carres).
    """
    s = 0
    for x in t:
        s = s + x * x
    return s

On a traduit la boucle par indice en boucle par élément : la position ne sert à rien ici, et la méthode du cours conseille alors le parcours par élément. L'argument n disparaît, puisque le tableau Python connaît sa longueur.

La vérification.

assert somme_carres([1, 2, 3]) == 14
assert somme_carres([]) == 0
assert somme_carres([-2, 5]) == 29
for _ in range(500):
    t = [random.randint(-9, 9) for _ in range(random.randint(0, 8))]
    assert somme_carres(t) == sum(x * x for x in t)

Les trois cas nommés et les $500$ tableaux aléatoires passent. Le cas [-2, 5] n'est pas décoratif : il vérifie que ce sont bien les carrés qui sont sommés ($4+25=29$) et non les valeurs absolues.