May 10th, 2007

with Cat The Cat

ОЧень интересный пост

Вот тут. (по ГугльАлертс)

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

Собственно, по этой же причине "не работают" и мультипарадигменные языки. "Не работают" взято в кавычки, потому, что все выглядит, как будто это "работает." ;)

В одной программе мы можем сделать вот так и вот эдак одновременно, увеличивая затраты на стыковку.

Ну, и именно по этой же причине ФП лучше, чем ИП. ;)
with Cat The Cat

Очень моя большая нелюбовь.

Когда я слышу слово "дзен," я хочу начать хвататься за пистолет при его упоминании.

Что-то мне стало поднадоедать объяснение всего и вся с помощью дзен и инь и янь.

(читая материалы по наводке Гоблина)

Это просто необходимо - ввести в школах курс формальной логики.
with Cat The Cat

Еще про каратэ

Потому что человек всегда будет зажат в рамках того, что лучше Оямы всё равно не стать.

Масутасу Ояма свой десятый дан заработал, проведя 500, по-моему, боев. Трое суток бился.

Лучший его ученик имел девятый дан и очень хотел сдать на десятый. Он долго готовился, потом долго договаривался с каратистами по всему миру и, в конце концов, пришел к Ояме и сказал: "Учитель! Я хочу сдать на десятый дан! Я все подготовил!"

На что Ояма ответил, что "Ояма может быть только один."

Ояма означает Посланец Богов или что-то не менее возвышенное.

В результате мы имее еще один вид контактного каратэ. Забыл, правда, как оно называется.

Кстати, киокушинкай стилем каратэ не считается. В нем ката не имеют отношения к бою и технике, они выполняются просто по другому. Техника не имеет отношения к бою и ката. Все разделено и чрезвычайно формально.