ES.next the corner cases

Presenter Notes

主題

  • おそらくけっこうみなさんES.nextの主要機能については知ってらっしゃるのではないかと.
  • 誰も喋っていないのではないかなーと思われる, corner casesについて
  • parserどうぞ

Presenter Notes

esprima

  • id:teramako さんがお話されてくれましたが...
  • esprima
    • committerもしてたりします

esprima

Presenter Notes

ConstDeclaration

Presenter Notes

ConstDeclaration

特徴

Presenter Notes

initializer必須

  • uninitializedな状態を持たないため
  • BNF見るだけでは, initializerなくても行けそうですが
  • ES6 draft仕様の特徴
  • BNFだけじゃなくて, semanticsも見なければいけないようになった
  • section 12.2.1 Static Semantics

LexicalBinding : BindingIdentifier

It is a Syntax Error if the BindingIdentifier if IsConstantDeclaration of the LexicalDeclaration containing this production is true.

Presenter Notes

block scoped

  • これもuninitializedな状態を持たないため

  • staticに解析可能

    {
  const V = 20;
}
console.assert(typeof V === 'undefined');

  • もしもblock scopedでなければ,

    if (cond) {
  const V = 20;
}
// ここでVがuninitializedか, initializedかどうかは
// runtimeにしかわからない

  • すると, constな変数に対して, initializedかどうかのflagが必要になり, 高コスト実装になる.

Presenter Notes

immutable binding

  • ConstDeclarationの素晴らしさ
  • section 11.13 Runtime Semantics

It is a Syntax Error if the LeftHandSideExpression is an Identifier that statically resolves to a declarative environment record binding and the resolved binding is an immutable binding.

  • つまりですね,

    const V = 20;
V = 30;  // これがSyntaxErrorになる!

  • SyntaxErrorはearly error (section 16)なので, parse phaseで通知される

Presenter Notes

Egal Operator

Presenter Notes

Egal Operator

Presenter Notes

Semantics

  • より値の同一性に重きをおいたequal
  • NaN is NaN => true
  • +0 is -0 => false
  • Map / Setにおけるequalityの基盤
  • Strict Equality Algorithm(=== / !==)と異なる
    • CoffeeScript大敗北...
  • 実は昔からあるSameValue algorithmがuser levelで見えるようになったもの
    • SameValue algorithmはproperty代入の同一性検査とかに使われていました
    • writableがfalseでSameValueじゃなければrejectとかそういう

Presenter Notes

Contextual Keyword

  • このis / isntはContextual Keyword
  • これにかぎらず, ES.nextではStatement先頭以外のkeywordは大体contextual keyword
    • ofとか
    • Statement先頭のものは, 変数名と区別がつかないので, keywordにせざるを得ない
    • moduleとかはkeyword
    • break the webのよかん...
  • つまり, keywordではなく, 文脈依存でkeywordのような扱われ方をするということ

  • 例えば, is / isntはcontextual keywordなので

    var function = 20;  // これはkeywordなのでだめだけど
var is = 20;  // これはOK

  • なので, keyword増えるわけではないので, 互換性の面からは安心

Presenter Notes

Keyword

  • Statement先頭の場合はどうしても予約語
  • let / module

Presenter Notes

TriangleLiteral

Presenter Notes

TriangleLiteral

  • これです

    var DerivedArray = Array <| function DerivedArray() {
  return DerivedArray.prototype <| [];
};

  • あんまり誰も触れたがらない魔境

  • proto operator

Presenter Notes

