为避免变量被修改，可以使用let-in-end结构来声明新函数，这将使新函数的作用域仅限于let-in-end结构中，不会影响到其他变量。

例如，以下代码片段展示了如何使用let-in-end结构来避免变量被改变：

val x = 1;
val y = 2;

(* using let-in-end to declare a new function *)
val z = let
  val x = x + y
in
  fn i => i + x
end;

(* calling the new function *)
z 10; (* returns 13 *)

(* the value of x remains unchanged *)
x; (* returns 1 *)

在上面的代码片段中，我们使用let-in-end结构来声明了一个新函数z。该函数将x和y相加，并将其与输入参数相加后返回。虽然在新函数中我们使用了名称为x的变量，但它是在let-in-end结构中声明为本地变量的，因此不会影响到全局变量x的值。

当我们调用z函数并将10作为输入参数传递时，该函数返回值为13。然而，由于全局变量x并未被修改，因此在我们查看x的值时，其值仍是1。