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...
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 são úteis. Alguém pode fornecer alguns exemplos...
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...