On Sun, Jul 13, 2014 at 12:22 PM, David Jeske <[email protected]> wrote: > > Yes, static typing systems encourage overconstrained programs! However, > dynamic and inference systems encourage under-named typing ontologies! There > is real value in Aristotelian Ontology. >
I see no reason why an inference system cannot emit an inferred ontology for reference or future constraint? _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
