This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2021-11-16
Channels
- # adventofcode (1)
- # announcements (16)
- # babashka (7)
- # beginners (77)
- # calva (31)
- # cider (18)
- # clj-commons (16)
- # cljfx (5)
- # clojars (5)
- # clojure (33)
- # clojure-europe (15)
- # clojure-nl (1)
- # clojure-norway (15)
- # clojure-uk (4)
- # clojurescript (1)
- # conjure (1)
- # core-logic (7)
- # cursive (16)
- # data-science (4)
- # datalevin (6)
- # emacs (20)
- # events (5)
- # fulcro (15)
- # holy-lambda (1)
- # introduce-yourself (1)
- # jobs (2)
- # lsp (30)
- # luminus (3)
- # malli (3)
- # membrane-term (19)
- # missionary (62)
- # off-topic (39)
- # pathom (24)
- # polylith (5)
- # portal (9)
- # practicalli (3)
- # re-frame (16)
- # reagent (5)
- # remote-jobs (1)
- # reveal (21)
- # rewrite-clj (8)
- # shadow-cljs (13)
- # spacemacs (23)
- # sql (12)
- # timbre (2)
- # tools-deps (1)
- # xtdb (4)
Has anyone tried or explored the possibility of implementing the core.logic streams as reducibles or iterables and not as lazy sequences?
I think this may be the piece I needed to treat Choice directly as reducible https://github.com/halgari/odin/blob/master/src/com/tbaldridge/odin/contexts/data.clj#L9 Maybe I'll just need to tease apart the pull from take
The way minikanren handles branches by interleaving makes expressing it as a reduce tricky
From chasing down the papers, isn't it the only way to guarantee fairness in the implementation?
I think this may be the piece I needed to treat Choice directly as reducible https://github.com/halgari/odin/blob/master/src/com/tbaldridge/odin/contexts/data.clj#L9 Maybe I'll just need to tease apart the pull from take