team-karma team mailing list archive

["Prasad H. L." <hlprasu@xxxxxxxxx>]

Discussion participants - HLP and IAS
Venue - Ist floor, JATP
Time - 4.30PM -- 7.30PM on 2009/09/08
Topic - Karma Backend structure

Outcome -
1. We need a pure XML based representation of
    * compound data types
    * system units
    * packages (of system units)
2. In addition, we need a way to code
    * system unit behaviour which includes
       -- state function
       -- output function(s)
    * operator behaviour for compound data types.
    We plan to have a meta-language called
    "K-language" (Karma language) for this purpose.
3. For type compatibility representation between various
    * basic data types i.e.
       -- atomic types (int, float, char, etc.)
       -- list
       -- vector types ({Run,Compile}Time{Fixed,Variable}SizeData)
       -- matrix type (natrix)
    * and compound data types,
    we plan to have another meta-language called
    "T-language" (Type (compatibility) language). This is basically
    rule base with rules like
   E.g.: - vector<T1> + T2 -> vector<T1+T2> where
     rhs has T1+T2 which uses another rule for T1 and T2


IAS: Please add your comments on these...

Regards,
Prasad