«higher-kinded-types» etiketlenmiş sorular

Web'de aşağıdakileri bulabilirsiniz: Daha yüksek tür türü == tür oluşturucu? class AClass[T]{...} // For example, class List[T] Bazıları bunun daha yüksek bir tür olduğunu söylüyor, çünkü tanımla uyumlu olacak türler üzerine soyutlanıyor. Daha yüksek tür türleri , diğer türleri alan ve yeni bir tür oluşturan türlerdir Bunlar tip yapıcı olarak …

275 generics  scala  types  constructor  higher-kinded-types 

Bir süredir F # 'da geliştirme yapıyorum ve hoşuma gitti. Ancak F # 'da olmadığını bildiğim moda sözcüklerden biri daha yüksek türler. Üst düzey tiplerle ilgili materyaller okudum ve tanımlarını anladığımı düşünüyorum. Neden yararlı olduklarından emin değilim. Scala veya Haskell'de daha yüksek türden türlerin F #'da geçici çözümler gerektiren hangi …

89 scala  haskell  types  f#  higher-kinded-types 

Uygulamasının std::mem::dropaşağıdaki gibi belgelenmiştir: pub fn drop<T>(_x: T) { } Bu nedenle, kapamanın |_| ()(konuşma dilinde tuvalet kapağı olarak bilinir ) dropher iki yönde de potansiyel bir 1: 1 değiştirme olmasını beklerim. Bununla birlikte, aşağıdaki kod drop, işlevin parametresine bağlı daha yüksek sıralı bir özellikle uyumlu olmadığını gösterirken , tuvalet …

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