回答編集履歴
1
説明を少し追加しました
test
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
`#trace`ディレクティブを使うと指定した関数に対する入力（引数）と戻り値を表示できます。
|
|
1
|
+
`#trace`ディレクティブを使うと指定した関数に対する入力（引数）と出力（戻り値）を表示できます。
|
|
2
2
|
|
|
3
3
|
|
|
4
4
|
|
|
@@ -66,6 +66,10 @@
|
|
|
66
66
|
|
|
67
67
|
|
|
68
68
|
|
|
69
|
+
`fib <-- 3`が入力で、`fib --> 1`が出力です。
|
|
70
|
+
|
|
71
|
+
|
|
72
|
+
|
|
69
73
|
この`#trace`はリストを反転させるような関数でももちろん使えますが、そのままだと多分うまくいきません。チュートリアルにも書かれているように、多相な関数（Polymorphic function）に対してトレースを使った場合、多相な値が`<poly>`のように表示されてしまい、実際の値を見ることができません。
|
|
70
74
|
|
|
71
75
|
|
|
@@ -96,7 +100,7 @@
|
|
|
96
100
|
|
|
97
101
|
|
|
98
102
|
|
|
99
|
-
注：この定義は書籍『[プログラミング in Ocaml](https://gihyo.jp/book/2007/978-4-7741-3264-8)』（五十嵐淳、技術評論社）から拝借しました。
|
|
103
|
+
注：この定義は書籍『[プログラミング in Ocaml](https://gihyo.jp/book/2007/978-4-7741-3264-8)』（五十嵐淳 著、技術評論社）から拝借しました。
|
|
100
104
|
|
|
101
105
|
|
|
102
106
|
|