Movatterモバイル変換

ECMAScript没Proposal追悼式tyage@KMC

本日はお集まりいただきありがとうございます

● id: tyage● 京大工学部情報学科3回● JavaScriptとか書いてる● 趣味○ 脆弱性報告○ CTF司会担当

ECMAScriptとは● JavaScriptやActionScriptの実装基盤となっている言語● Ecma Internationalによって標準化される● (例会講座でも一度紹介しました)

ECMAScript標準化の流れ● Strawman（仕様提案）● →Proposal（具体化・デモ・試案）● →Draft（仕様書作成）○ イマココ○ 3/4にRC2が出来た● →Candidate（実装・フィードバック）● →完成

ECMAScript Proposalとは● 様々な人から仕様に入れてほしい提案(Proposal)が送られてくる○ 提案を検討して、仕様に組み込んだり却下したり○ Proposalフェーズでなくても送られてくる

採用されたECMAScript Proposal● ECMAScript6勉強会でやりました○ class○ generator○ Symbol○ Map○ const○ Promise○ Proxy○ etc...

今日話すこと● Proposalだったが、ECMAScript6の仕様書(RC2)に入らなかったもの(死者)を一部紹介○ ※覚えてもメリットはないかも● 英語の誤訳が多数含まれているかと思いますがご了承下さい

"use" keyword● https://esdiscuss.org/topic/proposal-use-keyword○ 生年月日: 2014年7月25日○ 没年月日: 2014年7月26日● 「なんでPHPの”use”みたいな物が無いんや」

"use" keyword● PHP5.3くらいから追加されてたkeyword● 無名関数を宣言する際に、親のスコープから変数を引き継ぐことができる○ こんな機能使ったことないし知らなかったゾ...

"use" keyword> // 通常、無名関数は外のスコープの変数を参照できない> $message = ‘hoge’;> $fun = function() { echo $message; };> $fun();PHP Notice: Undefined variable: message in php shellcode on line 1

"use" keyword> // use keywordを使うと外のスコープの変数が参照できる> $message = ‘hoge’;> $fun = function() use ($message) { echo $message; };> $fun();hoge

一方ECMAScriptでは// 暗黙的に外のスコープの変数を見に行くvar message = 'hoge';var fun = function() { console.log(message); };fun();hoge

あれ、”use” keyword要らなくね？

どうやらそうではないらしい引数を使わず、関数から別スコープにあるローカル変数が参照したいようだ(追記: dynamic scopeというらしい)

どうやらそうではないらしいfunction fun1() {var message = ‘hoge’;fun2.attachContext();};function fun2() {console.log(message);};fun1のスコープにあるmessageを参照できる

えっ、何これは・・・（ドン引き

皆様の反応● PHP関係ないやんけ● 何がしたいのかわからん

皆様の反応● デメリットのほうが圧倒的に大きいのでは○ 人間もコンピュータも解析しづらい● どう考えてもダメ

typeof null● http://wiki.ecmascript.org/doku.php?id=harmony:typeof_null● typeof null が “null” を返すようにしてほしいという提案

typeof演算子● オブジェクトやプリミティブ値のデータ型を文字で返すtypeof 37 === “number”typeof “hoge” === “string”typeof {a: 1} === “object”typeof undefined === “undefined”

typeof null === ???ではこれは何になるでしょうかtypeof null

typeof null === ???ではこれは何になるでしょうかtypeof null === “object”※nullはプリミティブ値です

歴史的経緯初期のJavaScriptの実装では各値の32bit領域中に以下のtype tagデータが入っていたhttp://www.2ality.com/2013/10/typeof-null.html● 000: object● 1: int● 010: double● 100: string● 110: boolean

