Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Equivalence_in_JS

00580f6c11851d2fff0b3e2f7392226b?s=47 chikoski
August 27, 2017
Technology
0
610

 Equivalence_in_JS

This slide introduces "equivalence" and Set type in JavaScript

00580f6c11851d2fff0b3e2f7392226b?s=128

chikoski

August 27, 2017
Tweet

More Decks by chikoski

See All by chikoski
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
0
24
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
1
680
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
1
490
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
1
700
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
2
940
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
1
450
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
5
9.8k
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
1
300
00580f6c11851d2fff0b3e2f7392226b?s=48 chikoski
0
50

Other Decks in Technology

See All in Technology
9b63847a4c413a2604e1d64e5d595dab?s=48 humank
0
100
Db970064044641bf2b495822d66f0685?s=48 higebu
1
240
6f7b7931d8ce4dc1349767c8b086f355?s=48 keio_smilab
PRO
0
130
49f49940f0831a426745c028684bcdad?s=48 hatena
0
2.8k
88964b936e864ca7d326272eaa70fa9a?s=48 hgsgtk
0
920
5decf7f10129094643082b24a97a89ad?s=48 nalpan
0
360
384e4d8bab8ac2a5e6f64dab1300c491?s=48 nagano
1
900
8b9d6df49849d971221467271b68d99b?s=48 manabusugimoto
2
450
C5c09bfd9ee31f5aef8ce257643d50ea?s=48 takapy
2
390
A61adad507d7bc0ee5b52ebe333abed7?s=48 hoto17296
0
100
0deae06ab5d86b39feeec2e23a30b88a?s=48 yoku0825
PRO
8
3.9k
9955f1755a5ae81bc294db7291e56af2?s=48 cmnakahara
0
340

Featured

See All Featured
C9b18d9dff88a9dd2393364c2b3b21bd?s=48 colly
69
3.2k
Be9caeb9d4ef9944d151af909063ed6e?s=48 samlambert
238
10k
6804f1775cb4babfcc3851298566fbce?s=48 tanoku
260
24k
9fa239b3154a0169d99ab7bf1422dd12?s=48 marcelosomers
224
15k
95d9f37115fbb0d13135d0f77132f856?s=48 morganepeng
31
1.7k
8081b26e05bb4354f7d65ffc34cbbd67?s=48 chriscoyier
688
180k
C0b42577cfc2b321be3474618107e933?s=48 samanthasiow
61
6.8k
96270e4c3e5e9806cf7245475c00b275?s=48 addyosmani
1352
200k
1b75d89772b7eea1f6c89fbf362607d9?s=48 moore
129
22k
88bc30284c6a424b63a92aad27d0ba36?s=48 jnunemaker
PRO
43
4.9k
3d4519fd34b76fb265fc0237f3792bd4?s=48 danielanewman
6
750
9cde37f47e4a800ea081ea42de8d749a?s=48 dougneiner
122
8.2k

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. 同じ、は難しいのう