「型システム入門」の先へ：TypeScriptの型システムのいくつかの側面 | 雑記帳

2023/12/08 80 users TypeScript 側面 言語実装 雑記帳 型システム入門

この記事は TypeScript Advent Calendar 2023 の8日目の記事です。言語実装勢にも役立つ内容を含んでいるかもしれないので、 言語実装 Advent Calendar 2023 にも登録しています。 TypeScriptで型システムに興味を持った人が「型システム入門」を読んだという話を時々聞きます。「型システム入門」は、Types and Program... 続きを読む

『Ruby で学ぶ Ruby』非公式あとがき - まめめも

2017/01/18 91 users Ruby elem ref ASCII.jp 抽象

ref: http://ascii.jp/elem/000/001/230/1230449/ 「Ruby で Ruby を作りながら Ruby を学ぼう！」という ascii.jp の連載、おかげさまでほぼ予定通りに無事に終わりました。執筆の経緯を書いておきます。 昨年の 6 月ごろ、「 抽象によるソフトウェア設計 」や「 型システム入門 」のときにおせわになった編集者の 鹿野さん に声をかけて頂... 続きを読む

TAPL の訳本「型システム入門 -プログラミング言語と型の理論-」が発売されます - まめめも

2013/03/01 81 users TAPL Amazon.co.jp 通称 プログラミング言語

プログラミング言語の「型」の定番書と言われる Types and Programming Languages (通称 TAPL) の翻訳本が、ついに 3 月 26 日に発売されます。型システム入門 −プログラミング言語と型の理論−posted with amazlet at 13.03.01Benjamin C. Pierce オーム社 売り上げランキング: 598 Amazon.co.jpで詳細... 続きを読む

2012年3月新刊予定：型システム入門 プログラミング言語と型の理論 - オーム社開発部

2013/01/17 63 users プログラミング言語 理論 オーム社開発部 共訳 遠藤侑介

型システム入門 プログラミング言語と型の理論 Benjamin C. Pierce 著 住井英二郎 監訳 遠藤侑介・酒井政裕・今井敬吾・黒木裕介・今井宜洋・才川隆文・今井健男 共訳 ISBN 978-4-274-06911-6 B5判 600ページ（予定） ★型システムを理解するうえでの定番書を翻訳！ 型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。 本書は、そ... 続きを読む