Здравствуйте, D. Mon, Вы писали:

WH>>Код на хаскеле который читает с консоли число и создаёт вектор тип которого зависит этого числа в студию.
DM>Извините, что встреваю в вашу цивилизованную ученую дискуссию, но такой код как раз несложно пишется:
1)Ты очень вольно интерпретируешь слово зависит.
Тип Vec не параметризуется терминалом. А значит зависимым не является просто по определению.
Nat в данном случае поднимается на уровень рода, а его значения на уровень типа.

2)Попробуй вернуть этот вектор в функцию main таким образом, чтобы тип сохранился.