Author zyasoft
Recipients bmvanwyk, tomluk, zyasoft
Date 2017-09-12.23:42:52
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <>
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.
Date User Action Args
2017-09-12 23:42:52zyasoftsetmessageid: <>
2017-09-12 23:42:52zyasoftsetrecipients: + zyasoft, tomluk, bmvanwyk
2017-09-12 23:42:52zyasoftlinkissue2445 messages
2017-09-12 23:42:52zyasoftcreate