[MLton-commit] r6297

Vesa Karvonen vesak at mlton.org
Wed Jan 2 23:51:50 PST 2008


Note about recursive functions.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/generic/unstable/example/memoize.sml

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/generic/unstable/example/memoize.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/example/memoize.sml	2008-01-02 18:09:32 UTC (rev 6296)
+++ mltonlib/trunk/com/ssh/generic/unstable/example/memoize.sml	2008-01-03 07:51:49 UTC (rev 6297)
@@ -21,6 +21,17 @@
  * The {test} function is similar.  It fails with a pretty printed
  * function call with the actual and expected results in case the actual
  * and expected results disagree.
+ *
+ * Note that the example code here is not powerful enough to memoize
+ * recursive functions.  See
+ *
+ *   That About Wraps it Up: Using FIX to Handle Errors Without
+ *     Exceptions, and Other Programming Tricks
+ *   Bruce J. McAdam
+ *   [http://citeseer.ist.psu.edu/51062.html]
+ *   [http://www.lfcs.inf.ed.ac.uk/reports/97/ECS-LFCS-97-375/]
+ *
+ * for a more general approach.
  *)
 
 open Generic




More information about the MLton-commit mailing list