1PA1500 освоен

Подробнее: https://scaladays.org/sessions/On-Folding Докладчик: Йоханна Одерски Где обитает вычислительная техника? В оригами она обитает в складке бумаги. Мы создаём функциональный генератор шаблонов складок на Scala, чтобы исследовать, чему нас учит оригами в области программирования. Идея заключается в материальном аспекте, а не в математическом: чистое функциональное программирование естественным образом возникает из физики складывания. В этом докладе оригами используется как конкретная, геометрическая основа для идей, которые часто остаются абстрактными. Мы рассмотрим реализацию генератора шаблонов складок на Scala: программы, которая принимает набор правил складывания и создаёт геометрический чертеж для модели оригами. Сгенерированные нами шаблоны мы складываем в физические объекты. Попутно в докладе рассматривается, как моделировать физическую систему как неизменяемые данные и как кодировать математические законы в виде ограничений типов, чтобы компилятор отклонял недопустимые состояния. Мы используем функциональное программирование не как удобный инструмент. Вместо этого мы утверждаем, что оригами — это форма вычислений, а математика, определяющая физическую корректность сгибов, представляет собой систему типов. Аудитория уйдет с конкретным примером применения типоориентированного проектирования к реальной предметной области, с пониманием того, почему неизменяемость и чистые функции — это не просто хорошая практика, а иногда единственная подходящая модель, и (в лучшем случае) с осознанием того, что вычисления могут существовать где угодно. Даже на листе бумаги. Этот доклад предназначен как для начинающих, так и для опытных разработчиков на Scala. Его цель — не столько закрывать, сколько открывать возможности. ### Подписывайтесь на нас в социальных сетях и присоединяйтесь к сообществу! Mastodon: https://mastodon.social/@scaladays LinkedIn: https://www.linkedin.com/company/scaladays Bluesky: https://bsky.app/profile/scaladays.org Веб-сайт: https://scaladays.org Почта: info@scaladays.org Scala Days 2026 была организована компанией Plain Schwarz – https://plainschwarz.com