|
gptkbp:supports
|
gptkb:GADTs
algebraic data types
functors
parametric polymorphism
type constraints
record types
object types
variant types
abstract types
existential types
extensible variants
first-class modules
first-class polymorphism
local modules
mutable record fields
open types
polymorphic recursion
polymorphic variants
private types
type abbreviations
type classes (via modules)
type-level computation
|