делаем открытия

[juan_gandhi]

Кому-то это всё давно известно, конечно. Типа Куздры. Эх, когда уж я научусь программировать.

Кароче. Сегодня выяснилось, что List - не тип, а функтор. А всякий List&X> - уже тип. Если Х - тип.

И "длина списка" - не функция, а естественное преобразование. Natural transform. Шоб вы думали, а! Век живи, век учись.

Ну и, к примеру, "обойти всё дерево" - это тоже не функция, а естественное преобразование.

И я ещё не понял, что такое методы у типа. Пока не понял.

Comments

[spamsink.livejournal.com]

К списку?

Ах, вы в этом смысле... Ну, видимо да, вполне естественное преобразование: ведь любое дерево в душЕ - скип-лист.

[ivan-gandhi.livejournal.com]

Не соглашусь. Лист, даже если он и скип лист, линейно упорядочен. А дерево - нет.

[spamsink.livejournal.com]

Дерево линейно упорядочено как минимум тремя способами одновременно: препорядком, инпорядком и постпорядком (или как они там по-русску). Выбор одного из этих упорядочений, видимо, и считается преобразованием.

[ivan-gandhi.livejournal.com]

Ой не надо вот этого. "Тремя способами одновременно". У дерева один порядок - отец-сын. Всё. Остальное - различного вида функторы, превращающие дерево в линейный порядок.