Логическое программирование в Scala. Теория +4

• 18.08.2026 09:46
• Underskyer1
• 1

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

Логическое программирование в Scala. Выбор стиля +6

• 31.07.2026 13:51
• Underskyer1
• 11

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

Категории типов. Итоги +6

• 27.07.2026 13:15
• Underskyer1
• 2

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

Категории типов. Часть 8.2. Горизонтальная композиция эффектов +3

• 27.07.2026 13:15
• Underskyer1
• 0

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

Объяснение direct-style эффектов +3

• 16.07.2026 10:47
• Underskyer1
• 0

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

Категории типов. Часть 8.1. Вертикальная композиция эффектов +5

• 05.07.2026 06:21
• Underskyer1
• 7

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

Категории типов. Часть 7½. Свободная монада +5

• 07.06.2026 08:24
• Underskyer1
• 0

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

Рекурсивные типы. Часть 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