TypedCoffeeScriptって、あったらよくないですか

Transcript

1. TypedCoffeeScriptͬͯɺ͋ͬͨΒΑ ͘ͳ͍Ͱ͔͢ @mizchi altjs෢ಆձ

2. About&me • @mizchi • ओʹϑϩϯτΤϯυΤϯδχΞ • AltJSϚχΞ • ࠷ۙ͸LLVM΍phaser.js(WebGLͷ2dήʔϜΤϯδϯ)ʹڵຯ

3. TypedCoffeeScript ͱ͸

4. ͳʹ͜Ε? • mizchi/TypedCoffeeScript • ʮܕ෇͖ʯCoffeeScript • CoffeeScriptͷεʔύʔηοτ(ݩͷcoffee͸શ෦௨͢) • CoffeeScriptͷจ๏.+.TypeScript෩Subtyping •

   ൵؍తܕਪ࿦(ޙड़) • ੩తղੳ

5. CoffeeScript:,એݴ n = 42 p = x: 1, y: 2

6. TypeCoffeeScript:.એݴ n :: Number = 42 struct Point x ::

   Int y :: Int p :: Point = x: 1, y: 2

7. TypedCoffeeScript͸ԿΛ͔ͨ͠ʁ • ܕΞϊςʔγϣϯͷղऍ • ߏ଄ମએݴ • ୅ೖ࣌ܕνΣοΫ • ΦϒδΣΫτϦςϥϧͷਪ࿦ •

   Int%&>%Numberͷμ΢ϯΩϟετ(Number%:>%Float%:>%Int)

8. CoffeeScript:,ؔ਺ {sqrt, pow} = Math distance = (from, to) ->

   sqrt pow(from.x - to.x, 2) + pow(from.y - to.y, 2) console.log distance {x: 0, y: 0}, {x: 3, y: 4} #=> 5

9. TypedCoffeeScript:/ؔ਺ sqrt :: Number * Number -> Float pow ::

   (Number, Number) -> Float {sqrt, pow} = Math distance :: Point * Point -> Float distance = (from, to) -> sqrt pow(from.x - to.x, 2) + pow(from.y - to.y, 2) console.log distance {x: 0, y: 0}, {x: 3, y: 4} #=> 5

10. TypedCoffeeScript:/ؔ਺ foo = Int -> Int -> Int foo =

    (m) -> (n) -> m * n n :: Int = foo(3)(2) ͜Μͳ͜ͱ΋

11. TypedCoffeeScript͸ԿΛ͔ͨ͠ʁ • લஔܕΞϊςʔγϣϯ • BinaryOperatorͷਪ࿦:.(+.Float.Float).4>.Float • ؔ਺ࣜͷܕνΣοΫ • ؔ਺ద༻ͷܕνΣοΫ •

    ະఆٛγϯϘϧͷAnyܕ΁ͷϑΥʔϧόοΫ(consoleະఆٛ)

