---
date: "2023-08-30T15:58:42+0900"
---
#programming-language 

項でインデックス付された型

C++でいう`decltype(term)`（だよね？）

[Implementing Dependent Types](https://tiarkrompf.github.io/notes/?/dependent-types/)