Pertanyaan yang diberi tag «higher-kinded-types»

Anda dapat menemukan yang berikut di web: Jenis jenis yang lebih tinggi == jenis konstruktor? class AClass[T]{...} // For example, class List[T] Ada yang mengatakan ini adalah jenis jenis yang lebih tinggi, karena abstrak atas jenis yang akan sesuai dengan definisi. Jenis yang lebih tinggi adalah jenis yang mengambil jenis …

275 generics  scala  types  constructor  higher-kinded-types 

Saya telah melakukan dev di F # untuk sementara waktu dan saya menyukainya. Namun satu kata kunci yang saya tahu tidak ada di F # adalah tipe yang lebih tinggi. Saya telah membaca materi tentang tipe yang lebih baik, dan saya rasa saya memahami definisi mereka. Saya hanya tidak yakin …

89 scala  haskell  types  f#  higher-kinded-types 

Implementasi std::mem::dropdidokumentasikan sebagai berikut: pub fn drop<T>(_x: T) { } Karena itu, saya berharap penutupan |_| ()(bahasa sehari-hari dikenal sebagai penutupan toilet ) menjadi pengganti 1: 1 potensial drop, di kedua arah. Namun, kode di bawah ini menunjukkan bahwa droptidak kompatibel dengan sifat peringkat lebih tinggi yang terikat pada parameter …

13 rust  closures  traits  type-inference  higher-kinded-types