A more revealing name for 'true?' and 'false?' would be 'boolean-which-equals-true?' and 'boolean-which-equals-false?'. Since the 'identity' function isn't a boolean both functions return 'false', and '(= false false)' is 'true'.
'(true? (true? identity) (false? identity))' would return, you guessed it, 'true'. A more revealing name for the _implementation_ you assumed 'true?' and 'false?' had would be 'truthy?' and 'falsey?' HTH. On 2 September 2017 at 04:43, 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.