Содержание второй части:Неподвижные точки конструкторов типовНачальная F-алгебраНаибольшая неподвижная точкаКлассы типов неподвижных точек Читать далее
Слово «рекурсия» происходит от латинского «recursio» – «круговорот, возврат». Применительно к вычислениям этот термин относится к алгоритмам, повторяющих какие-либо действия. Этот обзор посвящён типам, которые обслуживают рекурсивные алгоритмы.Это вводная часть и собственно про типы здесь будет мало что сказано. Содержание:Вычислимые функцииЦиклы и рекурсияCтек и хвостовая рекурсияСсылки вперёдY-комбинатор в λ-исчисленииРеализация комбинатора неподвижной точки Читать далее
Мы продолжаем серию публикаций адаптированного и дополненного перевода "Карманной книги по TypeScript". Другие части: Часть 1. Основы Часть 2. Типы на каждый день Часть 3. Сужение типов Часть 4. Подробнее о функциях Часть 5. Объектные типы Система типов TS позволяет создавать типы на
Сегодня я хочу поговорить про интересные моменты в Kotlin, связанные с вызовами конструкторов классов. Или не совсем конструкторов? Или же совсем не конструкторов? Давайте разбираться.Это техническая статья для любителей языковых интересностей, не лишённая практического смысла. Читать далее