歴史的経緯typeof演算子はtype tagでチェックしていたif (JSVAL_IS_VOID(v)) {type = JSTYPE_VOID;} else if (JSVAL_IS_OBJECT(v)) {…type = JSTYPE_OBJECT

歴史的経緯nullはnull pointer(0x00)で表されていたので、type tagがobjectと同じになる！！→ typeof null === “object”

歴史的経緯Brendan Eichが納期に追われて作ってしまったらしい...

typeof null● 10年くらい前からtypeof nullが”null”を返すように変更するかは議論されていた○ http://wiki.ecmascript.org/doku.php?id=discussion:typeof

typeof null● 当然ECMAScript6で修正しようという風潮はあったが...○ V8では実装されていたらしい

typeof null● typeof nullが”object”を返すことに依存したコードが多く存在した○ このまま仕様を変えると古いWebページが見れなくなるかも○ 古いコードの解釈が変わらないようにしないといけない■ 前方互換性

余談● この件に関して、Brendan EichとDouglas Crockfordの意見は当初の段階で分かれてるっぽい○ Brendan Eich: JavaScript作った人。偉い○ Douglas Crockford: JSONとか作った人。偉い

余談● Eich「前方互換性を壊すので慎重にすべき」● Crockford「古いコードが壊れてでもやるべき」

そのうち解決されますように...

array & generatorcomprehensions

array & generator comprehensions● array comprehension○ [for (i of [1, 2, 3]) i * i] // => [1, 4, 9]● generator comprehension○ (for (i of [1, 2, 3]) i * i) // => 1, 4, 9を順に返すgeneratorあっ、これPythonで見たことあるやつだ！(Pythonだとリスト内包表記って呼ばれてるよね)

実は● ECMAScript勉強会でやりました○ http://kmc.hatenablog.jp/entry/2014/07/26/181228● 2014/7/26日時点(Rev26)では仕様に含まれていた○ Firefoxでは実装されてて動く● 個人的には便利そうだしかなり気に入ってた

何があったのか● https://esdiscuss.org/notes/2014-07-30#4-7-revisit-comprehension-decision-from-last-meeting-● このミーティングでDave Hermanがcomprehensionの問題点を指摘○ JavaScriptで書いた3種類の数独ソルバーを提示■ no comprehension style■ LINQ style■ pythonic style

no comprehensions stylehttps://github.com/dherman/sudoku/blob/master/solver.methods.js

LINQ stylehttps://github.com/dherman/sudoku/blob/master/solver.linq.js

pythonic stylehttps://github.com/dherman/sudoku/blob/master/solver.pythonic.js

no comprehensions style● iteratorにmapやfilter等の便利メソッドを追加した形● 今まで通りのJavaScriptって感じで読める

LINQ style● generator comprehensionを使ってLINQを意識した形● comprehensionとメソッドチェインが混ざっている

pythonic style● array comprehensionを使ってpythonを意識した形● comprehensionとメソッドチェインが混ざっている

流れ変わったな● これを見る前は支持していた人も多かったようだが...○ 既に仕様に入ってたし● 見たあとは○ comprehensions使わなくても書けるじゃん○ むしろ使いたくない

いや、まだ死んでない● 結局、ECMAScript7まで延期とのこと● 今後の状況では復活する可能性も○ が、現状ではほぼ死にかけな気がする

内包表記君、どこ行ってしもうたんや● 突然の消失に惜しむ声が多数○ https://esdiscuss.org/topic/comprehensions-where-art-thou

内包表記君、どこ行ってしもうたんや● ミーティングに参加していなかった人から不満が出てくる

内包表記君、どこ行ってしもうたんや「あんなコードはPythonicじゃないし、comprehensionが80文字を超えてる時点でなんか変でしょ」

内包表記君、どこ行ってしもうたんやBrendan Eich「求められていたのはArrayを(iterableや即時と遅延等に分けて)一般化することだった。それにデリミタ(区切り文字)が足りてないのに、わざわざ消費する必要はないよね」

comprehensionまたお会いしましょう

Symbol● SymbolオブジェクトがECMAScript6から導入された● RubyのSymbolとスコシニテル● 用途としては、文字列以外の特殊なプロパティとして使われることが想定されていそう○ obj[Symbol.toStringTag] = ‘tag’● ユニークなSymbolを生み出すことができる○ Symbol('foo') !== Symbol('foo')

Symbol● オブジェクトのプロパティのうち、キーがSymbolになっているものを取り出すことができるvar obj = {};var sym = Symbol();obj[sym] = 1;Object.getOwnPropertySymbols(obj)[0] === sym;

Private Symbol● https://esdiscuss.org/topic/proposal-about-private-symbol● 「getOwnPropertySymbolsで取り出せないPrivate Symbolが欲しい」● 提案したのは中国の高校生

Private SymbolPrivate Symbolがあればvar obj = function() {var privateSym = Symbol(‘hoge’, true);this[privateSym] = ‘秘密のデータ’};privateSymが分からないのでobjから秘密のデータが見えない

Private SymbolPrivate Symbolがあればvar obj = function() {var privateSym = Symbol(‘hoge’, true);this[privateSym] = ‘秘密のデータ’};var x = {};obj.call(x); // => xにproxyを設定しておけばprivateSymがわかる

Private SymbolSymbolを外から参照できないようにするためだけなのに、長い！！

簡単に安全なコードをかけないようじゃダメ

余談● Private Symbolに関しては、過去にもっと条件をつけて提案した人がいたが、WeakMapとProxyの関係上失敗したらしい○ https://github.com/zenparsing/es-abstract-refs/issues/11#issuecomment-65723350

いつの間にかなくなってたけど理由がはっきり分からないやつ

いつの間にかなくなってたけど理由がはっきり分からないやつ時間が足りませんでした！(土下座

Object Literal Extensions● http://wiki.ecmascript.org/doku.php?id=harmony:object_literals● Objectの文法拡張提案○ Set Literal [[Prototype]] Operator○ Object Literal Property Shorthands○ Object Literal Property Value Shorthand○ Object Literal Computed Property Keys○ Object Initialiser super References○ Object Extension Literal

Object Literal Extensions● http://wiki.ecmascript.org/doku.php?id=harmony:object_literals● Objectの文法拡張提案○ Set Literal [[Prototype]] Operator → 死亡○ Object Literal Property Shorthands → 一部死亡○ Object Literal Property Value Shorthand → 生存○ Object Literal Computed Property Keys → 生存○ Object Initialiser super References → 一部死亡○ Object Extension Literal → 死亡

Set Literal [[Prototype]] Operator

Set Literal [[Prototype]] Operator● http://wiki.ecmascript.org/doku.php?id=harmony:proto_operator● MemberExpression <| ProtoLiteral○ という構文

基本的な機能右の値(RHS)の[[Prototype]]に左のオブジェクト(LHS)を代入して返す(LHSを継承したRHSを返すみたいなイメージ)var obj = {c: 3};var newObj = obj <| {a: 1, b: 2};newObj.c // => 3

ただし、右が関数式の場合は

RHSにくるもので挙動が異なる！

なんとなく死んだ理由がわかった気がする...(そもそも <| って気持ち悪い)

要調査● class(ECMAScript6から追加された)のextendsとして生まれ変わったのかも？○ https://esdiscuss.org/topic/alternative-syntax-forclass Parent { … }class Child extends Parent { … }class Child2 extends (function() {}) { … }

Object Literal Property Shorthands

Object Literal Property Shorthandsvar old = {bar: 1,foo: function() { return 1 }};var new = {bar := 1,foo() { return 1 }};// ※newオブジェクトのpropertyは全てnon-writable

Object Literal Property Shorthandsvar old = {bar: 1,foo: function() { return 1 }};var new = {bar := 1, → 死亡foo() { return 1 } → 生存};// ※newオブジェクトのpropertyは全てnon-writable

なんでそうなったかは不明

Object Initialiser super References

Object Initialiser super References● http://wiki.ecmascript.org/doku.php?id=harmony:object_initialiser_super● super keywordを使って継承元のclassのメソッドが呼び出せる○ Pythonで見たことあるkeywordだな...

Object Initialiser super References生き残った例class Parent {foo() { … }}class Child extend Parent {foo() { super(); }}

Object Initialiser super References生き残った例2class Parent {foo() { … }}class Child extend Parent {bar() { super.foo(); }}

Object Initialiser super References死んだ例(当初はclassはなかったので、classがあったと想定)class Child extend Parent {get super set f(v) { f = v; }}

Object Initialiser super Referencesclass Child extend Parent {get super set f(v) { f = v; }}上と下は同じclass Child extend Parent {set f(v) { f=v; }get f() { return super.f; }}

get super set…うーん...(set super getもある)

Object Extension Literal.を使ってオブジェクトを拡張できるリテラルvar obj = {};obj.{ a: 1, b: 2, c: 3 };obj.a // => 1

Object Extension Literal● そこそこ物議を醸した○ https://esdiscuss.org/topic/new-object-extension-literal-strawman● さらに、これを使ったclass定義を考える人も○ http://wiki.ecmascript.org/doku.php?id=harmony:object_extension_literal_class_pattern

ところで、生き残った構文は？

Object Literal Property ValueShorthand

Object Literal Property Value Shorthandオブジェクトの初期化時に、変数名とプロパティ名が同じ場合に使える省略記法var a = 1, b = 2;var old = { a: a, b: b };var new = { a, b };

Object Literal ComputedProperty Keys

Object Literal Computed Property Keysオブジェクトの初期化時に、プロパティ名に式の評価結果を与えることができるvar a = ‘key’;var old = {}; old[a] = 1;var new = { [a]: 1 };

個人的にはあまり使いたくない

まとめ● Proposalにもいろいろある○ こんなん考えたんだけどどう？程度のものから○ Abstruct Syntax Tree入りの仕様を持ってくるものまで● コミュニティの皆様方、お疲れ様です...○ 特に前者のProposalは意図を把握するのが大変そう○ ミーティングが思ったより戦いっぽくて大変そう

死んでいったProposalに黙祷

Movatterモバイル変換

Change Language

ECMAScript没proposal追悼式

Embed presentation

Recommended

More Related Content

What's hot

Similar to ECMAScript没proposal追悼式

More from 京大マイコンクラブ

ECMAScript没proposal追悼式

Movatterモバイル変換

ECMAScript没proposal追悼式

Recommended

More Related Content

What's hot

Similar to ECMAScript没proposal追悼式

More from 京大 マイコンクラブ

ECMAScript没proposal追悼式

More from 京大マイコンクラブ