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

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

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

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

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

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

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

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

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

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

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

May 2025

S M T W T F S
    1 2 3
456 7 8 9 10
11 121314151617
181920 21 222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated May. 25th, 2025 05:41 am
Powered by Dreamwidth Studios