team-karma team mailing list archive

[arvind iyer <iyer.arvind.sundaram@xxxxxxxxx>]

It is fine! also you should mention that the block's description will be
based on a `concept' type check, for example, for a addition block one would
just require
compound type in1 + in2 to be available. This inturn will mean (if no
explicit rule exists) that the contents of the compoung types must have the
+ defined elementwise or if in1 or in2 has only one element then addition of
it with all elements of the other should be defined, this will recursively
lead to many rules that must exist, and ultimately if a rule exists then the
inputs are accepted.

A block may pose several such rules that it needs and a logic amongst them
is also needed
like he might say something like:::

exist(in1+in2) | (len(in1)==1&& in1[0]==vec && vecType(in1[0] )==in2[0] )
....or something similar.

There must be a way to define comlicated combination of rules.



-- 
================================
Work while you are alive, you can rest later