http://huzhepidarasa.livejournal.com/ ([identity profile] huzhepidarasa.livejournal.com) wrote in [personal profile] juan_gandhi 2010-05-16 07:39 am (UTC)

Ага, в Скале же есть и lower bound, и upper bound. Можно сделать ковариантную проверку принадлежности:
   {
      () :;
       (f :) :;
       (z:, f : (, )  ) :;
      (f :) :;
       (y :) : = ! (filter (b  y == b)).empty();
}
Это оно или не оно? (Я пока со Скалой только играюсь, тонкостей не понимаю).

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting