モバイルアプリをネイティヴからハイブリッドへリプレイスするけどジャヴァスクリプトもうギヴアップってわけ。

そんな気分がありつつ、TypeScript勉強して楽しくなってたから提案というか「選定の無念を晴らす！」という感じでやることにした。当時の自分の周辺ではJSではgulpを使っていて、ちょうどTS公式のドキュメントにもgulp設定が書いてあったりして、さくっと始められた。（あれ、今もgulpでのstart guideあるのね。）プロジェクトの参加メンバーが変わったり増えたりで想定しない状況になったものの「困ったらanyって書いとけばいいからね」で押し切ることにした。

型に守られた世界の住人が自分たちの常識を持ち込んで書く場合だと、そりゃ型無いと無理でしょ、ということに当然なるわけだけど、いわゆるフロントエンドの世界の人たちにはどう見えてたのかなあ。人間というよりフレームワークが型世界に出自を持ってそうな界隈、具体的にはAngularやってる人たちは、フレームワーク都合というより一般論としてTypeScriptに歓迎モードだった印象がある（要出典1）。普通に考えて、型が有効なユースケースを日常的にたくさん見てたからだろうね。それ以外は全体として、既存コードやライブラリとの相性や、たぶん、人間の教育の問題もあり、推進というよりは「焦らずやっていきましょうね」ぐらいの雰囲気で、その雰囲気の幅の広さから、例えばnoImplicitAnyの是非やGradual Typingの加減を火種にときどきボヤとか炎上とか（要出典2）。Twitterで何を見てるかに依存した偏見によると、2020年は平和だった感じがある。ライブラリと人間の世代交代が進んだのかもしれない（要出典3）。なんか、若者すぐ＆まずTypeScriptやってるよね（要出典4）。

さて、こういうどうでもいい偏見の詳細は無視しつつも「世の中ちょっと変わってきたね」が正しいとして、表面的でない変化にはどういうものがあったんだろうね。JavaScriptの柔軟さに合わせて型付けを頑張れるようにするために導入されたいろんな機能があるけど、随分と前から入っているString Literal Typeがいちばん革命的でwebに本質的なものなんじゃないかって最近思うようになってきた。これはもちろんよく考えられた上での結論ではなく、ビビビッときただけ。httpもhtmlもテキスト中心の世界じゃん？そこで文字列に型付けるとかマジ幸せじゃん？ぐらいのノリで、FirebaseのAPI Reference（例えばAnalytics）を見たり、アプリケーションレイヤーでのRoutingに型を付けようとする試みを見てたら、そういう感覚が芽生えてきた。要するに、好き。

型ピ。