On Mon, Jan 9, 2012 at 2:08 PM, Sean Corfield <seancorfi...@gmail.com> wrote: > On Mon, Jan 9, 2012 at 11:00 AM, Cedric Greevey <cgree...@gmail.com> wrote: >> On Mon, Jan 9, 2012 at 1:45 PM, Michael Fogus <mefo...@gmail.com> wrote: >>> Google also helps too. :-) >> Not really, not with a single fairly generic word like "unification". > > #1 result: wikipedia, which has a disambiguation page with the second entry: > > "Unification (computer science), the act of identifying two terms with > a suitable substitution" > > That page in turn says: > > "Unification, in computer science and logic, is an algorithmic process > by which one attempts to solve the satisfiability problem. The goal of > unification is to find a substitution which demonstrates that two > seemingly different terms are in fact either identical or just equal...
In other words, a particular one out of ten links, followed by some other link, followed by a particular one out of some *more* links, leads to something abstruse and theoretical that *still* has no immediately obvious implications for any real-world programming project other than, possibly, a compiler's optimizer or type inference system. And meanwhile there's nothing in what you wrote to eliminate the possibility that other chains of links from the Google search wouldn't lead to other plausibly-relevant subject matters. Such as the standard-setting efforts and suchlike. :) -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en
