10:07 | <canadahonk> | if anyone is interested, I updated the site to show proposals (and fix some data/UI stuff) |
15:13 | <nicolo-ribaudo> | Is it valid in spec-language to use "is" to compare different values of different types? e.g. If _x_ is *""* , where x might be a string or something else |
15:20 | <littledan> | Is it valid in spec-language to use "is" to compare different values of different types? e.g. |
15:21 | <nicolo-ribaudo> | I'm specifically wondering if the first step of https://tc39.es/ecma262/#sec-number.isnan is necessary |
15:33 | <bakkot> | it is not |
16:58 | <Michael Ficarra> | littledan: nicolo-ribaudo: You can read more about how to compare values for equality in https://tc39.es/ecma262/#sec-identity |
16:58 | <Michael Ficarra> | we have very carefully defined the term "is" |
16:59 | <littledan> | Ah thanks for the correction |
17:01 | <littledan> | Sorry I don’t think I understand the definition. How does this differ from SameValue? |
17:01 | <littledan> | Because it also ranges over specification values? |
17:01 | <Michael Ficarra> | for one, "is" can be used with any spec value, but SameValue only works for language values |
17:02 | <littledan> | OK, so my answer was correct in that particular context, but insufficiently general |
17:04 | <Michael Ficarra> | yes, SameValue could be used there because we already know both operands are ES language values |
17:07 | <Michael Ficarra> | we haven't written down our editorial conventions yet, but I believe the rule we've decided on is that we don't use SameValue when the operands are known to not have identity |
17:09 | <Michael Ficarra> | writing down those editorial conventions is my next big task as editor, but the 262 PRs and stage 3 proposals keep coming in faster than I can get to them all |
17:22 | <bakkot> | also SameValue bottoms out in "is" |
17:22 | <bakkot> | so "is" can't bottom out in "SameValue" |
17:22 | <ptomato> | but there's something poetic about having the first step of a function whose name literally means "is not a number", be "If number is not a Number, return false" |
17:51 | <Michael Ficarra> | ptomato: and this is the one with the semantics we actually LIKE! |