Без заголовка

Для верификации софта тоже можно придумать. Я в контексте визуальной коммуникации не ставлю задачу кого-то чему-то научить, но типа чтобы попривыкли. Можно к примеру взять изморфизм Карри Говарда и сопоставить ему визуальные конструкты. Ну типа чорный квадрат - это пустое множество/ложь. Декартово произведение - ну типа перейти от линии к поверхности или к 3Д. Особо не разбежишься таким образом, конечно. Но можно гиперкубы там делать. Булевы операции несложно мапятся. А вот над dependent types я пока не думал. Вообще хочу generative art заняться, но пока мозгового ресурса не хватает.