Changes between Version 9 and Version 10 of DataParallel/ClosureConversion


Ignore:
Timestamp:
Apr 20, 2007 12:32:10 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/ClosureConversion

    v9 v10  
    77 
    88One option for implementing closure-conversion is to represent closure-converted types as an indexed type whose type index is the original type and to combine that indexed type in a type class with methods for converting between closure-converted and vanilla terms.  The details are under [wiki:DataParallel/ClosureConversion/Indexed indexed closure conversion].  There are two potential benefits for this approach: (1) we will probably have to do something similar for vectorisation anyway - see the [wiki:DataParallel/VectorisationSpec requirements of vectorisation] - and (2) it seems that we need less bookkeeping (e.g., the name of a closure converted data type is just the indexed type with the original data type as its index).  However, there are problems, too; in particular, as we currently don't have class contexts and polytypes as type indexes. 
     9 
     10=== Closure conversion without classes === 
     11 
     12Here is an [wiki:DataParallel/ClosureConversion/ClassLess alternative scheme] that does no rely on conversion classes. 
    913 
    1014=== Requirements of closure conversion ===