shithub: MicroHs

Download patch

ref: acc624d07cbe1b161ac10ec69c581bb68b6c931f
parent: 5cff6da412fb472891285c59b2d5942b3b8b6221
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Wed Sep 27 13:53:28 EDT 2023

More to do

--- a/TODO
+++ b/TODO
@@ -11,3 +11,13 @@
 * make the runtime system catch ^C and stop execution
 * use pointer stack during GC instead of recursion.
 * add pretty printing library
+* whith dictionaries we need two optimizations to get rid of them
+  -   case d of (d1,d2) -> ... (d1,d2) ...
+    transforms to
+      case d of (d1,d2) -> ... d ...
+    this takes care of dictionary reconstruction
+  -   f x y = ... f x e ...
+    transforms to
+      f x = let f' y = ... f' e ...
+    this will specialize recursive functions
+    (and make more efficient 'map' etc)
--