Краткое содержание «Алгебраические типы данных» или «ADT» — это любой тип данных, созданный комбинацией других типов данных. Они полезны для создания типов данных, которые имеют столько же значений, сколько и явления реального мира, но не полностью представлены целым числом, таким как день недели или код клавиши с клавиатуры. Не имеет смысла делать недопустимые состояния представимыми, и мы не хотим застревать на проверке правильности наших данных в соответствии с нашим типом во время..

Я уже давно пишу подключаемый модуль проверки типов во время выполнения для Javascript. Я использую кодировку Скотта и (неявные) типы ранга 2 для выражения безопасных типов ADT в Javascript. Вот небольшой набросок рекурсивного типа List , который вы упомянули в своем посте: import * as F from ".../ftor.js"; F.type(true); const List = F.Adt( function List() {}, "(List :: ({Cons: (a -> List<a> -> r), Nil: r} -> r) -> List<a>)" ); const Nil =..