Saya dapat melihat di dokumen API untuk Predef bahwa mereka adalah subkelas dari tipe fungsi umum (Dari) => Ke, tetapi hanya itu yang dikatakan. Um, apa? Mungkin ada dokumentasi di suatu tempat, tetapi mesin pencari tidak menangani "nama" seperti "<: <" sangat baik, jadi saya belum dapat menemukannya. Pertanyaan tindak …
Izinkan saya memberi contoh: Saya memiliki beberapa definisi kelas / antarmuka generik: interface IGenericCar< T > {...} Saya memiliki kelas / antarmuka lain yang ingin saya kaitkan dengan kelas di atas, misalnya: interface IGarrage< TCar > : where TCar: IGenericCar< (**any type here**) > {...} Pada dasarnya, saya ingin IGarrage …
Saya mencoba membuat jenis yang mirip dengan Rust Resultatau Haskell Eitherdan saya sudah sejauh ini: public struct Result<TResult, TError> where TResult : notnull where TError : notnull { private readonly OneOf<TResult, TError> Value; public Result(TResult result) => Value = result; public Result(TError error) => Value = error; public static implicit …