Message11593

Author	zyasoft
Recipients	bmvanwyk, tomluk, zyasoft
Date	2017-09-12.23:42:52
SpamBayes Score	-1.0
Marked as misclassified	Yes
Message-id	<1505259772.81.0.258566224309.issue2445@psf.upfronthosting.co.za>
In-reply-to

Content
In particular, this type unification seems to work as expected with the preceding diff. No additional computational complexity is seen here in the pairwise conflict detection (O(n^2)), although perhaps we could reduce to O(n) via union-find for type unification. But in practice we have not seen this blow up, and I will hand wave to state that the sets of types in conflict that are seen in practice, even with Eclispe or Clojure, are small, maybe on the order of 2 or 3 elements.

In particular, this type unification seems to work as expected with the preceding diff. No additional computational complexity is seen here in the pairwise conflict detection (O(n^2)), although perhaps we could reduce to O(n) via union-find for type unification. But in practice we have not seen this blow up, and I will hand wave to state that the sets of types in conflict that are seen in practice, even with Eclispe or Clojure, are small, maybe on the order of 2 or 3 elements.

History
Date	User	Action	Args
2017-09-12 23:42:52	zyasoft	set	messageid: <1505259772.81.0.258566224309.issue2445@psf.upfronthosting.co.za>
2017-09-12 23:42:52	zyasoft	set	recipients: + zyasoft, tomluk, bmvanwyk
2017-09-12 23:42:52	zyasoft	link	issue2445 messages
2017-09-12 23:42:52	zyasoft	create