type-theory - 约束，概念和协议是否都是有界量化的？ - Thinbug

约束，概念和协议是否都是有界量化的？

时间：2018-11-12 11:03:17

标签： type-theory

边界量化（wiki）是这些功能的正式名称吗？

C ++概念
Nim的概念（manual）
Swift的通用类型约束
快速协议（doc）
C＃where子句

0 个答案:

没有答案