Pelle Månsson <pelle.mans...@gmail.com> wrote:
Interesting solution! Very clever!
Thank you.
I still think opIn_r should be defined for arrays, though. :)
Yeah, but currently, 'a in b' means '(∃b[a])', that is, 'is a a valid index in b'. This means having 'a in b' mean '(∃i)( b[i] = a )', that is, 'is there such an i that b[i] == a' would introduce inconsistencies. While I do agree it would, I do see reasons for including such a thing to the language, especially seeing how often just that question arises, and how rarely the first meaning is actually useful. -- Simen
