It also has an advanced type system supporting algebraic data types, covariance and contravariance, higher-order types (but not higher-rank types), and anonymous types.
Ini juga memiliki lanjutan jenis sistem pendukung jenis data aljabar, covariance dan contravariance, jenis perintah tinggi (tapi tidak jenis lebih tinggi-peringkat), dan jenis anonim .