akshayde85 — Today at 09:50

Hello All, while doing && operation, why false and NIL gives different results? Please see the last statement of below iex

iex>> nil && true nil iex>> true && nil nil iex>> nil && false nil iex>> false && nil false

Rationally the last check of > false && nil should return nil, but its not, is this a bug or valid scenario?

dodo — Today at 10:00

That’s correct, it is short-circuiting, so it already returns at false and doesn’t check the second condition. See Kernel — Elixir v1.20.2.

Nicd — Today at 10:00

evaluates and returns the second expression only if the first one evaluates to a truthy value (neither false nor nil). Returns the first expression otherwise.

akshayde85 — Today at 10:04

ok, as far as my knowledge of data goes( mostly financial systems), while doing &&/and operation, NIL is the supreme truth, for example lets take example as 1. Customer just opened account so balance will be NIL 2. KYC of customer done? > false … so if you circuit both, the answer should be NIL rather than false. I have changed the condition of code to handle above scenario, but somehow i find this logically incorrect

same goes with ||/or operation, true is supreme truth

Nicd — Today at 10:06

these deal with truthiness values. in Elixir false and nil are falsy and everything else is truthy

if you want just booleans, use and/or, they only work with boolean values (i.e. not nil)

I don’t know what you mean with “supreme truth” though

akshayde85 — Today at 10:25

Alternative example supreme truth will be of maths, just like you cannot divide by 0 or do operations like 0 * infinity because NULL/NIL/divide by 0 are referred as “I dont know” types values; true and false or 1 or 0 are values which we can refer to and perform many checks on them; so when you combine NIL “and/&&” true/false, the outcome always should be NIL

irrespective of order of NIL false true

so if you ask me … is dodo above 7ft tall ? Answer will be - I dont know / NIL / NULL ; is Nicd drives Tesla ? Answer will be I dont know / NIL/ NULL .. so if i take both of above q’s and answers, I cannot simply compare NULL of one answer with NULL or another answer so and/&& operation will be NULL/NIL but if any one of them or both of them are true/false types, I can definitely circuit them and can expect 1/0 true/false

I hope above will be clear any doubts

Nicd — Today at 10:31

ah I guess you are thinking in terms of how SQL handles NULL values

Nicd — Today at 10:32

@akshayde85 this is not how most programming values handle null/nil. they treat it as falsy, i.e. it will be evaluated the same way as false in a condition. this is how && also works

akshayde85 — Today at 10:34

@Nicd .. thanks but somehow i feel thats incorrect, anyway i have handled the checks, reason i asked was i am taking values from table and doing && and it was giving different results

Nicd — Today at 10:34

again, this is how most (high level) programming languages handle it

akshayde85 — Today at 10:50

= operator NULL true false
NULL NULL NULL NULL
true NULL true false
false NULL false true

and op NULL true false
NULL NULL NULL false
true NULL true false
false false false false

or op NULL true false
NULL NULL true NULL
true true true true
false NULL true false
if you see above AnSI SQL standards, false and null and NULL and false are > false
not other way round like one is false but another one is NULL/NIL

Nicd — Today at 10:51

but Elixir is not SQL

akshayde85 — Today at 10:52

I agree, they are not same, but these are basic CS standards any system should follow, btw, I am not blaming elixir here

Nicd — Today at 10:55

I mean, SQL is pretty unique in how it handles null. I can’t name any other language that does it like that. so I wouldn’t call it a “basic CS standard”
so, anyway this is how Elixir works:

evaluates and returns the second expression only if the first one evaluates to a truthy value (neither false nor nil). Returns the first expression otherwise.