something funny (it's a part of my code actually)

[juan_gandhi]

...
public final static BigSet<Set> ALL_SETS = new BigSet<Set>() {
  
  public boolean contains(Object o) {
    return o instanceof Set;
  }
};

Comments

[ivan-gandhi.livejournal.com]

Серьёзно? А если каждый день добавлять по объекту, снимающему бит с квантового датчика, и равенство определять по истории? Я как-то не ощущаю вычислимости, и дело не в ограниченности сверху. Имхо. Могу и ошибаться, конечно.

С другой стороны, в данном конкретном случае совершенно пофиг; я, пожалуй, лучше определю SETF:

public boolean contains(Object o) {
return o instanceof Set && ((Set)o).size() < Integer.MAX_VALUE;
}

[ivan-gandhi.livejournal.com]

Впрочем, это фигня. По Лёвенгейму-Скулему есть счётная модель; вот от этого и пляшем.