For instance, consider the function double defined by double x = x+x The expression “double 1” is replaced by 1+1.
De exemplu, luați în considerare funcția dublă definită de double x = x+x Expresia “double 1” se înlocuiește cu 1+1.