Hi,

every once in a while I am toying with an idea of doing string manipulation 
in core.logic.

Naively trying to use appendo doesn't really work.
As far as I understand, most of the magic, that enables core logic to work 
with lists is in the type LCons, that holds a sequence with tail that is 
still an lvar.

Does it mean that I would need to implement a similar type for string (ie 
LStr),
and then reimplement conso/firsto/lasto/appendo/e.t.c?

If you know of simpler solution, that would still give me a nice string 
interface, I would like to hear about it :-)

Thanks!

Adam

PS: Using '(\a \s \d \f) instead of "asdf" and then project doesn't cut it

-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to