型システムのしくみ : TypeScriptで実装しながら学ぶ型とプログラミング言語

• Material Type: 図書
• ISBN: 978-4-908686-20-7
• Title: 型システムのしくみ : TypeScriptで実装しながら学ぶ型とプログラミング言語
• Title Transcription: カタ システム ノ シクミ : TypeScript デ ジッソウシナガラ マナブ カタ ト プログラミング ゲンゴ
• Author/Editor: 遠藤侑介 著
• Author Heading: 著者 ： 遠藤, 侑介 エンドウ, ユウスケ ( 01234883 )Authorities
• Publication, Distribution, etc.: 東京 : ラムダノート (出版)
• Publication Date: 2025.4
• Publication Date (W3CDTF): 2025
• Extent: 172 p
• Size: 21 cm
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Content Type: テキスト
• Media Type: 機器不用
• Carrier Type: 冊子
• Subject Heading: プログラミング (コンピュータ) プログラミング (コンピュータ) ( 00569223 )Authorities
• NDC 10th ed.: 007.64 : Information science. Informatics
• NDLC: M159
• Target Audience: 一般
• Price: 3000円
• Holding library: 国立国会図書館
• Call No.: M159-R347
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 034046676; http://id.ndl.go.jp/bib/034046676
• National Bibliography No. (JPNO): 24127278
• Cataloging Rule: Nippon Cataloging Rules 2018 Edition
• Bibliographic Record Category (NDL): 111

• Summary, etc.: 現代のすべてのプログラミング言語の基礎理論である「型」を、プログラマー向けに解き明かした初の概説書！(Provided by: 出版情報登録センター（JPRO）)
• Author introduction: 遠藤侑介 Ruby の開発者（コミッタ）の一人で、Ruby のための型解析器TypeProf を開発している。STORES 株式会社。著書に『あなたの知らない超絶技巧プログラミングの世界』（技術評論社）、『RubyでつくるRuby ゼロから学びなおすプログラミング言語入門』（ラムダノート）。訳書に『...

Table of Contents

本書の背景と目的

第1章 型システムとは

1.1 プログラムの未定義動作とは

1.2 歴史的解決策としての「型安全性」

1.3 本書における型システムと型安全性