Recent questions tagged Equality

0 votes

431 views

1 answer

equality - Bug with equals operator and NSObjects in Swift 2.0?

Ok, something strange is happening when writing your own equals operator for NSObject subclasses in Swift 2.0 like this ... or just a nasty bug? See Question&Answers more detail:os...

asked Oct 24, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

406 views

1 answer

equality - Does a Python object which doesn't override comparison operators equals itself?

class A(object): def __init__(self, value): self.value = value x = A(1) y = A(2) q = [x, y] q ... you don't override __cmp__, __eq__ or __ne__? See Question&Answers more detail:os...

asked Oct 24, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

294 views

1 answer

equality - How or is that possible to prove or falsify `forall (P Q : Prop), (P -> Q) -> (Q -> P) -> P = Q.` in Coq?

I want to prove or falsify forall (P Q : Prop), (P -> Q) -> (Q -> P) -> P = Q. in Coq. Here ... if so, why does Coq waste energy in doing this. See Question&Answers more detail:os...

asked Oct 24, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

358 views

1 answer

equality - How do I check if two variables reference the same object in Python?

x and y are two variables. I can check if they're equal using x == y, but how can I check if they have ... in that case is supposed to be False. See Question&Answers more detail:os...

asked Oct 17, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

600 views

1 answer

equality - How can Python compare strings with integers?

Given the following code: a = '1' if a == 1: print 'yes' else: print 'no' we get output as ... error because this is comparing different types. See Question&Answers more detail:os...

asked Oct 17, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

408 views

1 answer

equality - == Operator and operands

I want to check whether a value is equal to 1. Is there any difference in the following lines of code ... in terms of the compiler execution See Question&Answers more detail:os...

asked Oct 17, 2021 in Technique[技术] by 深蓝 (71.8m points)

0 votes

391 views

1 answer

equality - What's the difference between == and .equals in Scala?

What is the difference between == and .equals() in Scala, and when to use which? Is the implementation same as ... The more general case is Any. See Question&Answers more detail:os...

asked Oct 17, 2021 in Technique[技术] by 深蓝 (71.8m points)

Categories

Just Browsing Browsing

Most popular tags