自己紹介 (近況報告)

syumai

jsconf CFP出せませんでした

JSConf CFP だせず

result-monad というちょっとしたライブラリを作り始めた

JSConf LT CFPを出しました！

週末はAWS Lambda + API Gateway + Cloudfrontしてました

サーバーレスの雑APIをスロットリングしつつ適当にキャッシュさせたかった

「VPCってやつで送信元IPアドレスを制限できるのか？」→「Lambdaではできない」

未知の難しさがある

皆既月食を見る ~ 19:43

休憩 ~21:05

部分食きれいだった

前回のあらすじ

IsStringWellFormedUnicode

これをJSの世界からも直接呼べる用にするプロポーザルがあった

SameValue

SameValueZero

SamValue のなかで使われてるやつ

IsLessThan

ながいやつ

leftFirst: x < y だけじゃなくて x > y みたいなコードに対しても isLessThan が使われてるっぽくてそのときに leftFirst が使われていた

IsLooselyEqual

normal completion (Boolean)またはthrow completionを返す

x と y の型が異なる時に使われる

x と y の型が一緒の時は IsStrictlyEqual のほうが使われる!

IsHTMLDDA は loosely equal の世界では null undefined と同じ扱い

code:==.js

null == undefined // true

undefined == null // true

// IsHTMLDDA

document.all == undefined // true

document.all == null // true

// Number vs String

1 == '1' // true

'1' == 1 // true

1 == 'a' // false => Number('a') が NaN のため false

// Boolean

'true' == true // false

1 == true // true

true == '1' // true (ToNumber(true) == ToNumber('1'))

true == ' 1 ' // true (stringに対するToNumberの処理時に、空白が除去されるので、1と1の比較になる)

true == ' 1.0 ' // true (同上)

true == ' 1e0 ' // true (同上)

false == '0' // true

// BigInt

true == 1n // true (true => 1 で 1 と 1n の Mathematical Value の比較になるので true)

false == 0n // true (false => 0 で 0 と 0n の Mathematical Value の比較になるので true)

// Object

string と number の場合は string を ToNumber して比較

Step 5, 6, 7, 8は変換後にIsLooselyEqualを呼んでいる

が、いずれの場合もType(x)とType(y)は等しいので、IsStrictlyEqualを呼んでいいのでは？

If x is either a String, a Number, a BigInt, or a Symbol

xがnull, undefined, Booleanのケースは除外されている

finiteの定義は？

Number typeの値から +∞𝔽と-∞𝔽（とおそらくNaN）を除外したもの

NaNは含まれるのか？

code:js

Number.isFinite(NaN) // false

Infinity == 0n // false

Infinity == 1n // false

NaN == 0n // false

NaN == 1n // false

0 == 0n // true

1 == 1n // true

trueになる

どちらもNumberなのでIsStrictlyEqualに送られる

IsStrictEqualはNumber::equal(x, y)を呼ぶ

ここではInfinityに対する特別な処理はないので、単に同値と判定されてtrue

code:js

x + 1 === x - 1 // x === ±Infinityならtrue

falseになる

SameValue アルゴリズムとは 符号付きゼロ と NaN の扱いについて異なる

IsStrictlyEqual では NaN は問答無用で false, +0 と -0 でも true

SamValue では NaN 同士は true, +0 と -0 は false

code:js

NaN === NaN

// false

+0 === -0

// true

Object.is(NaN, NaN)

// true

Object.is(+0, -0)

// false

すべてのオブジェクトを作る際の共通ステップを抜き出した abstract operation

exotic も ordinaly もどちらもこれを使う

オブジェクトの特定のプロパティの値を取得するのに使う

オブジェクトの特定のプロパティの値を取得するのに使う

オブジェクトではない値を受け取る可能性がある

疑問

PropertyDestructuringAssignmentEvaluation

code:js

const { constructor } = 1; // 1がToObjectされてNumberオブジェクトになり、constructorがアクセス可能になる

ちなみに

code:js

(1).constructor

creates and initializes a new Number object when called as a constructor.

performs a type conversion when called as a function rather than as a constructor.

code:js

typeof new Number(1) // 'object': Numberオブジェクトを作る

typeof Number(1) // 'number': Number型の値を返す

Set

オブジェクトの特定のプロパティに値をセットするのに使う

失敗時にTypeError例外を出すかどうかを引数によって制御できる

たとえばプロパティがWritableでない場合

例外を出すのはどんな場合？

Object.assign

code:js

const o = {};

Object.defineProperty(o, "p", { writable: false });

Object.assign(o, { q: 1 }); // ok

Object.assign(o, { p: 1 }); // throw

CreateDataProperty

オブジェクトにプロパティを生やす

プロパティがconfigurableでないかextensibleでない場合には失敗してfalseを返す

CreateMethodProperty

プロパティの属性はビルトインメソッドやクラス宣言構文で定義されたメソッドと同じ

If it does exist, DefinePropertyOrThrow is guaranteed to complete normally.

Normally, the property will not already exist.

CreateDataPropertyOrThrow

CreateDataPropertyのラッパーになっている

falseが返されたらTypeError例外を出す

プロパティをセットする問題が起きようがない場合にはCreateDataProperty、そうでなければOrThrowを呼んでいるように思える

CreateNonEnumerableDataPropertyOrThrow

code:js

const obj = { message: 1 };

for (const key in obj) {

console.log(key); // message

}

class E {

constructor() {

this.message = "hello";

}

}

const e = new E();

for (const key in e) {

console.log(key); // message

}

const err = new Error("hoge");

err.message // 'hoge'

for (const key in err) {

console.log(key); // 何も出ない

}

このセクションのabstract operationが多すぎ問題

全部読んでも覚えていられないので、気になるものだけ読んでいく形でいきたい

名前とreferenceだけ確認していく