Hi guys,
first off all thank you for your great responses. I see that i made
the imaginative leap of compile time type checking implying runtime
type knowledge, thank you all for clearing that up.
IoXML and Dumper look very interesting, but since there is no runtime
type info, it might be easier to force myself to write cleaner code
and use inheritance to specialize a to_string function.
MetaOcaml certainly looks appetizing, however, i'm now curios about
the extra cost a runtime type check actually incurs. Surely all
operation involving the runtime type check would never require more
than 3 instructions; two fetch instructions and a comparison?
again thank you for all the great responses
-
deeq
.