[<<][meta][>>][..]

Keeping types

Currently the accumulation of the dataflow graph happens for a data
type representing untyped terms.  I don't see a way to retain typing
information.

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.)



[Reply][About]
[<<][meta][>>][..]