Облегчённый шаблон HKT

Приём, лежащий в основе кодирования, имеет название: дефункционализация. Вместо настоящей типовой функции высшего порядка мы представляем каждую функцию тегом и разрешаем её с помощью одного поиска первого порядка. Реестр URItoKind и есть такая таблица поиска.

Kind<F, A> — это публичное представление шаблона. Читайте его как «конструктор F, применённый к A». Он скрывает индексацию реестра за понятным именем.

F должен быть зарегистрированным URI. Ограничьте его с помощью extends URIS, чтобы можно было использовать только допустимые теги, а опечатки превращались в ошибки компиляции.

Теперь мы можем записать ранее невозможную сигнатуру Functor. Замените каждое F<A> на Kind<F, A>, и компилятор примет её.

Когда вы фиксируете F конкретным URI, Kind разрешается в настоящий тип контейнера. У Functor<"Array"> есть map, преобразующий A[] в B[].

Некоторые конструкторы принимают два аргумента, например Either<E, A>. fp-ts расширяет этот шаблон с помощью URItoKind2 и Kind2<F, E, A> для вида * -> * -> *. Идея масштабируется добавлением новых реестров.

В fp-ts закреплено соглашение, которому следует весь этот курс: отдельная строка URI для каждого типа данных, реестр URItoKind, расширяемый слиянием объявлений, и Kind для разрешения. Распознавая это соглашение, вы сможете читать сигнатуры типов в fp-ts и Effect.

«Экземпляр» абстракции — это значение, реализующее её для конкретного URI. Экземпляр содержит конкретный map. В следующем уроке мы напишем экземпляр для массива, а здесь приведём его форму.

Его называют шаблоном лёгкого HKT, потому что он не требует изменений компилятора или специального синтаксиса — нужны только интерфейсы и доступ по индексу. В обмен на настоящее обобщение кода по контейнерам приходится добавить немного служебных конструкций: URI и реестры.

Шаблон многословен, а сообщения об ошибках могут быть трудными для понимания, поскольку в них упоминается кодирование, а не предметная область. Кроме того, каждый контейнер необходимо зарегистрировать. В большинстве приложений вы используете библиотеки, где это уже сделано, вместо того чтобы создавать всё самостоятельно.

Полный рецепт лёгкого HKT: определить URI, зарегистрировать его в URItoKind, определить абстракции с помощью Kind<F, A> и предоставить экземпляры для каждого URI. Это весь набор инструментов, лежащий в основе универсальных функциональных библиотек для TypeScript.

Вы собрали шаблон лёгкого HKT.

• Дефункционализация заменяет применение типовой функции поиском.
• Kind<F, A> разрешает URI и аргумент в конкретный тип.
• В универсальных сигнатурах используется Kind вместо F<A>.
• Шаблон поддерживает два аргумента через Kind2 и соответствует соглашению fp-ts.

Далее: универсальный map с настоящими экземплярами.