Perguntas com a marcação «higher-kinded-types»

Você pode encontrar o seguinte na web: Tipo de classificação superior == tipo de construtor? class AClass[T]{...} // For example, class List[T] Alguns dizem que esse é um tipo de classificação mais alta, porque abstrai sobre tipos que seriam compatíveis com a definição. Tipos de classificação superior são aqueles que …

275 generics  scala  types  constructor  higher-kinded-types 

Tenho feito desenvolvimento em F # há um tempo e gosto disso. No entanto, um chavão que eu sei que não existe no F # é tipos de tipo superior. Eu li material sobre tipos de classe superior e acho que entendo sua definição. Só não sei por que eles …

87 scala  haskell  types  f#  higher-kinded-types 

A implementação de std::mem::dropestá documentada para ser a seguinte: pub fn drop<T>(_x: T) { } Como tal, eu esperaria que o fechamento |_| ()(conhecido coloquialmente como fechamento do vaso sanitário ) fosse um potencial substituto 1: 1 para drop, em ambas as direções. No entanto, o código abaixo mostra que …

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