About Type Syntax Proposal

by Yosuke Kurami

Slide 1

Slide 1 text

5ZQF4DSJQU͕&$."4DSJQUʹ ؚ·ΕΔ೔͕དྷΔ͔΋ʂ

Slide 2

Slide 2 text

5ZQF4ZOUBY1SPQPTBM https://github.com/tc39/proposal-type-annotations

Slide 3

Slide 3 text

5ZQF4ZOUBY1SPQPTBM w .JDSP4PGU͕5$ʹఏग़ͨ͠૲Ҋ ೥݄ݱࡏ͸4UBHF https://devblogs.microsoft.com/typescript/a-proposal-for-type-syntax-in-javascript/

Slide 4

Slide 4 text

5ZQF4ZOUBY1SPQPTBM w τϥϯεύΠϧͤͣʹɺUTϑΝΠϧΛ࣮ߦͰ͖ΔΑ͏ʹͳΔ w ʮϒϥ΢β͕ܕνΣοΫΛͯ͘͠ΕΔʯΘ͚Ͱ͸ͳ͍ w 5ZQF4ZOUBYͱ͋ΔΑ͏ʹɺ4ZOUBY จ๏ ͷ࿩ w 4FNBOUJDT ҙຯ ʹ͸Ұ੾౿Έࠐ·ͳ͍

Slide 5

Slide 5 text

5ZQF4ZOUBY1SPQPTBM w +BWB4DSJQUΤϯδϯ͸: numberͷ෦෼Λ੾Γམͱ࣮ͯ͠ߦ͢Δ͚ͩ 5ZQF"OOPUBUJPO͕ਖ਼͍͔͠Ͳ͏͔͸ෆ໰ w $ tsc --target esnextͱಉ͜͡ͱΛ+BWB4DSJQUΤϯδϯଆ͕΍ͬͯ͘ ΕΔΠϝʔδ

Slide 6

Slide 6 text

จ๏͕ඪ४Խ͞ΕΔҙຯ 'PS5ZQF4DSJQU w 5ZQF4DSJQUຊՈʹͱͬͯ w 5ZQF4ZOUBY͕&$."4DSJQUʹؚ·ΕΔͱɺߏจͷ௥Ճʹඪ४Խϓϩη εΛ௨աͤ͞Δඞཁ͕ൃੜ͢ΔʢউखʹߏจΛมߋͰ͖ͳ͍ʣ w .JDSP4PGUࣗ਎͕5ZQF4ZOUBYΛఏҊ͍ͯ͠Δͱ͍͏͜ͱ͸ɺ൴Βࣗ਎͕ ʮ5ZQF4DSJQUͷߏจ͸े෼ʹݻ·͖ͬͯͨʯͱߟ͍͑ͯΔূࠨʁ

Slide 7

Slide 7 text

จ๏͕ඪ४Խ͞ΕΔҙຯ SE1BSUZ5SBOTQJMFS w ۙ೥ར༻͕౰ͨΓલʹͳΓͭͭ͋ΔɺCBCFM TXD FTCVJMEͳͲͷSEύʔς ΟτϥϯεύΠϥ w ͜ΕΒͷπʔϧ͸5ZQF4DSJQU༻ͷߏจղੳثΛ࣮૷͍ͯ͠Δ w จ๏ͷඪ४ԽʹΑΓɺ҆ఆͨ͠ߏจղੳ͕ߦ͑ΔΑ͏ʹͳΔ w Ϗϧυ༻ͷτϥϯεύΠϥʹٻΊΒΕ͍ͯΔͷ͸ʮܕΞϊςʔγϣϯͷ࡟আʯ ͚ͩ XFCQBDLճ͢ͱ͖ʹܕνΣοΫ͸͍Βͳ͍

Slide 8

Slide 8 text

Ͳ͏උ͑Δ͔ w ݱঢ়͸4UBHFͰ͋Γɺࠓ͙͢ϢʔβʔϥϯυͰͲ͏͜͏͢Δ࿩Ͱ͸ͳ͍ w Ұ෦ͷϥϯλΠϜʹӨڹΛٴ΅͢จ๏ FHOBNFTQBDF FOVN FUD ʹ͍ͭ ͯ͸ɺ5ZQF1SPQPTBMͷൣғ֎ͱ͞Ε͍ͯΔ w ʮ͜ΕΒͷػೳΛੵۃతʹ࢖Θͳ͍Α͏ʹ͓ͯ͘͠ʯͷ͸ΞϦ

Slide 9

Slide 9 text

5IBOLZPV