[wdiamond]

you can typify untyped code, but you can't untypify typed code. because typify is to make constraints and untypify is real life, I mean, a window is a house device and a computer device, the meaning window relies on other information of context besides type. that other information is unkown so if you close de door to unkown you will never know if that exception could be handled by machine at first runtime. it's more related to the tradeoff between scale and flexibility. i'm not concerned with scale, it's tedious and prone to automation. the question is do you believe in money or in future code? I mean a code that is so untyped that behaves like human.