AG
ну это просто нерелевантный список получается
Size: a a a
2020 December 04
DB
Шипит дурная песконесность
AG
что ни добавляй в него он все равно пустой :)
DB
ну это просто нерелевантный список получается
То есть? Список который не список?
DB
Так он нонэмпти
AG
нет, потому что [x] = []
AG
и по индукции
DB
non-empty list is equal to its tail.
Тут же условие!
AG
ну вот такое вырожденное условие
к
про то что tail должен быть non-empty не сказано
DB
про то что tail должен быть non-empty не сказано
Это понятно
к
(1 :: (2 :: [])) = (2 :: []) = []
DB
Тогда все списки равны
DB
Получается
к
да
AG
так и есть
DB
Щит
к
ну все "такие" списки
AG
я же даже пруф скинул