Рекурсивные типы. Часть 6. Пересвёртка на практике

• 30.04.2026 12:04
• Underskyer1
• 2

• Функциональное программирование
• Scala
• Алгоритмы

Категории типов. Часть 7. Исчисление концов +3

• 14.04.2026 17:27
• Underskyer1
• 4

• Функциональное программирование
• Scala

Научная «полезность». Физика, математика, программирование +5

• 25.03.2026 13:14
• Underskyer1
• 47

• Научно-популярное

Категории типов. Часть 6. Расширения Кана +2

• 19.03.2026 16:46
• Underskyer1
• 3

• Функциональное программирование

Категории типов. Часть 5½. Сопряжения из монады +2

• 08.03.2026 14:22
• Underskyer1
• 0

• Функциональное программирование
• Scala

Нити и волокна (Threads & Fibers) +18

• 04.03.2026 16:06
• Underskyer1
• 25

Категории типов. Часть 5. Пределы и сопряжения функторов +4

• 27.11.2025 08:54
• Underskyer1
• 0

Категории типов. Часть 4. Монады +10

• 18.10.2025 15:17
• Underskyer1
• 8

Категории типов. Часть 3. Естественные преобразования +5

• 30.09.2025 13:58
• Underskyer1
• 0

• Functional Programming
• Scala
• Функциональное программирование

Категории типов. Часть 2. Функторы +5

• 17.08.2025 12:06
• Underskyer1
• 4

• Функциональное программирование
• Программирование
• Scala

Категории типов. Часть 1. Hom-типы +11

• 19.07.2025 10:04
• Underskyer1
• 9

• Функциональное программирование
• Scala
• Программирование

Кредо программиста (в приложении к стилю кодирования) +11

• 15.02.2025 17:03
• Underskyer1
• 13

• Программирование
• Scala

Рекурсивные типы. Часть 5/5. Занимательный матан +5

• 05.12.2024 07:09
• Underskyer1
• 0

• Функциональное программирование
• Scala
• Программирование

Рекурсивные типы. Часть 4/5. Схемы рекурсии +4

• 05.12.2024 07:09
• Underskyer1
• 2

• Функциональное программирование
• Scala
• Программирование

Рекурсивные типы. Часть 3/5. Свободные контейнеры +5

• 05.12.2024 07:08
• Underskyer1
• 2

• Функциональное программирование
• Программирование
• Scala