Slide 1
Slide 1 text
Language Update
TypeScript
--&WFOU
CZ!2VSBNZ
Slide 2
Slide 2 text
"CPVUNF
w ݟ༸ีBLB!2VSBNZ
w ϑϩϯτΤϯυΤϯδχΞ
w ීஈ3FBDU3FEVYͰ41"Λ࡞ͬͯ·͢
Slide 3
Slide 3 text
No content
Slide 4
Slide 4 text
5ZQF4DSJQU͓͞Β͍
Slide 5
Slide 5 text
5ZQF4DSJQUͱ
w .JDSPTPGU͕։ൃͨ͠"MU+BWB4DSJQU
ओཁͳઃܭऀʹ"OEFST)FKMTCFSH͕͍Δ
w ੩తͳܕݴޠ
w +BWB4DSJQUͷεʔύʔηοτɻ࣍తͳಋೖ͕Մೳ
w #PPUTUSBQQJOH
w ΤσΟλϑϨϯυϦʔ
Slide 6
Slide 6 text
ܕνΣοΫͱਪ
w ؔTVNͷΓOVNCFSͰ͋Δ͜ͱΛਪ͢Δ
function sum(a: number, b: number) {
return a + b;
}
console.log(sum(1, sum(1, 1))); // OK
// Argument of type '"a"' is not assignable to
// parameter of type 'number'
console.log(sum('a', 'b'));
Slide 7
Slide 7 text
4USVDUVBMTVCUZQJOHT
w 5ZQF4DSJQUߏత෦ܕΛ࠾༻͍ͯ͠Δ
w %VDL5ZQJOHͷܕόʔδϣϯͷΑ͏ͳͷ
w ܕͷܧঝؔؾʹͤͣɺܕ͕͍ͬͯΔϝ
ιουɾϓϩύςΟͷ߹கͷΈΛؾʹ͢Δ
Slide 8
Slide 8 text
4USVDUVBMTVCUZQJOHT
class Hoge {
name = "Kurami";
}
class Foo {
name = "Quramy";
}
function sayHello(obj: { name: string }) {
console.log(obj.name);
}
sayHello(new Hoge());
sayHello(new Foo());
sayHello(new Error("error"));
Slide 9
Slide 9 text
ϥΠϒϥϦͷܕఆٛ
w ༗໊ͳϥΠϒϥϦOQNJ!UZQFTϥΠϒϥϦ
໊Ͱܕఆ͕ٛެ։͞Ε͍ͯΔ
w ࠷ۙEUT ܕఆٛϑΝΠϧ
Λಉࠝͨ͠ύοέʔ
δ૿͖͍͑ͯͯΔ
npm i @types/node
import path from "path";
export function hoge() {
const x = path.join("src", "main.ts");
}
Slide 10
Slide 10 text
࠷ۙͷ5ZQF4DSJQU
Slide 11
Slide 11 text
w *NQSPWFNBQQFEUZQFNPEJpFST
w $POEJUJPOBMUZQFT
w 5ZQFJOGFSFODFJODPOEJUJPOBMUZQFT
w 6OLOPXOUZQF
w 5VQMFTJOSFTUQBSBNFUFSTBOETQSFBEFYQSFTTJPOT
w .BQQFEUVQMFUZQFT
w 4USJDUCJOE
DBMM
BOEBQQMZNFUIPETJOGVODUJPOT
w )JHIFSPSEFSGVODUJPOUZQFJOGFSFODF
w *NQSPWFETVQQPSUGPSSFBEPOMZBSSBZTBOEUVQMFT
w $POTUDPOUFYUTGPSMJUFSBMFYQSFTTJPOT
w "TTFSUJPOJODPOUSPMqPXBOBMZTJT
w &UD
Slide 12
Slide 12 text
ΊͪΌͪ͘Ό৭ʑ͋Δ
Slide 13
Slide 13 text
5ZQF4DSJQUͲ͜ʹ͔͍ͬͯΔʁ
Slide 14
Slide 14 text
"The goal of TypeScript's type system is to
statically model patterns in JavaScript in a
reasonable way while catching bugs and enforcing
correctness"
্ظ5ZQF4DSJQUϩʔυϚοϓ IUUQTHJUIVCDPN.JDSPTPGU5ZQF4DSJQUJTTVFT
ΑΓൈਮ
Slide 15
Slide 15 text
w +BWB4DSJQUͷදݱͷॊೈ͞Λอͪͭͭɺܕਪ
ྗɾܕνΣοΫೳྗΛߴΊΔVQEBUF͕܁Γ
ฦ͞Ε͍ͯΔ
w ܕνΣοΫͷڧྗ͞Λ͑Δ͘ɺʢൺֱతʣ
࠷ۙͷػೳΛҰ෦հ
Slide 16
Slide 16 text
%FNP
Slide 17
Slide 17 text
"QQFOEJY
$POEJUJPOBMUZQFT
Slide 18
Slide 18 text
$POEJUJPOBMUZQFT
w WYͰಋೖ
w "TTJHOBCMFΛ݅ͱͯ͠ذ͢ΔܕΛදݱՄೳ
w ʮܕ5͕ܕ6ͷ෦ܕͰ͋Εɺܕ9ɺͦ͏Ͱͳ͚Ε
ܕ:ʯͱ͍͏ҙຯ
type MyType = T extends U ? X : Y;
Slide 19
Slide 19 text
5ZQFJOGFSFODFJO
DPOEJUJPOBMUZQFT
Slide 20
Slide 20 text
5ZQFJOGFSFODFJODPOEJUJPOBMUZQFT
w WYͰ$POEJUJPOBM5ZQFTͱಉ࣌ʹϦϦʔε
͞Εͨػೳ
w $POEJUJPOBM5ZQFTͷ݅෦ʹͯϚονϯ
ά࣌ʹਪ͞ΕͨܕΛ࠶ར༻Ͱ͖ΔΑ͏ʹ
T extends MyCondition ? SomeType : Y;
Slide 21
Slide 21 text
*OGFSBOE$BQUVSF
w ਖ਼نදݱͷΩϟϓνϟϦϯάʢάϧʔϓԽʣͱࣅ͍ͯ
Δ
w Ϛονͨ͠άϧʔϓ෦Λޙ͔Βར༻Ͱ͖Δ
const regexp = /hoge(\d+)/;
const hit = "hoge10".match(regexp);
console.log(hit[1]) // 10
Slide 22
Slide 22 text
*OGFSBOE$BQUVSF
w 5͕ؔͰ͋ΕɺͦͷΓͱͯ͠ਪ͞
ΕΔܕ͕3ʹ֨ೲ͞ΕΔ
type Return =
T extends (...args: any[]) => infer R ? R : never;
let r: Return<() => number>; // typeof r = number
Slide 23
Slide 23 text
"QQFOEJY
(FOFSJDSFTUQBSBNFUFST
Slide 24
Slide 24 text
(FOFSJDSFTUQBSBNFUFST
w 3FTU1BSBNFUFSTʹ૯শܕ͕ར༻Մೳʹ
w WYʹ͓͚ΔՄมҾܕਪڧԽͷҰ
w
declare function curry(
fn: (x: T, ...args: U) => R
): (x: T) => (...args: U) => R;
const sum = (a: number, b: number) => a + b;
const bound = curry(sum)(1);
const x = bound(2); // type of x = number
const error = bound("hoge"); // error
Slide 25
Slide 25 text
0UIFSSFTPVSDFT
w )5.-$POGFSFODF
w IUUQTZPVUVCF/19:U8CWRL
MJTU1-F';8[-+Q;DDVPQE#K+"VPE@U:(
W7$*)W
w IUUQTTQFBLFSEFDLDPNRVSBNZ
UZQFTDSJQUFWPMVUJPOOHPOBJS
Slide 26
Slide 26 text
&OKPZUZQJOH5ZQF4DSJQU
Slide 27
Slide 27 text
5IBOLZPV