You seem to be confused about what true? and false? are intended to do.

+user=> (doc true?)
-------------------------
clojure.core/true?
([x])
  Returns true if x is the value true, false otherwise.
nil
+user=> (doc false?)
-------------------------
clojure.core/false?
([x])
  Returns true if x is the value false, false otherwise.
nil


On Fri, Sep 1, 2017 at 8:57 PM Rostislav Svoboda <
rostislav.svob...@gmail.com> wrote:

> > This is what I would expect - the identity function is neither the value
> true, or the value false
>
> Hmm. No matter what's the value of the identity, the functions
> 'true?', 'false?', 'not' should then return an exception (or something
> else) instead of a boolean.
>
> 2017-09-02 5:49 GMT+02:00 Mark Engelberg <mark.engelb...@gmail.com>:
> > (true? identity) -> false
> > (false? identity) -> false
> > (= false false) -> true
> >
> > On Fri, Sep 1, 2017 at 8:43 PM, Rostislav Svoboda
> > <rostislav.svob...@gmail.com> wrote:
> >>
> >> Hi, can anybody explain it please?
> >>
> >> $ java -cp clojure-1.8.0.jar clojure.main
> >> Clojure 1.8.0
> >> user=> (= (true? identity) (false? identity))
> >> true
> >>
> >> And in 1.9.0-alpha19 it behaves the same.
> >>
> >> thx Bost
> >>
> >> --
> >> 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.
> >
> >
> > --
> > 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.
>
> --
> 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.
>

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