So che Haskell ha già la possibilità di parametrizzare un tipo su un altro tipo (simile alla programmazione di template in C ++), ma mi chiedo se Haskell possa anche parametrizzare un tipo su valori - se supporta tipi dipendenti. Con i tipi dipendenti, puoi avere un tipo parametrizzato su numeri interi, ad esempio vettori di dimensione n, matrici di dimensioni n × m, ecc.
Se no, perché no? E c'è qualche possibilità che sarà supportato in futuro?