Gensym
於 2023年7月13日 (四) 18:50 由 Tankianting（討論 | 貢獻） 所做的修訂 （建立內容為「{{Nav|}} Gensym 意思是 Generate Symbol，是用來產出編譯器的不和其他變數強碰的獨一無二的變數。 以下採用 OCaml 撰寫。 <pre> le…」的新頁面）
Gensym 意思是 Generate Symbol，是用來產出編譯器的不和其他變數強碰的獨一無二的變數。
以下採用 OCaml 撰寫。
let makeGenSym () =
let i = ref 0 in
(* fun (args...) -> body 係指 lambda 函數*)
(fun (sym_name) ->
let res = sym_name ^ (string_of_int !i) in
let _ = (i := !i + 1) in
res)
(* 使用案例 *)
let genSym = (makeGenSym ());;
let a = genSym "str";;
let b = genSym "str";;
型別與值如下：
val makeGenSym : unit -> string -> string = <fun> val genSym : string -> string = <fun> val a : string = "str0" val b : string = "str1"