> Yes your job is to get things done not to care about ontological purity. It is part of the job since it changes how (well) things get done. > no language on

> Yes your job is to get things done not to care about ontological purity. It is part of the job since it changes how (well) things get done. > no language on this planet has objects whose type changes as it's data changes. Yes there are. You might want to look into dependently typed languages.