『型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語 – 技術書出版と販売のラムダノート』2025/6/9 0:51:00 https://www.lambdanote.com/products/type-systems