juan_gandhi: (VP)
Juan-Carlos Gandhi ([personal profile] juan_gandhi) wrote2015-03-02 05:10 pm

срезал как у бунина

PavelVelikhov 2 марта 2015 в 07:55
И еще в догонку — дайте пожалуйста формальное определение монады в формализме ZFC а не в теории категорий.

vpatryshev 2 марта 2015 в 09:29

Ну все, Глеб срезал.

ZFC ваше тут ни пришей не пристегни, товарищ оппонент. Монады от теории множеств не зависят.

Впрочем, спасибо, открыли мне немножко глаза на образ мышления людей, «обучившихся компьютерным наукам». Я со своими студентами тоже все удивляюсь. Линейная алгебра от зубов отскакивает, а что такое композиция двух функций, первый раз слышат.
ответить

PavelVelikhov 2 марта 2015 в 09:46
О да, срезал, как у Бунина… ZFC со всеми объектами нормально работает, видимо вы не в курсе.

http://habrahabr.ru/post/251747/

[identity profile] juan-gandhi.livejournal.com 2015-03-04 05:41 pm (UTC)(link)
Речи прямо как у кота, которому хорошо быть кисою, хорошо и собакою.

[identity profile] belezbar.livejournal.com 2015-03-04 06:17 pm (UTC)(link)
Скорее, как у лисы под виноградом. Даже малой части из этого мне не одолеть, а "... и в продакшен" надо уже сегодня. Да я к тому, что сильно переживать по поводу незнания чего-то (или всего) из теормина не стоит. Но изучать по мере надобности.

[identity profile] juan-gandhi.livejournal.com 2015-03-04 06:48 pm (UTC)(link)
Да у всех эта дилемма.