検索
❯
2024/02/081 min read
programming-language
項でインデックス付された型
C++でいうdecltype(term)（だよね？）
decltype(term)
Implementing Dependent Types
2025/07/31
2025/07/26
2025/07/25