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

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

TypedCoffeeScript ͱ͸

ͳʹ͜Ε? • mizchi/TypedCoffeeScript • ʮܕ෇͖ʯCoffeeScript • CoffeeScriptͷεʔύʔηοτ(ݩͷcoffee͸શ෦௨͢) • CoffeeScriptͷจ๏.+.TypeScript෩Subtyping • ൵؍తܕਪ࿦(ޙड़) • ੩తղੳ

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

TypeCoffeeScript:.એݴ n :: Number = 42 struct Point x :: Int y :: Int p :: Point = x: 1, y: 2

TypedCoffeeScript͸ԿΛ͔ͨ͠ʁ • ܕΞϊςʔγϣϯͷղऍ • ߏ଄ମએݴ • ୅ೖ࣌ܕνΣοΫ • ΦϒδΣΫτϦςϥϧͷਪ࿦ • Int%&>%Numberͷμ΢ϯΩϟετ(Number%:>%Float%:>%Int)

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

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

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

TypedCoffeeScript͸ԿΛ͔ͨ͠ʁ • લஔܕΞϊςʔγϣϯ • BinaryOperatorͷਪ࿦:.(+.Float.Float).4>.Float • ؔ਺ࣜͷܕνΣοΫ • ؔ਺ద༻ͷܕνΣοΫ • ະఆٛγϯϘϧͷAnyܕ΁ͷϑΥʔϧόοΫ(consoleະఆٛ)

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 • ୅ೖઌ͕αϒΫϥεͰ͋Δ͜ͱΛཁٻ͢Δ • ܕΞϊςʔγϣϯ͕એݴ͞ΕͨγϯϘϧ(ม਺)͸Ҏ߱ͦͷΠϯλ ʔϑΣʔεͰৼΔ෣͏

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

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

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

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

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

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

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

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

ྺ࢙ • ࡢ೥8݄:$jashkenas/coffeescript$ͷίʔυಡΈ࢝ΊΔ • ࡢ೥10݄:$ϩϯυϯग़ுதͷඈߦػͷதͰϓϩτλΠϓΛ࡞Δ • ࡢ೥12݄:$ܕਪ࿦ΛҰ௨Γ࡞Δ • ࠓ೥1~3݄:$ଔ࿦๩͗͢͠ϫϩλ • ࠓ೥5݄:$altjs෢ಆձͰcoffeeҎ֎ͷൃද͢Δʁ • ։ൃ࠶։͢Δ͔ʂ

ઃܭࢦ਑ • ܕΞϊςʔγϣϯߏจΛ௥Ճ • ੩తղੳ • ίϯύΠϥʹ͸ۃྗखΛೖΕͳ͍(Ϛʔδ͕ࠔ೉ʹͳΔͨΊ) • ίϯύΠϥͱ͸ผʹAST'TraverserΛॻ͘ • ϊʔυ͝ͱʹtypeAnnota2onΛղܾ͢Δܕਪ࿦ثΛ࡞Δ ઃܭํ਑:"ݎ࿚ͳઃܭ"<"طଘίʔυ͔ΒͷҠߦίετ࠷খԽ

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

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