inflearn logo
知識共有
inflearn logo

本気!TypeScript ― 型設計から型レベルプログラミングまで

型アノテーションは付けているのに、誤ったデータが依然として実行時になって初めてエラーになっていませんか? この講義では、誤った状態がそもそもコンパイルされないようにドメインを設計する方法から、型チェッカー内で動作するプログラムの書き方まで、TypeScript 7を基準に扱います。CLIを5つ自分で作り、最後には自分だけの小さな言語をJavaScriptにコンパイルするコンパイラを完成させます。

2名 が受講中です。

難易度 初級

受講期間 無制限

JavaScript
JavaScript
Functional Programming
Functional Programming
TypeScript
TypeScript
Node.js
Node.js
JavaScript
JavaScript
Functional Programming
Functional Programming
TypeScript
TypeScript
Node.js
Node.js

受講後に得られること

  • 判別可能ユニオン、ブランド型、網羅性チェックによって、誤った状態をコンパイル時に検出できるドメインをモデル化できます。

  • 副作用をデータとして表現し、1つの階層で解釈するように構造を分けることで、テストしやすいアプリケーションを設計できます。

  • 条件付き型、infer、タプル再帰、テンプレートリテラル型を使って、型レベルのMap・Filter・Reduceを実装し、デバッグ・テストできます。

  • 呼び出し順序とプロトコルを型で強制し、クエリ結果を推論するCLIと、ステップの接続を検査する画像処理パイプラインを設計できます。

  • レクサー・パーサー・型検査器・コード生成器を備えた小さな言語のコンパイラー tinylangを完成させます。

  • 独立してデプロイ可能なCLI 5つ:envcheck、ledger、dbq、imgfx、tinylangを自作します。

こんな方に
おすすめです

学習対象は
誰でしょう?

  • TypeScriptを使っているのに、anyやasでコンパイルエラーを回避し、バグはランタイムで発見する開発者

  • 複雑なジェネリクスと条件型を理解し、自ら設計する方法を学びたい開発者

  • チームのルールと呼び出し順序を、コメントではなくコンパイルエラーで強制したい開発者

  • JavaScriptに慣れており、型システムを1つのプログラミング言語として深く学びたい方

前提知識、
必要でしょうか?

  • 인프런「本気のJavaScript」講義を受講された方

  • JavaScriptランタイムの動作に対する理解:クロージャ、プロトタイプ、this、非同期、Symbol、イテレーター・ジェネレーター、モジュール

  • ターミナルでコマンドを実行した経験(実習はmacOSを基準に進めます)

こんにちは
codingmaxです。

キャリア認証

768

受講生

50

受講レビュー

18

回答

4.9

講座評価

6

講座

こんにちは。教育コンテンツ企業ハイパーステップ(HyperStep)を運営しており、数学とプログラミングを分かりやすく直感的に説明するコンテンツを制作しています。

現)教育コンテンツ企業ハイパーステップ(HyperStep)代表
20年以上のソフトウェア開発経歴

元)Coupang
元)Hyperconnect
元)Kakao
元)Kakao Entertainment
元)Polaris Office(Infraware)

 

コーディングマックス-CodingMax
📺https://www.youtube.com/@coding-max
📘https://www.codingmax.net

もっと見る

カリキュラム

全体

248件 ∙ (57時間 55分)

    講座掲載日: 
    最終更新日: 

    受講レビュー

    まだ十分な評価が集まっていない講座です。
    ぜひ最初のレビューをお寄せください。

    codingmaxの他の講座

    知識共有者の他の講座はこちら

    似ている講座

    同じ分野の他の講座を見てみましょう!

    期間限定セール

    ¥49,500

    50%

    ¥12,568