Câu hỏi được gắn thẻ «higher-kinded-types»

Bạn có thể tìm thấy những điều sau đây trên web: Loại cao hơn == loại xây dựng? class AClass[T]{...} // For example, class List[T] Một số người nói rằng đây là loại loại cao hơn, bởi vì nó trừu tượng hơn các loại sẽ tuân thủ định nghĩa. Các …

275 generics  scala  types  constructor  higher-kinded-types 

Tôi đã làm dev ở F # một thời gian và tôi thích nó. Tuy nhiên, một từ thông dụng mà tôi biết không tồn tại trong F # là các loại từ khóa cao hơn. Tôi đã đọc tài liệu về các loại tốt hơn và tôi nghĩ tôi …

88 scala  haskell  types  f#  higher-kinded-types 

Việc thực hiện std::mem::dropđược ghi lại như sau: pub fn drop<T>(_x: T) { } Như vậy, tôi hy vọng việc đóng cửa |_| ()(thông thường được gọi là đóng cửa nhà vệ sinh ) sẽ là sự thay thế tiềm năng 1: 1 cho dropcả hai hướng. Tuy nhiên, mã …

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