非可述多相
impredicative polymorphism
パラメトリック多相
の一般化
一級多相
、
第一級多相
(
first-class polymorphism
)とも言う
上記の制約は,可述的多相 (predicative polymorphism) という名前の体系として知られており,この制約さえ取っ払ってしまった体系を非可述的多相 (impredicative polymorphism) または第一級多相 (first-class polymorphism) と呼ぶ
ref
可述多相
Guarded impredicative polymorphism
https://www.microsoft.com/en-us/research/publication/guarded-impredicative-polymorphism/
Haskell
ImpredicativeTypes
TaPL
23.10
/LugendrePublic/非可述多相
https://qiita.com/mod_poppo/items/806c9c3e0ccb46be92ae
https://techblog.asahi-net.co.jp/entry/2022/05/23/162236