pullback

Из всех пределов для нас важнейшим является пулбак:

  def pullback[X, Y, Z](xs: Set[X], ys: Set[Y], fx: X => Z, fy: Y => Z): Set[(X, Y)] =
    product(xs, ys) filter(p => fx(p._1) == fy(p._2))

В переводе на sql,

select (xs.* as x, ys.* as y) from xs,ys where fx(x) = fy(y)

вопрос про сколково и гипотетических возвращенцев

А что, буде какой безумец решит вернуться и поедет работать в Сколково - его детей в армию не поволокут разве, как 18 лет исполнится?

микродыбр

Меньше всего времени и усилий у меня занимает заполнение каки-то там джир (jira), написание описаний на вики и т.п. Это, конечно, несомненный опыт жужжания на жуже. Раньше было хуже.

А вот сообразить, что для построения пределов внутренних функторов нужно всего лишь отфильтровать продукты проекций пулбаков (т.е. не нужен алгоритм, достаточно описания) - на это чуть не два года ушло. А ведь во второй главе Джонстона всё это написано. Просто сообразить, что топосные тексты можно почти буквально переводить на скалу...

price per L.O.C.

Back in Russia my estimate was 1rb per loc (c/c++)

With Scala it seems like it's around $100/loc.

Салман Рушди

Пытался читать его книжку, Fury - такое впечатление, что это обычный китч, в стиле Мураками. Ну хер ли, что на него фатва - вон и на изображение хуя православный суд фатву наложил (хм, два раза в одном предложении).

Скажите, это я не ошибаюсь насчёт Рушди?

Сам-то он трепло без ветрил; несёт всякую ахинею перед аудиторией, человек большой эрудиции но небольшого ума (имхо, конечно). Вроде Фоменко, Олжаса Сулейменова, или вот этого юмориста, про то какие америкосы идиоты, забыл как звать, но не Петросян. Петросян умнее.