не говорил мне о неполном паттерне? Допустим что-то такое [x', y'] = sort [x, y]?
чтобы не говорил совсем ни при каких обстоятельствах наверное только в MonadFail если
чтобы компилятор узнал, что размер известен, надо размер зафиксировать в типе. у обычного списка размер не зафиксирован в типе
Эти x, y - это аргументы функции. Я могу конечно сигнатуру сменить, но не хотелось бы.
тогда Maybe или MonadFail, и если прямо совсем уверен, то error
использовать список фиксированной длины?
Попробуй отсортировать такой список
а какая разница?
Ты говоришь про какой: нибудь infixr 5 ::: -- | Vector, i.e. length-indexed list. data Vec (n :: Nat) a where VNil :: Vec 'Z a (:::) :: a -> Vec n a -> Vec ('S n) a
Обсуждают сегодня