TypeScriptは過去最高のプログラミング言語だと思う

hr.icon

しかしまずbabelの設定ファイルで消耗し、すぐに開発を始めることができなかった

jsだと関数の引数や返り値の型がわからず、静的解析もできず、エディタのコード補完も効かず、暗中模索でデバッグする羽目になった

実を言うと３年ほど前はHaxeを使ってWebアプリを開発していたが、コミュニティの冷め具合に絶望してやめてしまった

そこでまず試してみたのがFacebookのFlowだった

しかしすぐにFlowが求めているものでないことが分かった

理由としては……なんかJSじゃない感じだったから

あとはエディタの補完が全然ちゃんと動かなかったこともある

それでTypeScriptを使ってみたら驚くほど簡単に導入できた

これがどういうことかというと、JSはTSに含まれるということだ

つまりTSはJavaScriptの機能を100%使える上で、TypeScriptの機能を使える

僕はJavaScript自体は相当に好きな言語なのでこれは大きかった

ということで実際によいポイントを列挙していく

tsc

これが最高だった

型システム

TypeScriptの型システムはとても良くできている

本当に過去の静的型付き言語を置き去りにするレベルの進化をしている

今まで型というのは暗黙的にクラスのことであり、インターフェイスも結局クラスに実装する必要があった

これがどういうことかというと、通常のプログラミング言語で型を使う場合はこういった記述になると思う

code:ts

type SomeParams = {

id: string,

}

type SomeResult = {

id: string

name: string

}

function some(params: SomeParams) : SomeResult {

...

}

まず型定義があって、シグネチャは定義済みの型を適用して解決するという感じ

しかし、TypeScriptは型をインラインに定義することができる

わかりやすく書くとこう

code:ts

function some({id}: {id: string}): {

id: string,

name: string

} {

...

}

引数の型も、返り値の型もその場で宣言してちゃんと解決できる

これすごくないですか

古の言語ジャバではこれを書くために少なくともファイルが３つは必要だった

ジャバは１ファイル1クラス/インターフェイスだからね

更にいうと、TypeScriptの型システムは、明示的にその型を実装していなくても解決される

エディタの補完

TypeScriptは、その（ちゃんと解決するのが）複雑な型システムにもかかわらず、エディタとの相性が最高にいい

IntelliJ系は他のどのエディタも最高クラスに使いやすく、最近はIntelliJでしか開発してない

無料のものだとVSCodeが一番有名かも

開発元が同じだしね

ただインテリセンスの充実度でいうとIntelliJに比べると機能が劣るのであまり使っていない

TypeGuard

TypeScriptにはTypeGuardという機能がある

これはTypeScriptが生み出した数ある革命の一つだとおもう

まず根本的な問題として、JavaScriptをベースとしたTypeScriptには厳密に型を解決しづらいという難点がある

これは、TypeScriptの型は単なる静的解析のためのものであり、ランタイムでは型情報がオミットされ、一切利用されないという方針によるものだ

なぜならTypeScriptはJavaScriptへのトランスパイルを挟まないと実行することはできず、JSになった時点でTypeScriptの静的型情報は消えざるを得ない

例えばこういう型があったとして

code:ts

type User = {

id: string,

name: string

}

type Dog = {

id: string,

dogName: string

}

こういう多態的な関数があったとする

code:ts

//人間か犬の名前を返す

function getName(userOrDog: User | Dog): string {

...

}

ちなみにこの宣言方法はTypeScriptのUnion Typeというもので、型の論理和である

この関数の引数の型は実行時まで分からないが、実行時にはただのJSオブジェクトしか渡ってこない

こういう状況でどうやってname/dogNameを静的に解決するか？

ちなみに、こういう書き方はできない

code:ts

function getName(userOrDog: User | Dog): string {

return userOrDog.name || userOrDog.dogName

}

コンパイルエラーになる

code:log

hoge.ts:10:21 - error TS2339: Property 'name' does not exist on type 'User | Dog'.

Property 'name' does not exist on type 'Dog'.

10 return userOrDog.name || userOrDog.dogName

~~~~

hoge.ts:10:39 - error TS2339: Property 'dogName' does not exist on type 'User | Dog'.

Property 'dogName' does not exist on type 'User'.

10 return userOrDog.name || userOrDog.dogName

~~~~~~~

静的解析の時点では引数の型にはname、もしくはdogNameが確実に存在するとは判断されない

ちなみにこういうのは解決される

code:ts

function getId(userOrDog: User | Dog): string {

return userOrDog.id

}

Union Typeは、集合論的にIntersectionな型情報は解決してくれる

code:log

User | Dog

( name ( id ) dogName )

こういった曖昧な型を解決するための機能がTypeGuardである

TypeGuardは、自分で定義した（クラス以外の）型については基本的に自分で型を解決する手段を用意するという方針だ

UserとDogを判別するためのTypeGuardはこう記述する

code:ts

function isUser(x): x is User {

return x.hasOwnProperty("id") && x.hasOwnProperty("name")

}

function isDog(x): x is Dog {

return x.hasOwnProperty("id") && x.hasOwnProperty("dogName")

}

これらを用いて先程の関数を書き直すと、

code:ts

function getName(userOrDog: User | Dog): string {

if (isUser(userOrDog)) return userOrDog.name;

if (isDog(userOrDog)) return userOrDog.dogName;

}

こういう記述になる

TypeScriptの型にはスコープがあり、TypeGuardで守られたスコープの中ではその変数はその型であると保証される

大事なことなのでもう一度言います

TypeScriptの型にはスコープがあります

これは非常に便利である

本来上記のようなUnionTypeを持った関数を作るべきではないのだが、どーーーーーーーーーーしても止むにやまれない事情においてそういうことをせざるを得ない時に、一番ラクに解決できるのがTypeGuardである

何故かと言うと、TypeGuardは型情報を使わずに型を解決するという一見無意味なことをやっているわけだが、そういうゆるい解決方法が結局柔軟に働く場面が多い

こういうサボり方もできるので

code:ts

function isDog(x): x is Dog {

return !!x.dogName

}

また、TypeScriptは型スコープも論理解決してくれる

上記の関数は、実はこうもかける

code:ts

function getName(userOrDog: User | Dog): string {

return isUser(userOrDog) ? userOrDog.name: userOrDog.dogName

}

三項演算子の一番右、すなわち userOfrDog ≠ User ⇔ userOrDog = Dogが確定したスコープでは、userOrDogはDogとして解決されている

これやばすぎない？

引数に複数の型の混合型を渡すのがどれだけ大変なことなのかというのは、他の静的型付け言語を知っている人ならわかると思う

実際の開発時は、クラスを型として使うことはまずなく、ファクトリとtypeやinterfaceを使うわけなのでこういった解決方法はすごい革命だと思う

コンパイルが速い

tsはコンパイルがとにかく速い

コンパイルと言うかトランスパイルだから当然なのだけど、これだけ複雑な型システムを解決してjsにする時間が速すぎる

ナントカpackとかよりも速いと思う