Juan Raphael Diaz Simões @guaraqe.com · 26/05/2026I am happy to hear from you too! I hope I can drop by Japan sometime soon to have a coffee. And nitpicks are always appreciated. Yeah, I didn't think about the laws part that hard, I have to go through them again later to make sure what's the exact structure. 100
Juan Raphael Diaz Simões @guaraqe.com · 24/05/2026I’ll be at ZuriHac soon, so I’m excited to share WireCat: a Haskell effect library and GHC plugin for faithful visual representations of executable code, based on cartesian categories, row types and proc notation. I wrote about why cartesian categories are convenient: guaraqe.com/posts/2026-0...guaraqe.comWireCat: visual programming with cartesian categoriesIntroducing WireCat, a GHC plugin for writing typed categorical wiring diagrams with proc notation 1123
Juan Raphael Diaz Simões @guaraqe.com · 26/12/2025Agreed. Sometimes I wonder how ergonomic that could be in a profunctor/arrow-based language, since lenses are basically profunctor transformers. 010
Juan Raphael Diaz Simões @guaraqe.com · 25/10/2025chrispenner.ca/posts/arrow-...chrispenner.caExploring Arrows for sequencing effectsMonads are <em>one</em> way to sequence effects, but they're not the only way! 000