Я пытаюсь понять библиотеку категорий, но я новичок в Agda, поэтому я ищу какой-то документ, объясняющий выбор, который был сделан при реализации библиотеки. В ридми есть ссылка на такую штуку, но она битая.
Справочная информация о библиотеке категорий Agda?
comment
Какая библиотека категорий? [Есть несколько]. Если вы имеете в виду github.com/copumpkin/categories, то я полностью согласен с вашей просьбой!
- person Jacques Carette schedule 24.04.2015
comment
Да, я имел в виду именно его. Но если вы можете порекомендовать другой, который содержит больше объяснений, мне это тоже будет интересно!
- person user1604015 schedule 24.04.2015
comment
Это тот, который я использую. Он кажется очень хорошо спроектированным, но мне пришлось перепроектировать большую часть этого дизайна при его использовании/расширении.
- person Jacques Carette schedule 24.04.2015
comment
@JacquesCarette Archive.org заархивировал некоторые (но, возможно, не все) страницы 2010 года: http://web.archive.org/web/20100225215628/http://web.student.chalmers.se/~stevan/ctfp/html/README.html
- person David Young schedule 29.04.2015
comment
Может быть, @copumpkin (stackoverflow.com/users/104136/copumpkin) знает ответ :) [Я подумал, что смогу использовать это чтобы уведомить пользователя, но, видимо, комментарии так не работают]
- person curiousleo schedule 06.07.2015
comment
Привет, ты нашел что-нибудь по этой теме?
- person nicolas schedule 07.03.2016
Ответы (1)
Для тех, кто попадет сюда в будущем: «новые» agda-categories содержат некоторую документацию в своей readme о вариантах выбора, а также есть опубликованная статья об этом, в которой содержится гораздо больше подробностей относительно выбор дизайна.
person
Jacques Carette
schedule
01.02.2021
