#microkanren — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #microkanren, aggregated by home.social.
-
We've got #miniKanren and #microKanren ...but what about macroKanren? WumboKanren‽
The minimalist everything-is-an-x aesthetic is cool, but it really gets in the way of letting the relational logic paradigm bloom. I'm curious what patterns arise when you allow syntax, sugar, and convenient extended semantics.
Trades off simplicity, but lifts patterns up from the mechanics. Reify how we think about things. I bet relational programming would grow some cool ones.