Changes between Version 15 and Version 16 of DataParallel/Vectorisation

Timestamp:

01/27/09 03:44:57 (4 years ago)

Author:

chak

Comment:

--

DataParallel/Vectorisation

@@ -4 +4 @@
 
 This page describes our approach to implementing vectorisation by extending our earlier implementation of closure conversion.  A central aspect is the ability to mix modules compiled with vectorisation with modules compiled without vectorisation.
+
+  '''The following description is incomplete.  For a detailed account of vectorisation, see [http://www.cse.unsw.edu.au/~chak/papers/PLKC08.html].'''
 
 
@@ -106 +108 @@
  * Transformation schemata
  * Examples
-
-
-----
-
-=== Old Material ===
-
-==== Vectorised functions ====
-
-Vectorised functions use an explicit closure representation:
-{{{
-data a :-> b 
-  = forall e. 
-      Cls { clsFun  :: !(e -> a -> b)
-          , clsAFun :: !(PArr e -> PArr a -> PArr b)
-          , clsEnv  :: e
-          }
-}}}
-with basic closure construction and application as
-{{{
-lam :: (a -> b) -> (a :-> b)
-lam f = Cls (const f) (const (mapP f)) ()
-
-($:) :: (a :-> b) -> a -> b
-(Cls f _ e) $: x = f e x
-}}}