1/14 時点_ポイント最大2倍
遠藤侑介

遠藤侑介 「型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語」 Book

[在庫なし]

販売価格
3,300
(税込)
出荷目安:
当日-翌日出荷
たまるdポイント(通常) 30

+キャンペーンポイント(期間・用途限定) 最大1倍

※たまるdポイントはポイント支払を除く商品代金(税抜)の1%です。

表示倍率は各キャンペーンの適用条件を全て満たした場合の最大倍率です。
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
dカードでお支払ならポイント3倍
remove_shopping_cart在庫なし

マークは試聴できる楽曲です。
今なら10,000円(税込)以上購入で送料無料!
TOWER RECORDS ONLINE 売れ筋ランキング
  • 商品情報
  • レビュー

【販売店・発送】 タワーレコード株式会社

商品の情報
発売日:2025年04月18日 / ジャンル:DOMESTIC BOOKS / フォーマット:Book / 構成数:1 / 製造国:国内 / レーベル:ラムダノート / SKU:9784908686207 / 規格品番:9784908686207

商品の紹介
型システムがようやくわかった!

現代の開発環境では、エディタ上でコードを書いている最中から、実行もせずにエラーが判明することがあります。コードの補完でも、文脈に適した候補が魔法のように提示されてきます。こうした機能で中心的な役割を果たすのが「型システム」です。

では、なぜ型システムはプログラムのエラーを早期に発見したり、適切な補完候補を絞り出せたりするのでしょうか? 背景となる数学の理論を教科書で学ぶ以外に、型システムで何ができるのか、どのように機能するかを知る道はないのでしょうか?

本書では、TypeScriptのサブ言語に対する型検査器を実装しながら、実用的なプログラミング言語の機能が型システムでどう実現できるかを見ていきます。AST(抽象構文木)や処理系の実装を通してプログラミングへの理解を深めるように、型検査器の実装を通して「型システムのしくみ」を覗いてみましょう!

本書は『n月刊ラムダノートVol.4, No.3(2024)』に掲載された記事「TypeScriptではじめる型システム」を基に内容を加筆して書籍として刊行したものです。
収録内容
・構成数 | 1

遠藤侑介 「型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語」 Bookのレビュー

投稿されたレビューは0件です。

この商品のカテゴリ

同カテゴリのおすすめ商品

別カテゴリのおすすめ商品

ふるさと納税百選のおすすめ返礼品