делаем открытия
Nov. 7th, 2006 11:11 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
juan_gandhiКому-то это всё давно известно, конечно. Типа Куздры. Эх, когда уж я научусь программировать.
Кароче. Сегодня выяснилось, что List - не тип, а функтор. А всякий List&X> - уже тип. Если Х - тип.
И "длина списка" - не функция, а естественное преобразование. Natural transform. Шоб вы думали, а! Век живи, век учись.
Ну и, к примеру, "обойти всё дерево" - это тоже не функция, а естественное преобразование.
И я ещё не понял, что такое методы у типа. Пока не понял.
Кароче. Сегодня выяснилось, что List - не тип, а функтор. А всякий List&X> - уже тип. Если Х - тип.
И "длина списка" - не функция, а естественное преобразование. Natural transform. Шоб вы думали, а! Век живи, век учись.
Ну и, к примеру, "обойти всё дерево" - это тоже не функция, а естественное преобразование.
И я ещё не понял, что такое методы у типа. Пока не понял.
no subject
Date: 2006-11-08 04:56 pm (UTC)