TriangleLiteral

  • 左辺のobjectを右辺のliteralの[[Prototype]]に割り当てる
  • Object.createがあるじゃないですか?
    • Arrayなど, Object以外が作れる
    • Derived Arrayが仕様の範疇でできる
  • なんでLiteralしか来れない?
    • おそらく, 静的に確定させたいから
    • [[Prototype]]が書き換わると, MapのTransitが起き, inline cacheが破滅するので, あんまり途中で変えたくない
    • また, protoの書き換えはあまり起こることが予想されないので, transition tableに登録されていないであろう
    • 到達不可能なuniqueなMapが作成され, inline cacheがhitせず, 効率的でない
  • ただし, 左辺のObjectがprototype propertyを持ち, 右辺にfunctionが来た場合は挙動が異なる

Presenter Notes

Inheritance

  • 継承

    var Derived = Base <| function Derived() {
};

  • BaseがDerivedの[[Prototype]]になる (ここまでは一緒)

  • Base.prototypeを[[Prototype]]にもつObjectが生成され, これがDerived.prototypeに設定される
  • さっぱり言えば, 継承になるわけです

Presenter Notes

ES.next Library Extension

Presenter Notes

ES.next Library Extension

  • http://wiki.ecmascript.org/doku.php?id=harmony:more_math_functions
  • String
  • Number
  • Math
  • に便利関数を増やそうの会!

Presenter Notes

String

  • repeat
  • startsWith
  • endsWith
  • contains
  • toArray

Presenter Notes

Number

  • toInteger
  • Globalのものも
    • isFinite
    • parseFloat

Presenter Notes

Math

  • Community Feedback
    • https://bugs.ecmascript.org/show_bug.cgi?id=309
    • https://bugs.ecmascript.org/show_bug.cgi?id=314
  • 欲しい数学関数がある方は今のうちに!
    • この影響で, cbrtとか入りました

Presenter Notes

その他

Presenter Notes

VarDeclaredNames

  • duplicateな変数名purge機構

    !javascript function test(a) { var a = 20; }

  • こういうのがSyntaxErrorになる機構

  • まだ完全ではない

Presenter Notes

Date with NaN

  • new Date(NaN).toString()の結果が, "Invalid Date"という文字列を返すようにと規定
  • section 15.9.5.2

If this time value is NaN, the String value is "Invalid Date"

  • 今まで, NaNなDateがtoStringでどのような値を返すかというのは仕様では決まっていなかった
  • "Invalid Date"をmessageにもつRangeErrorをthrowするなど, 様々

Presenter Notes

enumeration order

  • strawmanですが
  • enumeration
  • propertyのfor-inやObject.keysなどでの登場順が規定された
  • ES5まででは規定されていなかった
    • test262にこの順番に依存したtestがいくつか存在するので, 今度reportします...
  • 基本的には
    • indexになる数値ははじめに, 数値順に
    • その他は追加順に
  • enumerationに書いてある実例としての実装がV8の実装そのままなので面白いです

all objects have two sequential property tables: properties with uint32 names, kept in integer order all other properties, kept in creation order

Presenter Notes

LHS

  • section 11.13
  • LHSについて改訂

  • LHSがPrimaryExpression : ( Expression ) についてLeftHandSideExpressionじゃなくなるとout

    (1, 2, 3) = 20;

  • とかがSyntaxErrorに (ES5でははReferenceError)

Presenter Notes

draft bug

  • ES.next draftのbug

  • destructuring-assignmentはAssignmentBindingPatternについては以下の文法を認めている

    ({ responseText }) = res;

  • section 11.13 Runtime Semantics

If LeftHandSideExpression is neither an ObjectLiteral nor an ArrayLiteral then

  • destructuring-assignmentは一回ObjectLiteral or ArrayLiteralとしてparseしてみて, その後, 再解釈という形式を取る
  • なので上記の形式は ({ responseText }) が, ObjectLiteralとしてparse不可能なので, これが有効になるpathがない

Presenter Notes

for-in with initializer

  • ひっそりと消えました

  • in ES5, following script is valid

    for (var i = 20 in []) {
}

  • for-inのVariableDeclarationはinitializerがとれた

  • ES.next draftでは取れなくなった

Presenter Notes

questions

Presenter Notes