> Хотел бы я знать, как можно добавлять в алгебраические типы (мета-)информацию меньшими усилиями.
Конкретно в окамле -- по слухам, очень просто, но слегка по-читерски: weak hashtables. Функтор Weak.Make, однако есть ещё его модификации (в интернетах), и надо смотреть, что именно нужно. Не подскажу, так как сам не пользовал (а только намеревался).
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2010-12-29 12:39 pm (UTC)Конкретно в окамле -- по слухам, очень просто, но слегка по-читерски: weak hashtables. Функтор Weak.Make, однако есть ещё его модификации (в интернетах), и надо смотреть, что именно нужно. Не подскажу, так как сам не пользовал (а только намеревался).