t_wの輪郭

Feedlyでフォローするボタン
システム
あれ型システムは言語の操作規範型システムは意味論の制約型システムはプログラミング言語のデザインそのもの『型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語 – 技術書出版と販売のラムダノート』