Sat Jul 23 11:15:52 CEST 2011
Currently the accumulation of the dataflow graph happens for a data
type representing untyped terms. I don't see a way to retain typing
Does this matter?
Is it possible to keep typing information for a different class,
i.e. define a dummy returnN for Num classes, such that a stricter
discipline is followed in the non-shared case, but flattening happens
for the shared case?
Is it possible to record types dynamically?
Is it necessary? (Maybe typed primitives is enough.)