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. If _x_ is *""*, where x might be a string or something else
IMO it is fine and means SameValue
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!