12. Structual(Subtyping struct Point {x :: Int, y :: Int} p

    :: Point = {x: 1, y: 2, z: 3} n :: Int = p.z # type error p3d :: {x :: Int, y :: Int, z :: Int} = p # type error • ୅ೖઌ͕αϒΫϥεͰ͋Δ͜ͱΛཁٻ͢Δ • ܕΞϊςʔγϣϯ͕એݴ͞ΕͨγϯϘϧ(ม਺)͸Ҏ߱ͦͷΠϯλ ʔϑΣʔεͰৼΔ෣͏

13. ൵؍తܕਪ࿦ • ͢΂ͯͷࣜ͸implicitଐੑͩͱԾఆ͢Δ • implicitଐੑಉ࢜Ͱܕਪ࿦ΛࢼΈࣦͯഊͨ͠৔߹͸" implicitଐੑͷAnyܕʹϑΥʔϧόοΫ͢Δ • Ϣʔβʔ͕ΞϊςʔγϣϯΛهड़ͨࣜ͠͸ඇimplicitଐੑ • ඇimplicitଐੑ͕ؔΘͬͯܕਪ࿦͕ࣦഊͨ͠৔߹ɺΤϥʔͱ

    ͳΔ

14. ͦͷଞͷػೳ • array • nullable • class͔ࣜΒͷߏ଄ମࣗಈநग़ • generics(wip) •

    TypeScript5importer(wip)

15. ͳͥ࡞͔ͬͨ • CoffeeScriptͰϥΠϒϥϦΛࢼͭͭ͠ϓϩτλΠϓΛ࡞Γ·͘Δ • ݎ࿚ͳઃܭΛ໨ࢦ͢ͱ΍͸Γܕ͕΄͘͠ͳΔ • TypeScriptͰॻ͖ͳ͓͢ͱܕఆٛΛॻ͍ͯҰ೔͕ऴΘΔ • CoffeeScriptͷତམͨ͠จ๏ͷ··Ͱɺܕ͕ͳ͍ঢ়ଶ͔Βɺஈ֊ తʹҠߦͰ͖ΔΑ͏ͳݴޠ͕΄͍͠ͳΝ…

16. ݱ࣮తͳधཁ • HTML5ΞϓϦέʔγϣϯͷڊେԽ • ͱ͘ʹγϯάϧϖʔδΞϓϦέʔγϣϯ(SPA)ͷधཁ • ֤͕ࣾେن໛CoffeeScriptͷϦιʔεΛ๊͑ͯΔͬΆ͍ • εʔύʔηοτͳίϯύΠϥஔ͖׵͑Ͱஈ֊తʹܕ؀ڥͷҠߦ

17. ओ؍ʹجͮ͘coffeeͱtypescriptͷൺֱ • CoffeeScriptͷϝϦοτ • ͔͍͍ͬ͜ • CoffeeScriptͷσϝϦοτ • ܕ͕ͳ͍ •

    TypeScriptͷϝϦοτ • ܕ͕͋Δ

18. CoffeeScript+++TypeScript Զ͕ߟ͑ͨ࠷ڧͷAltJS

19. ࠷ۙͷਐḿ • CoffeeScriptReduxͷsuper࣮૷ • TypeScriptͷܕఆٛϑΝΠϧͷύʔαΛ࡞ͬͨ(mizchi/dts8 parser) • ↑ʹରԠ͢ΔͨΊʹ಺෦ASTΛ΄΅θϩ͔Βॻ͖௚ͨ͠

20. ݱࡏͷϓϩδΣΫτͷ՝୊ • झຯ࣌ؒͰ࡞Δʹ͸։ൃ͔͔࣌ؒΓ͗͢໰୊ • Ϋϥ΢υϑΝϯσΟϯάͰ͖ͳ͍͔ߟҊத • ύτϩϯืूதɻ๻ͷ౔೔ͷϞνϕʔγϣϯΛۚͰങ͍·ͤΜ ͔?#$>#اۀ༷ • ʮ΍Δؾʯ͕͋ͬͨΒSublimeText/VimͷΠϯςϦηϯε͙Β͍

    ·Ͱ࡞ΕΔ͔΋Ͷ??? • ֎ਓ͔Β͍Ζ͍Ζཁ๬͕͘Δ

21. ྺ࢙ • ࡢ೥8݄:$jashkenas/coffeescript$ͷίʔυಡΈ࢝ΊΔ • ࡢ೥10݄:$ϩϯυϯग़ுதͷඈߦػͷதͰϓϩτλΠϓΛ࡞Δ • ࡢ೥12݄:$ܕਪ࿦ΛҰ௨Γ࡞Δ • ࠓ೥1~3݄:$ଔ࿦๩͗͢͠ϫϩλ •

    ࠓ೥5݄:$altjs෢ಆձͰcoffeeҎ֎ͷൃද͢Δʁ • ։ൃ࠶։͢Δ͔ʂ

22. ઃܭࢦ਑ • ܕΞϊςʔγϣϯߏจΛ௥Ճ • ੩తղੳ • ίϯύΠϥʹ͸ۃྗखΛೖΕͳ͍(Ϛʔδ͕ࠔ೉ʹͳΔͨΊ) • ίϯύΠϥͱ͸ผʹAST'TraverserΛॻ͘ •

    ϊʔυ͝ͱʹtypeAnnota2onΛղܾ͢Δܕਪ࿦ثΛ࡞Δ ઃܭํ਑:"ݎ࿚ͳઃܭ"<"طଘίʔυ͔ΒͷҠߦίετ࠷খԽ

23. ϚΠϧετʔϯ • v0.11 • return,,෼ׂ୅ೖ,,δΣωϦΫε,,super,ͷਪ࿦ • ΤϥʔϨϙʔτͷվળ • v0.12 •

    module • typealias • typescript,d.ts,importer

24. ͓ΘΓ mizchi/TypedCoffeeScript!͸͋ͳͨͷ ߩݙΛ଴͍ͬͯ·͢ʂ