30.05.2026
Это черновик книги, которая строит мост между теорией категорий, типами Rust и маленькими ML системами.
Авторы предлагают рассматривать машинное обучение не как численные вычисления, а как структурированный конвейер из объектов, преобразований, композиции и ограничений: доменные объекты становятся типами Rust, морфизмы - типизированными трансформациями, а обучение - повторяющимся преобразованием состояния модели.
Сложно и матемотично
