Recent questions tagged equality

0 votes

402 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

390 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

280 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

338 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

585 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

381 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

373 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