「OCaml筆記」修訂間的差異
跳至導覽
跳至搜尋
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 6： | 行 6： | ||
在命令行輸入 ocaml ，輸入 | 在命令行輸入 ocaml ，輸入 | ||
<code># use "another_mode.ml"</code> | <code># use "another_mode.ml"</code>（注意引號也要輸入） | ||
=== 編譯時 === | === 編譯時 === | ||
| 行 26： | 行 26： | ||
ocamlopt -c b.ml | ocamlopt -c b.ml | ||
ocamlopt -o a a.cmx b.cmx</pre> | ocamlopt -o a a.cmx b.cmx</pre> | ||
==可變的模擬== | |||
原則上，OCaml的物件是不可變的，但是可以用參照（reference、引用）模擬。 | |||
如下範例： | |||
<pre> | |||
# let x = ref [1;2];; (* 設定 x 是一個引用，指向 [1; 2]這個列表(list)。 *) | |||
val x : int list ref = {contents = [1; 2]} | |||
# !x (* 取得 x 引用的值（列表） *) | |||
- : int list = [1; 2] | |||
# x := 3::!x;; (* 將 x 指涉的列表前面加上元素 3，然後指定 := 到 x 這個 ref，更新參照指向 *) | |||
- : unit = () | |||
# !x;; (* 取得 x 的內容，可以發現已經更新。 *) | |||
- : int list = [3; 1; 2] | |||
</pre> | |||
==參考== | ==參考== | ||
於 2022年4月3日 (日) 15:56 的修訂
在 repl 模式匯入其他程式碼
命令行
在命令行輸入 ocaml ，輸入
# use "another_mode.ml"（注意引號也要輸入）
編譯時
另外如果要引用其他的程式碼，把所有程式碼放在目錄中，成爲：
Folder ├── a.ml └── b.ml
在 a.ml 內引用 b.ml 的內容：
_ = B.foo x
編譯時：
ocamlopt -c a.ml ocamlopt -c b.ml ocamlopt -o a a.cmx b.cmx
可變的模擬
原則上，OCaml的物件是不可變的，但是可以用參照（reference、引用）模擬。
如下範例：
# let x = ref [1;2];; (* 設定 x 是一個引用，指向 [1; 2]這個列表(list)。 *)
val x : int list ref = {contents = [1; 2]}
# !x (* 取得 x 引用的值（列表） *)
- : int list = [1; 2]
# x := 3::!x;; (* 將 x 指涉的列表前面加上元素 3，然後指定 := 到 x 這個 ref，更新參照指向 *)
- : unit = ()
# !x;; (* 取得 x 的內容，可以發現已經更新。 *)
- : int list = [3; 1; 2]