Хиля жалко

Хороший был человек.

разглядывая чужой код...

где, в силу того, что в скале и в джаве есть типы, понатыкано кастинга, по принципу "я лучше знаю, что в этом списке за данные", понял кое-что.

В бестиповых языках программист как бы гордится собственным знанием скрытой сути вещей, и правильность кода в-основном базируется на его, программиста, честном слове и репутации.

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

Это примерно как древние греки против древних египтян. У древних греков вот те теорема, абсолютная истина, можно сказать, ни от каких жрецов и начальников не зависит. А у древних египтян формула площади четырёхугольника зависела от того, сколько землемеру дашь. Могли и две диагонали перемножить и сказать так и было.

А.С.П. к М.Б.Х.

Во глубине сибирских руд
Несли вы гордое терпенье,
Пропал вотще ваш скорбный труд
И дум высокое стремленье.

Несчастью верная сестра,
Надежда в мрачном подземелье
Будила странное веселье;
Пришла отчаянья пора.

Любовь и дружество до вас
Нейдут сквозь мрачные затворы,
И в ваши каторжные норы
Доходит лишь унынья глас.

Оковы, может быть, падут,
Темницы рухнут — но свободу
Долготерпивому народу
Начальники не отдадут.

а вот ещё здрасьте

У нас тут на Сьерре снег выпал.

И рубают финики лопари.

А ещё по ящику показывают "moms", рассуждающих, с какого возраста детей можно пускать в социальные сети.

Помню лет семь назад обсуждался вопрос, сколько можно в неделю разрешать детям на компьютере, и допустим ли интернет. Сейчас у этих дур дети уже выросли; сейчас принимают решения дуры, которые интернет уже видели, а фейсбука ещё побаиваются.

И вот всё время так, каждое поколение, в прошлом и в этом веке; и дальше хуже в этом смысле.

А они того не понимают, что если их дети отключены от современного дискурса, то и в будущем их скорее ожидают задние сиденья; если у вас есть лимонов 20, то это тоже неплохо, а если нет, так плохую службу сослужат детям такие родители.

В моём детстве были такие родители, что очень настаивали, чтобы у детей был хороший почерк. Пригодится мол.

Как бывший ребёнок и, можно сказать, бывший родитель, дам непрошеный совет.

Отстаньте от детей. Если дети умные, они лучше знают. А если глупые, то займитесь лучше их умственным развитием, может, ещё не поздно.

the right const function in Scala

Runar says

def const = new (Id ~> K) {
  def apply[A](a: => A) = new K[A] {
    def apply[B](b: => B) = a
  }
}

And if you find it stupid or funny, you probably JUST DON'T GET IT.

This is the deep essence of things.