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

• 資料種別: 図書
• ISBN: 978-4-908686-20-7
• タイトル: 型システムのしくみ : TypeScriptで実装しながら学ぶ型とプログラミング言語
• タイトルよみ: カタ システム ノ シクミ : TypeScript デ ジッソウシナガラ マナブ カタ ト プログラミング ゲンゴ
• 著者・編者: 遠藤侑介 著
• 著者標目: 著者 ： 遠藤, 侑介 エンドウ, ユウスケ ( 01234883 )典拠
• 出版事項: 東京 : ラムダノート (出版)
• 出版年月日等: 2025.4
• 出版年（W3CDTF）: 2025
• 数量: 172 p
• 大きさ: 21 cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 表現種別: テキスト
• 機器種別: 機器不用
• キャリア種別: 冊子
• 対象利用者: 一般
• 入手条件・定価: 3000円
• 所蔵機関: 国立国会図書館
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 034046676; http://id.ndl.go.jp/bib/034046676
• 目録規則: 日本目録規則2018年版
• 整理区分コード: 111

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

目次

本書の背景と目的

第1章 型システムとは

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

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

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