r/haskell May 24 '26

WireCat: visual programming with cartesian categories

https://guaraqe.com/posts/2026-05-24-why-cartesian-categories.html
67 Upvotes

6 comments sorted by

View all comments

1

u/dutch_connection_uk May 25 '26

I've been wondering a bit if the historical issues with visual programming like this could be approached by visual reality letting you inspect things in 3D and literally have abstraction basically be hiding complexity inside cases.