November 27th, 2009

moose, transparent

о типах (программистское)

Я искренне пытался понять эту статью, сравнивающую объекты и абстрактные типы данных, но в итоге всего лишь сломал мозг. Основной аргумент мне кажется то ли невнятным, то ли очевидно неверным. В результате ее прочтения я решил, что объекты и ADTs более похожи друг на друга, чем до того считал (т.е. пришел к выводу, противоположному утверждениям статьи).

Скорее всего, виноват я, а не автор, и у меня просто не получается понять, что он говорит (главным образом, когда он говорит об OOP). Кстати, если вы понимаете эту статью и согласны с ней, я был бы рад задать вам пару вопросов. Короче, основным результатом моей фрустрации стало то, что я начал читать Types and Programming Languages Пирса. Вот прочитаю и буду все знать про типы. Пока что очень нравится, отлично объясняет и заинтересовывает. Кстати, обнаружился черновик русского перевода. Мне он ни к чему, но может кому-то пригодится.
moose, transparent

хочу все знать: украинская литература

Посоветуйте, пожалуйста, лучших современных украинских писателей по вашему мнению. Я не читал практически ничего по-украински, написанного после развала СССР. Если вы думаете, что это очень глупо с моей стороны и жаль, потому что я незнаком с такими замечательными авторами, как [...] - то раскройте, пожалуйста, для меня эти скобки.

Если эти книги есть в каком-то виде в сети - это плюс, но если нет, все равно скажите.

Заранее спасибо.