User loginNavigation 
Multimap unificationI strongly believe that prologlike unification (programming with holes) should be incorporated in every new programming language. One of my arguments is that unification is more general than pattern matching, and that unification is just as natural as pattern matching. In contrast, I find the unification of two sets hardly intuitive. Set unification is not only nonintuitive but also NP complete. Still, I believe that set unification, as a first class operation, is an interesting programming construct. Actually, I'm more interested in the unification of multimaps because they extend sets. My intuition also tells me that multimap unification can be made more efficient in most usecases. I'm not sure however. Are there any unification 'theorems' that I should consider that counter my intuition? By Robbert van Dalen at 20121219 22:00  LtU Forum  previous forum topic  next forum topic  other blogs  3053 reads

Browse archivesActive forum topicsNew forum topics 
Recent comments
1 hour 15 min ago
10 hours 48 min ago
12 hours 57 min ago
13 hours 7 min ago
14 hours 6 min ago
15 hours 49 min ago
20 hours 37 min ago
1 day 17 hours ago
1 day 22 hours ago
2 days 4 hours ago