к вопросу о русской операционной системе

(10x maratguelman, bolotova_polina)

(Обратите внимание на еврейские черты проклятого буржуазного капиталиста. Товарищ panchul, не боитесть что вас в Сколково заманят, как Машу Наташу Чапман, и будут там пытать за то, что компьютеры внедряете на Святую Русь?

политики

Два выдающихся политика поражают меня полным отсутствием политических взглядов: Абрам Обама и Сара.

Проблема, возможно, во мне, т.к. это два политика нового типа, после-холодно-военные; им наши страдания пофиг дым.

"Obama is not very sentimental about international politics" (it's a quote from a British source)

тяпница

До электрички 20 минут. Только что закоммитил 1384 файла. Типа Большой Рефакторинг, "менять надо всю систему".

Когда ещё - сейчас, по крайней мере, все пьют пиво и играют в мячик, только я и коллега Чан (которая пиво не пьёт, а только водку) сидим топчем клавиши.

Щас билд рухнет, буду чинить... А не рухнет - буду плясать на столе...

Так. Рухнул. Пофиксил. Закоммитил. До электрички 13 минут. Открыл вторую бутылку пива.


Всё! Работает! Бегу на поезд.

Product of a set morphism

class SetMorphism[X, Y] (val tag: String, val d0: Set[X], val d1: Set[Y], f : X => Y)
          extends Morphism[Set[X], Set[Y]] with Map[X, Y] {
...
  def product = exponent(codomain, domain) filter(m => d0.forall(x => f(m(x)) == x))

where

  def exponent[X, Y] (xs : Set[X], ys: Set[Y]): Set[Map[X, Y]] = setOf(
      exponentElements(ys, xs),
      pow(ys size, xs size),
      (m: Map[X, Y])=> xs == m.keySet
      )

given a a set function f: xs -> ys, product builds a П{x|f(x)==y}y, a product of reverse images of elements of ys.

To do this, I use exponent, ysxs, which consists of all maps from xs to ys.