AN
ага
If Type(x) is Number or BigInt, then
Return ! Type(x)::equal(x, y).
Вот что такое этот equal()?
Size: a a a
2020 May 03
EO
Вот что такое этот equal()?
а вот это это сюда - https://timothygu.me/es-howto/#completion-records-and-shorthands
AN
оценка любых выражений происходит слева на право, правильно?
EO
да, всё по канонам precedence (но это не точно, может какие-то угловые кейсы есть)
AN
а вот это это сюда - https://timothygu.me/es-howto/#completion-records-and-shorthands
м … не очень полнял сноску. я пытаюсь понять как у них работает это самое equal.
ссылки на него приводят к https://tc39.es/ecma262/#sec-equality-operators
И я например не очень то понимаю как именно оно производит сравнение типа number и bigInt
выполняет приведение обоих типов bigInt вероятно, но это предположение
ссылки на него приводят к https://tc39.es/ecma262/#sec-equality-operators
И я например не очень то понимаю как именно оно производит сравнение типа number и bigInt
выполняет приведение обоих типов bigInt вероятно, но это предположение
AN
как к биг инт привезти ясно https://tc39.es/ecma262/#sec-tobigint
вопрос именно в том что означает equal и какой порядок действий для типов
вопрос именно в том что означает equal и какой порядок действий для типов
AN
Number Throw a TypeError exception.
AN
бгг
EO
м … не очень полнял сноску. я пытаюсь понять как у них работает это самое equal.
ссылки на него приводят к https://tc39.es/ecma262/#sec-equality-operators
И я например не очень то понимаю как именно оно производит сравнение типа number и bigInt
выполняет приведение обоих типов bigInt вероятно, но это предположение
ссылки на него приводят к https://tc39.es/ecma262/#sec-equality-operators
И я например не очень то понимаю как именно оно производит сравнение типа number и bigInt
выполняет приведение обоих типов bigInt вероятно, но это предположение
не совсем понял вопрос
там есть runtime semantics, в котором описывается что происходит с выражениями
там есть runtime semantics, в котором описывается что происходит с выражениями
EO
If Type(x) is Number or BigInt, then
Return ! Type(x)::equal(x, y).
Вот что такое этот equal()?
а, я кажется понял
EO
вот эта вот штука ! Type(x) это абстрактная операция, которая возвращает тип выражения x
эти типы описаны в таблице типов в спецификации
эти типы описаны в таблице типов в спецификации
Вт
а помог мне в этом вот этот паренёк - https://stackoverflow.com/questions/61558542/keep-track-of-argument-types-in-typescript
👏👏👏 хорошо пишешь на англ
EO
вот эта вот штука ! Type(x) это абстрактная операция, которая возвращает тип выражения x
эти типы описаны в таблице типов в спецификации
эти типы описаны в таблице типов в спецификации
там же есть интересующий тебя T::equal()
EO
м … не очень полнял сноску. я пытаюсь понять как у них работает это самое equal.
ссылки на него приводят к https://tc39.es/ecma262/#sec-equality-operators
И я например не очень то понимаю как именно оно производит сравнение типа number и bigInt
выполняет приведение обоих типов bigInt вероятно, но это предположение
ссылки на него приводят к https://tc39.es/ecma262/#sec-equality-operators
И я например не очень то понимаю как именно оно производит сравнение типа number и bigInt
выполняет приведение обоих типов bigInt вероятно, но это предположение
AS
В 7.2. Testing and comparasion operations есть описание многих мета-функций, например isCallable, isInteger, IsExtensible.
Я правильно понимаю, что все эти функции не доступны в языке?
А почему?
Я правильно понимаю, что все эти функции не доступны в языке?
А почему?
isCallable:
isInteger:
isExtensible:
typeof x == 'function' (но есть нюанс)isInteger:
Number.isIntegerisExtensible:
Object.isExtensible (только для объектов)AS
При сравнении типов в спеке можно увидеть
If Type(x) is different from Type(y), return false.
мета Type(x) эквивалентна typeof x?
или есть нюанс?
If Type(x) is different from Type(y), return false.
мета Type(x) эквивалентна typeof x?
или есть нюанс?
отличается от
typeof для null и document.allAS
м … не очень полнял сноску. я пытаюсь понять как у них работает это самое equal.
ссылки на него приводят к https://tc39.es/ecma262/#sec-equality-operators
И я например не очень то понимаю как именно оно производит сравнение типа number и bigInt
выполняет приведение обоих типов bigInt вероятно, но это предположение
ссылки на него приводят к https://tc39.es/ecma262/#sec-equality-operators
И я например не очень то понимаю как именно оно производит сравнение типа number и bigInt
выполняет приведение обоих типов bigInt вероятно, но это предположение
Number::equal и BigInt::equal по-разному работают для больших чисел, поэтому и такая нотация
AN
Cпасибо
VS
В 7.2. Testing and comparasion operations есть описание многих мета-функций, например isCallable, isInteger, IsExtensible.
Я правильно понимаю, что все эти функции не доступны в языке?
А почему?
Я правильно понимаю, что все эти функции не доступны в языке?
А почему?
Це просто формальні описи для певних концептів та операцій які використовуються компіляторами. Сам жс їх не використовує як правило і до них не можна отримати доступу, оскільки це внутрішня імплементація, якої вендори можуть не дотримуватися навіть.
AS
уточнение: рантаймы могут инлайнить абстрактные операции, но все observable steps и их порядок должен быть идентичен спеке