2024-02-08 18:01:44 +09:00
|
|
|
---
|
2024-02-08 20:06:45 +09:00
|
|
|
date: "2023-08-30T15:58:42+0900"
|
2024-02-08 18:01:44 +09:00
|
|
|
---
|
2023-12-06 20:20:54 +09:00
|
|
|
#programming-language
|
2023-08-30 15:58:42 +09:00
|
|
|
|
|
|
|
|
項でインデックス付された型
|
|
|
|
|
|
|
|
|
|
C++でいう`decltype(term)`（だよね？）
|
|
|
|
|
|
|
|
|
|
[Implementing Dependent Types](https://tiarkrompf.github.io/notes/?/dependent-types/)
|
