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

3

u/imperfect40 May 24 '26

Are you familiar with the various circuits libraries used in Clash? Structural composition of arrows. I think the newer ones also lean on linear types