🪴 Quartz 4.0
Search
Search
Search
Light mode
Dark mode
Home
❯
動的型付けは動的検査
動的型付けは動的検査
Dec 01, 2023, 1 min read
「
動的型付け
」という言葉の使い方は間違っていると考える研究者もいる。
代わりに
動的検査される
という表現を提案しているが、普及してない。
型システム入門
p.2
Graph View
Backlinks
「名前的型システムと構造的型システムの違い」加筆案