LINUX.ORG.RU

[vsl] формальная теория ООП


0

0

Прошу многоуважаемый олл посоветовать ссылки на работы, где можно прочитать о сабже. А то вот роюсь, никак не могу найти, чем тип от класса отличается =(

Пока читал Пискунова, читаю Карделли. Что еще посоветуете? Спасибо.

anonymous
Ответ на: комментарий от eugine_kosenko

>> Замыкания в ООП делаются, но почему они для бедных?

> Потому что, все, что есть в ООП, можно сделать через замыкания.

А всё, что есть в замыканиях, можно сделать через ООП. И всё, что есть в ООП, можно сделать в чистом Си. И что это доказывает?

tailgunner ★★★★★
()
Ответ на: комментарий от tailgunner

> А всё, что есть в замыканиях, можно сделать через ООП

Можно и на машине Тьюринга сделать, но вручную. Замыкания хороши тем, что контекст захватывается автоматически. Этим же они и плохи - в ООП его надо явно засунуть в поля класса.

anonymous
()
Ответ на: комментарий от anonymous

>> А всё, что есть в замыканиях, можно сделать через ООП

> Можно и на машине Тьюринга сделать, но вручную.

Конечно. Об этом и речь - реализовать можно всё на всём, и _сама возможность_ реализации - ни разу не аргумент.

tailgunner ★★★★★
()
Ответ на: комментарий от tailgunner

Ага. Вопрос в удобстве. Но почему-то функционанисты постоянно тыкают людям своими замыканиями vs. ООП, тогда как реальная killer feature, которая у некоторых из них есть, и на которую и в самом деле нельзя смотреть без зависти - это continuations.

anonymous
()
Ответ на: комментарий от tailgunner

> Об этом и речь - реализовать можно всё на всём, и _сама возможность_ реализации - ни разу не аргумент.

угу. Тогда уж происследуйте операции, какая реализация общей модели каким способом более эффективна в целом, область применимости и ограничения каждой такой реализации.

anonymous
()
Ответ на: комментарий от anonymous

>> Об этом и речь - реализовать можно всё на всём, и _сама возможность_ реализации - ни разу не аргумент.

> угу. Тогда уж происследуйте операции, какая реализация общей модели каким способом более эффективна в целом, область применимости и ограничения

У меня другая специальность. Но я бы с интересом почитал об исследованиях, проведенных другими %)

tailgunner ★★★★★
()
Ответ на: комментарий от tailgunner

>А всё, что есть в замыканиях, можно сделать через ООП. И всё, что есть в ООП, можно сделать в чистом Си. И что это доказывает?

Что все таки она вертится!

r ★★★★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.