core-logic 2021-11-19 | Slack Archive

Ben Sless08:11:06

I wonder if with some care one could work through Stream.iterate() as an alternative. Since it's iterable you can reduce over it in the end

paulocuneo20:11:25

#Also sent to the channel

microkanren is small enough that you could port it to clojure and implemented with whatever you like, doesn't have all the extensions core.logic has https://github.com/jasonhemann/microKanren/blob/master/microKanren.scm every now and then I start to roll my own version of minikanren just for fun , but never have the time to complete it 😆

Ben Sless20:11:11

Yeah I've been going over the papers 🙂

Ben Sless20:11:18

Maybe after reclojure

paulocuneo20:11:25

replied to a thread:I wonder if with some care one could work through `Stream.iterate()` as an alternative. Since it's iterable you can reduce over it in the end

microkanren is small enough that you could port it to clojure and implemented with whatever you like, doesn't have all the extensions core.logic has https://github.com/jasonhemann/microKanren/blob/master/microKanren.scm every now and then I start to roll my own version of minikanren just for fun , but never have the time to complete it 😆

2021-11-19

Channels