Sign in

Juan Raphael Diaz Simões

@guaraqe.com
15 followers 61 following 4 posts
PostsRepliesMedia
Juan Raphael Diaz Simões @guaraqe.com · 26/05/2026
I 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/2026
I’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.com
WireCat: visual programming with cartesian categories
Introducing WireCat, a GHC plugin for writing typed categorical wiring diagrams with proc notation
1123
Juan Raphael Diaz Simões @guaraqe.com · 26/12/2025
Agreed. 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/2025
chrispenner.ca/posts/arrow-...
chrispenner.ca
Exploring Arrows for sequencing effects
Monads are <em>one</em> way to sequence effects, but they're not the only way!
000