On Wed, Jul 20, 2011 at 2:40 PM, Tassilo Horn <tass...@member.fsf.org>wrote:

> David Nolen <dnolen.li...@gmail.com> writes:
>
> Hi David,
>
> > Ambrose has submitted a patch which I need to go over. Even so, I
> > don't think docstrings are going to help you that much.
>
> It doesn't teach you logic programming, but at least it could explain
> the arguments.  Something like:
>
> (defmacro exist [[& x-rest] & g-rest]
>  "Takes a vector of symbols that are provided as fresh vars in body."
>  {:arglists '([[sym*] & body])}
>  `(fn [a#]
>     (inc
>      (let [~@(lvar-binds x-rest)]
>        (bind* a# ~@g-rest)))))
>
>

Exactly the type of docstring we need. Here's the relevant Jira issue, feel
free
to voice your opinion.

http://dev.clojure.org/jira/browse/LOGIC-10

Ambrose

-- 
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

Reply via email to