Поковырял тайпклассы в coq. Все претензии к ним остаются, ровно такие же, как к х-евым тайпклассам.
Мой вердикт: тайпклассы использовать в принципе можно, иногда даже удобно, но можно попасть в большой кизяк с ними, если одному типу может быть сопоставлено несколько различных операций, реализованных через тайпклассы.
А по моему опыту писания на окамле, в более-менее больших программах почти всегда оказывается так, что какие-то структуры данных надо по-разному сравнивать, по-разному отображать в виде строк, по-разному парсить из строки.
То есть, если в начале разработки можно гарантировать себе, что "сравнение значений такого-то типа данных будет одинаково во всей программе, отныне и на веки веков", то можно реализовать сравнение через тайпклассы.

#ogzneo

add comment recommend bookmark subscribe