Re: SRSLY? (= (true? identity) (false? identity)) => true
On 2 September 2017 at 05:06, Rostislav Svoboda wrote: > > identity isn't a boolean, so neither true? nor false? should return true > for it > > But then why it should return 'false'? Because you're asking, "Is identity the boolean value true?", and Clojure is telling you, "False, it's a function". Then you ask "Is identity the boolean value false?", and clojure replies, "Also false, it's still a function.". Then finally you ask, "Is false equal to false?" and Clojure says, "True." -- James Reeves booleanknot.com -- 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.
Re: SRSLY? (= (true? identity) (false? identity)) => true
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 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.
Re: SRSLY? (= (true? identity) (false? identity)) => true
Aaaah! :) My math books say booleans can't be true and false in the same time. I made a mistake assuming that the identity function just because it exists somewhere as an object in the memory is of a boolean type and as such it's boolean value is true. Well, everybody here - thank you! Just for the record: The type of: - function 'identity' is "function with type signature: Any -> Any" - functions: 'true?, false?, not' is "function with type signature: Any -> Boolean" So following evaluations are perfectly valid: (true? identity) -> false (false? identity) -> false (not identity) -> false These functions should not be expected produce the boolean opposite of each other's result, even if it's a bit strange at the first glance. -- 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.
Re: SRSLY? (= (true? identity) (false? identity)) => true
What might confuse you, is why Clojure even have true? and false? functions?
Its because conditional constructs like if, cond, when, test for truthy (aka
logical true) and falsey (aka logical false), not true and false. Nil and False
are falsey, and everything else is truthy.
Most of the time this is great, you can do:
(if (:a {}) ... ...)
Since if tests for truthy, keyword access of map values can be used as a valid
if condition.
But sometimes that's not what you want, sometimes you want nil to not be
considered false, or :error to not be considered true. In those cases, you wrap
the test condition in true? and false?. That way you're explicitly checking for
true or false, not truthy and falsey.
--
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.
Re: SRSLY? (= (true? identity) (false? identity)) => true
(= 1 10) => false
(= 2 10) => false
(= 10 10) => true
(= false false) => true
(= (= 1 10) (= 2 10)) => true
class BoolTest {
public static void main(String args[]) {
System.out.println(Boolean.TRUE.equals(System.class) ==
Boolean.FALSE.equals(System.class)); // prints "true", System.class being
an arbitrary choice, like the choice of "identity", a fn.
}
}
The domain for functions true? and false? is arbitrarily vast (possibly,
the entire set of values as I believe they never throw exceptions), and the
range is the limited space [True, False]. Very few domain-values would,
expectedly, map to True, as it is a strict equality check. Your expression
checks the equality of false with itself.
On Sat, Sep 2, 2017 at 9:36 AM, Rostislav Svoboda <
rostislav.svob...@gmail.com> wrote:
> > identity isn't a boolean, so neither true? nor false? should return true
> for it
>
> But then why it should return 'false'?
>
> 2017-09-02 6:04 GMT+02:00 Justin Smith :
> > identity isn't a boolean, so neither true? nor false? should return true
> for
> > it
> >
> >
> > On Fri, Sep 1, 2017 at 9:01 PM Rostislav Svoboda
> > wrote:
> >>
> >> > (true? identity) -> false
> >> > (false? identity) -> false
> >> > (= false false) -> true
> >>
> >> Well:
> >> (= identity identity) -> true
> >>
> >> My math books say booleans can't be true and false in the same time.
> >>
> >> --
> >> 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.
Re: SRSLY? (= (true? identity) (false? identity)) => true
By design, true? never throws an exception. Neither does false? You can create functions similar to those that throw an exception when given a non-boolean value, if you want such functions. (Note: examples below rely on existence of clojure.core/boolean? which does not exist in Clojure 1.8.0) user=> (clojure-version) "1.9.0-alpha19" user=> (defn true-boolean? #_=> [x] #_=> (assert (boolean? x)) #_=> (true? x)) #'user/true-boolean? user=> (true-boolean? true) true user=> (true-boolean? false) false user=> (true-boolean? identity) AssertionError Assert failed: (boolean? x) user/true-boolean? (form-init3633819970128261150.clj:3) Do the following function return values help shed any light on things, perhaps? They demonstrate that true and false are boolean value, but identity has a value that is not a boolean type, but a function type. user=> (boolean? true) true user=> (boolean? false) true user=> (boolean? identity) false user=> (fn? true) false user=> (fn? false) false user=> (fn? identity) true Andy On Fri, Sep 1, 2017 at 9:06 PM, Rostislav Svoboda < rostislav.svob...@gmail.com> wrote: > > identity isn't a boolean, so neither true? nor false? should return true > for it > > But then why it should return 'false'? > > 2017-09-02 6:04 GMT+02:00 Justin Smith : > > identity isn't a boolean, so neither true? nor false? should return true > for > > it > > > > > > On Fri, Sep 1, 2017 at 9:01 PM Rostislav Svoboda > > wrote: > >> > >> > (true? identity) -> false > >> > (false? identity) -> false > >> > (= false false) -> true > >> > >> Well: > >> (= identity identity) -> true > >> > >> My math books say booleans can't be true and false in the same time. > >> > >> -- > >> 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.
Re: SRSLY? (= (true? identity) (false? identity)) => true
Think about what you're asking: "Hey, is identity a boolean true value?" "No, it is a function, not a boolean" "Is, identity a boolean false value?" "No, it's a function, not a boolean" Makes plenty sense to me. On Fri, Sep 1, 2017 at 10:06 PM, Rostislav Svoboda < rostislav.svob...@gmail.com> wrote: > > identity isn't a boolean, so neither true? nor false? should return true > for it > > But then why it should return 'false'? > > 2017-09-02 6:04 GMT+02:00 Justin Smith : > > identity isn't a boolean, so neither true? nor false? should return true > for > > it > > > > > > On Fri, Sep 1, 2017 at 9:01 PM Rostislav Svoboda > > wrote: > >> > >> > (true? identity) -> false > >> > (false? identity) -> false > >> > (= false false) -> true > >> > >> Well: > >> (= identity identity) -> true > >> > >> My math books say booleans can't be true and false in the same time. > >> > >> -- > >> 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. > -- “One of the main causes of the fall of the Roman Empire was that–lacking zero–they had no way to indicate successful termination of their C programs.” (Robert Firth) -- 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.
Re: SRSLY? (= (true? identity) (false? identity)) => true
> identity isn't a boolean, so neither true? nor false? should return true for > it But then why it should return 'false'? 2017-09-02 6:04 GMT+02:00 Justin Smith : > identity isn't a boolean, so neither true? nor false? should return true for > it > > > On Fri, Sep 1, 2017 at 9:01 PM Rostislav Svoboda > wrote: >> >> > (true? identity) -> false >> > (false? identity) -> false >> > (= false false) -> true >> >> Well: >> (= identity identity) -> true >> >> My math books say booleans can't be true and false in the same time. >> >> -- >> 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.
Re: SRSLY? (= (true? identity) (false? identity)) => true
> You seem to be confused about what true? and false? are intended to do. No no, it's not me who's confused about booleans. It's the computer :) 2017-09-02 5:59 GMT+02:00 Justin Smith : > 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 > 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 : >> > (true? identity) -> false >> > (false? identity) -> false >> > (= false false) -> true >> > >> > On Fri, Sep 1, 2017 at 8:43 PM, Rostislav Svoboda >> > 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. -- 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 fro
Re: SRSLY? (= (true? identity) (false? identity)) => true
identity isn't a boolean, so neither true? nor false? should return true for it On Fri, Sep 1, 2017 at 9:01 PM Rostislav Svoboda < rostislav.svob...@gmail.com> wrote: > > (true? identity) -> false > > (false? identity) -> false > > (= false false) -> true > > Well: > (= identity identity) -> true > > My math books say booleans can't be true and false in the same time. > > -- > 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.
Re: SRSLY? (= (true? identity) (false? identity)) => true
> (true? identity) -> false > (false? identity) -> false > (= false false) -> true Well: (= identity identity) -> true My math books say booleans can't be true and false in the same time. -- 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.
Re: SRSLY? (= (true? identity) (false? identity)) => true
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 : > > (true? identity) -> false > > (false? identity) -> false > > (= false false) -> true > > > > On Fri, Sep 1, 2017 at 8:43 PM, Rostislav Svoboda > > 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.
Re: SRSLY? (= (true? identity) (false? identity)) => true
> 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 : > (true? identity) -> false > (false? identity) -> false > (= false false) -> true > > On Fri, Sep 1, 2017 at 8:43 PM, Rostislav Svoboda > 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.
Re: SRSLY? (= (true? identity) (false? identity)) => true
(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.
Re: SRSLY? (= (true? identity) (false? identity)) => true
This is what I would expect - the identity function is neither the value true, or the value false On Fri, Sep 1, 2017 at 8:44 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.
SRSLY? (= (true? identity) (false? identity)) => true
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.
