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
15 次浏览 数据来源: Wiktionary