Changes between Version 56 and Version 57 of DataParallel/ClosureConversion/ClassLess

Timestamp:

05/01/07 01:41:32 (6 years ago)

Author:

chak

Comment:

--

DataParallel/ClosureConversion/ClassLess

@@ -26 +26 @@
 data a :-> b = forall e. !(e -> a -> b) :$ e
 }}}
-and define closure application as
-{{{
+and define closure creation and application as
+{{{
+lam :: (a -> b) -> (a :-> b)
+lam f = const f :$ ()
+
 ($:) :: (a :-> b) -> a -> b
 (f :$ e) $: x = f e x
@@ -277 +280 @@
 ==== Examples ====
 
+Given 
+{{{
+add :: Num a -> a -> a
+add = \dNum x -> (+) dNum x 1
+}}}
+we generate
+{{{
+add :: Num a -> a -> a
+add = fr isoFun add_CC
+  where
+    isoFun = isoNum (id :<->: id) `isoArr`
+             (id :<->: id)        `isoArr`
+             (id :<->: id)
+
+add_CC :: Num_CC a :-> a :-> a
+add_CC = lam $ \dNum -> 
+           (\dNum x -> (+_CC) dNum $: x $: 1) :$ dNum
+}}}
+Note how we have to be careful not to use `($:)` for field selection from the dictionary.
+
+=== Converting terms ===
 
 ----
 chak: revision front
 ----
-
-=== Converting core terms ===
 
 Apart from the standard rules, we need to handle the following special cases: