Equivalence_in_JS

00580f6c11851d2fff0b3e2f7392226b?s=47 N. Shimizu
August 27, 2017
Technology
0
270

 Equivalence_in_JS

This slide introduces "equivalence" and Set type in JavaScript

00580f6c11851d2fff0b3e2f7392226b?s=128

N. Shimizu

August 27, 2017
Tweet

More Decks by N. Shimizu

See All by N. Shimizu
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
1
440
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
1
620
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
2
860
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
1
420
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
5
9.3k
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
1
270
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
0
42
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
0
730
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
0
230

Other Decks in Technology

See All in Technology
5df7b3418b4b5528ddfe514d73008883?s=48 tsugimot
0
130
9e7a653ed313b3da4b263a772bfc5026?s=48 clustervr
0
230
22ac00b36d2057e61ee1c06f0f5dc6cb?s=48 nakazax
0
450
A2cac4b3dcb2bc0b87917ddc034ef708?s=48 sansandsoc
0
150
0d040d77cca56a9652d74db65bac0245?s=48 elasticanz
0
120
7cd783377515bdf8207062840b7b2f4e?s=48 soracom
0
180
706ff501573a736401aa4de5adc88e05?s=48 nihonbuson
2
690
7cd783377515bdf8207062840b7b2f4e?s=48 soracom
0
130
Bf7fe621f4fe1615c228ef8a79b87282?s=48 shirayanagiryuji
0
340
7cd783377515bdf8207062840b7b2f4e?s=48 soracom
0
220
73560128b23de542e47a318145bc781a?s=48 kawanamiyuu
0
220
D1dd88d67a1b17b9d2ad981b75d205f3?s=48 myamashii
0
510

Featured

See All Featured
053e75a5b48b44d6dd0612795dfb326d?s=48 notwaldorf
2
1.2k
7559f6cff1f5efc2d210965febd4d71c?s=48 bermonpainter
340
26k
9fa239b3154a0169d99ab7bf1422dd12?s=48 marcelosomers
220
15k
96270e4c3e5e9806cf7245475c00b275?s=48 addyosmani
494
110k
61857dafbd287b3027c4dcea9008ad3c?s=48 carmenhchung
22
1.1k
1519587b1a0febb658c36c94f6272b0d?s=48 roundedbygravity
241
21k
1b75d89772b7eea1f6c89fbf362607d9?s=48 moore
125
21k
766b9746b59e6f09e280cd33cf4ed419?s=48 skipperchong
6
590
B47b288784fda77a94aeb234ca743c24?s=48 keavy
106
14k
027d1ebf66cc039a0bd3b55eeadbe75d?s=48 sachag
267
16k
1177e050db6bafe62885362edf6e3537?s=48 lauravandoore
9
1.1k
Dafc4723e9a1c067796c0fec6f509774?s=48 lemiorhan
625
41k

