依存型と総称型
dragoon8192.icon
全然分かってないからあとで読もう
多相函数
依存型
パイ型
総称型
シグマ型
Σ-Δ-Π 随伴
Ref.icon
多相関数と依存型をちゃんと理解しよう - 檜山正幸のキマイラ飼育記 (はてなBlog)
Ref.icon
依存型と総称型の圏論的解釈 - 檜山正幸のキマイラ飼育記 (はてなBlog)
Ref.icon
Σ-Δ-Π随伴、もう一言 - 檜山正幸のキマイラ飼育記 (はてなBlog)
#檜山正幸のキマイラ飼育記