GADT

名词 n.

英文释义

名词 n.
  1. Initialism of generalized algebraic data type. abbreviation,alt-of,initialism
    — Generalized Algebraic Data Types, or GADTs for short, are an extension of the variants we saw in Chapter 7 (Variants). GADTs are more expressive than regular variants, which helps you create types that more precisely match the shape of the program you want to write.

词形变化

GADTs plural
0 次浏览 数据来源: Wiktionary