Transcript

  1. 同じ、とは N.Shimizu (chikoski@gmail.com)

  2. 2と10は同じ

  3. 3と10は同じ

  4. 2と30029は同じ

  5. Set: 重複を許さない値の集まり DPOTUMJTU<       

     > DPOTUTOFX4FU <         >  TTJ[FMJTUMFOHUIGBMTF MJTUKPJO             "SSBZGSPN T KPJO       TIBT  USVF TIBT  GBMTF

  6. 「同じ値」のオブジェクトなのに重複してしまう DMBTT1PJOU\ DPOTUSVDUPS Y Z \UIJTY UIJTZ^ ^ DPOTUQ Y

    Z OFX1PJOU Y Z  DPOTUMJTU<Q   Q   Q   Q   Q   Q   > DPOTUTOFX4FU MJTU  TTJ[FMJTUMFOHUIUSVF TIBT Q   GBMTF

  7. Setにとって、「同じ」とは？

  8. ECMAScriptに定義されている同値性比較* 利用しているJSの演算子 / 関数 Setが利用しているもの Abstract Equality Comparison  Strict

    Equality Comparison  SameValue 0CKFUJT SameValueZero "SSBZQSPUPUZQFJODMVEF ϧ * SameValueNonNumber もありますが、処理系内部での利用に限られるので割愛します

  9. Y Z YZ YZ 0CKFDUJT Y Z 4BNF7BMVF;FSP Y Z

    VOEFGJOFE OVMM USVF GBMTF USVF GBMTF   USVF USVF GBMTF USVF /B/ /B/ GBMTF GBMTF USVF USVF VOEFGJOFE GBMTF USVF GBMTF GBMTF GBMTF \Y Z^ \Y Z^ GBMTF GBMTF GBMTF GBMTF \Y Z^ Y USVF USVF USVF USVF

  10. Set.prototype.addの振る舞い DPOTUTOFX4FU ╘Ә㗶൶Ӽਃᘻ TBEE /B/ 4FU </B/>  TBEE /B/

    4FU </B/>  TBEE VOEFGJOFE 4FU </B/ VOEFGJOFE>  TBEE OVMM 4FU </B/ VOEFGJOFE OVMM>  DPOTUY\Y Z^ TBEE Y 4FU </B/ VOEFGJOFE OVMM PCKFDU>  TBEE Y 4FU </B/ VOEFGJOFE OVMM PCKFDU>  TBEE \Y Z^  TBEE Y 4FU </B/ VOEFGJOFE OVMM PCKFDU PCKFDU> 

  11. 演算子のオーバロードができない

  12. 継承によってSetの振る舞いを変える DMBTT.Z4FUFYUFOET4FU\ BEE Y \ JG UZQFPGYFRVBMTGVODUJPO <UIJT>GJMUFS JYFRVBMT J

    MFOHUI \ SFUVSOUIJT ^ SFUVSOTVQFSBEE Y  ^ ^

  13. DMBTT1PJOU\ DPOTUSVDUPS Y Z \UIJTY UIJTZ^ FRVBMT QPJOU \SFUVSOUIJTYQPJOUYUIJTZQPJOUZ^ ^

    DPOTUQOFX1PJOU    DPOTUQOFX1PJOU    QQGBMTF QFRVBMT Q USVF DPOTUTOFX.Z4FU  TBEE Q 4FU <PCKFDU>  TBEE Q 4FU <PCKFDU> 

  14. 評価用のコード DPOTUOFYU*OUNBY7BMVF.BUIGMPPS NBY7BMVF .BUISBOEPN  GVODUJPON TFU UJNFT \ MFUUPUBM

    GPS MFUUUUJNFTU \ DPOTUTUBSU5JNF%BUFOPX  DPOTUQOFX1PJOU OFYU*OU TFUTJ[F   TFUBEE Q  UPUBM %BUFOPX TUBSU5JNF ^ SFUVSOUPUBMUJNFT ^

  15. 適当な評価結果：激遅い* ͢Ͱʹೖ͍ͬͯΔཁૉ਺ 4FU .Z4FU      

             * MacBook Pro 15inch 2016 / 2.7 GHz Intel Core i7 / 16 GB 2133 MHz LPDDR3 / N = 100

  16. パフォーマンス測定結果 • MySet.prototype.addの半分はnextという処理に費やされている • Setから配列への変換に時間がかかっているものと思われる

  17. 「同じ値を持つもの」の検索に時間がかかってる？ DMBTT.Z4FUFYUFOET4FU\ BEE Y \ JG UZQFPGYFRVBMTGVODUJPO <UIJT>GJMUFS JYFRVBMT J

    MFOHUI \ SFUVSOUIJT ^ SFUVSOTVQFSBEE Y  ^ ^

  18. ハッシュ関数を用意する DMBTT)BTI4FUFYUFOET4FU\ DPOTUSVDUPS JUFSBCMF \ TVQFS  UIJTIBTI7BMVFTOFX4FU  GPS

    DPOTUJPGJUFSBCMF \ UIJTBEE J  ^ ^ BEE WBMVF \ JG UZQFPGWBMVFIBTIGVODUJPO \ DPOTUIBTIWBMVFIBTI  JG UIJTIBTI7BMVFTIBT IBTI \ SFUVSOUIJT ^ UIJTIBTI7BMVFTBEE IBTI  ^ TVQFSBEE WBMVF  SFUVSOUIJT ^ ^ DMBTT1PJOU\ DPOTUSVDUPS Y Z \ UIJTYY UIJTZZ ^ IBTI \ SFUVSOA\UIJTY^ \UIJTZ^A ^ FRVBMT Q \ SFUVSOUIJTYQYUIJTZQZ ^ ^

  19. 速くなった！* ͢Ͱʹೖ͍ͬͯΔཁૉ਺ 4FU .Z4FU )BTI4FU     

                   * MacBook Pro 15inch 2016 / 2.7 GHz Intel Core i7 / 16 GB 2133 MHz LPDDR3 / N = 100

  20. あの、属性値変わった場合は…

  21. ユニークさが保てなくなる         

                  

  22. 解決策 • 変更を見張って、Set自体を作り直す • コスト高？変更の頻度が高いとうまくいかないのでは • 削除された要素を参照しているオブジェクトがいる場合は？ • 集合の集合をつくる •

    同じ値のグループをつくり、そのグループを管理 • 値が変更された、別のグループへ移す • コストは低い。メモリはよく使う。

  23. 同じ、は難しいのう