コンパイラにとって驚くほど悪くないTypeScript

• TypeScriptを使ったコンパイラ構築についての議論であり、その驚くべき有効性が強調されている
• OCamlは公式仕様や趣味の言語のような言語中心の作業に使われ、C++は本番準備が整った実装のために選ばれてきたという歴史
• RustはMLとC++の長所を組み合わせ、安全なマルチスレッディングのような独自機能を加えた新しい選択肢
• 著者は、OCamlの古めかしいと見なされがちな側面のため、趣味で取り組む人々にとってTypeScriptを実用的な代替案として提案している
• 著者はDenoから始めて、TypeScriptで小さな型チェッカーを書く方法を示しており、DenoはTypeScript向けランタイムとしてすぐに使える体験を提供する
• TypeScriptの柔軟でありながら軽量な型システムが強調されており、著者はTypeScriptでAbstract Syntax Tree (AST) を定義する方法を示している
• TypeScriptの機能を使って、式を定義し、実行時の型情報を扱い、似た式を抽象化する方法を著者が示している
• 著者は型推論へ進み、TypeScriptで型を定義し、型を比較し、型を推論する方法を示している
• 著者は、Denoの効果的な開発ワークフロー、TypeScriptの優れたツール群、そして実行時とコンパイル時の両方における言語の力を理由に、TypeScriptの生産性を称賛して締めくくっている
• 著者は今後、小さな言語ハックのためのツールとしてTypeScriptを使う可能性が高いと示唆している
• TypeScriptで型安全な形でdesugaringを表現する方法を示して記事を締めくくっている

[GN⁺]

Hacker Newsの意見

• TypeScriptは、オブジェクト指向と関数型プログラミングの組み合わせが評価されており、クラスを定義しなくても柔軟なコーディングを可能にする。
• 関数がプロパティやメソッドを持てるというこの言語の能力は、独特で価値のある特徴として強調されている。
• TypeScriptは、OCaml、C#、Swift、Dart、Kotlinなどの他言語と比較されており、TypeScriptには本格的なパターンマッチングが欠けていることが主な違いとして指摘されている。
• 一部のユーザーは、TypeScriptにRustのようなタグ付き列挙型の機能が含まれることを望んでいる。
• TypeScriptコンパイラの速度についての議論や、これがコンパイル言語で書かれていた場合にどのように動作するかという推測がある。
• ユーザーは、runユーティリティ関数を使って、IIFEスタイルのswitchでビジターパターンを避ける方法を提案している。
• 投稿では、parser generatorフロントエンドであるOhm-jsやmini-typescriptの利用に言及しており、TypeScriptの動作を理解する助けになる。
• インターフェースにオーバーヘッドがあると認識されているにもかかわらず、TypeScriptの効率性に対する驚きが表明されている。
• TypeScriptコンパイラがTypeScript自体で書かれていることが指摘されており、これはその信頼性と本番環境での重い利用を強調している。
• 一部のユーザーは、TypeScriptでコンパイル時の完全性チェックのための閉じた列挙型機能を待ち望んでいる。
• TypeScriptの主要アーキテクトであるAnders Hejlsbergの影響力が、この言語の成功の理由として認められている。