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] belezbar.livejournal.com 2015-03-03 07:02 pm (UTC)(link)
Почему-то автор поспешил записать вас в "агрессивные хаскелисты". На хабре вообще ФП не особо жалуют, по моим наблюдениям, однобоко как-то всё. Ну флаг им в руки. А что до статьи, так вот здесь http://sharpc.livejournal.com/67583.html, наверное, полнее. Даже автомат Калашникова есть.

[identity profile] yussouf.livejournal.com 2015-03-03 08:34 pm (UTC)(link)
это что - троллинг такой, по ссылке у вас?

не могу поверить, что ЭТО можно серьезно нести

[identity profile] belezbar.livejournal.com 2015-03-03 09:10 pm (UTC)(link)
Можно уточнить, что "ЭТО"? Вы про содержимое статей? По мне, так обе они вполне себе бесполезны, для меня, по крайней мере. На практике мне, максимум, с чем приходится иметь дело - реляционная алгебра в случае каких-нибудь хитрых SQL запросов. Остальное всё давно в библиотеках/фреймворках, гитхаб вон по швам трещит. Так что, соглашусь, что серьёзно нести это не стоит.

[identity profile] yussouf.livejournal.com 2015-03-03 10:02 pm (UTC)(link)
да все

но начать (и закончить, тут же) можно с предложения, на голубом глазу, начать теорминимум со штудий стандарта цпп

за такое нужно бить олигофрена молотком по голове, многократно, а после - гнать ссаными тряпками в дворники, без права помилования

[identity profile] udpn.livejournal.com 2015-03-04 11:19 am (UTC)(link)
А чем теоретический минимум плох?

[identity profile] yussouf.livejournal.com 2015-03-04 05:49 pm (UTC)(link)
первій текст, что ли?

ну, пожалуй фрагментарностью и упертой волюнтаристичностью а-ля стив, прости господи, жобс

то вам не треба, а это мы ваще отметаем как буржуазное...

у товарища, как-то, похоже, нет такого осчусчения, что опыт в этом мире бывает не только его собственный

но хоть не шибает сходу, с первого тезиса, в нос откровенным лапотным идиотизмом, как первый мною упомянутый - и то ладно

и ссылки полезные есть

[identity profile] udpn.livejournal.com 2015-03-04 07:01 pm (UTC)(link)
Нет, я про http://sharpc.livejournal.com/67583.html

[identity profile] yussouf.livejournal.com 2015-03-04 08:06 pm (UTC)(link)
да я не стал даже особо вчитываться дальше - sapienti sat

но крайнюю шизофазоидность сего высе текста вынужден был отметить даже аффтар, ггг
Edited 2015-03-04 20:08 (UTC)

[identity profile] udpn.livejournal.com 2015-03-04 09:32 pm (UTC)(link)
Вы, должно быть, про свои комментарии? :)

[identity profile] yussouf.livejournal.com 2015-03-04 09:52 pm (UTC)(link)
(терпеливо, участливо)

вы скажите какая часть вам непонятна - я, быть может, поясню

[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)
Да у всех эта дилемма.