Size: a a a

2020 December 04

AG

Alex Gryzlov in haskell_blah
ну это просто нерелевантный список получается
источник

DB

Danil Berestov in haskell_blah
Шипит дурная песконесность
источник

AG

Alex Gryzlov in haskell_blah
что ни добавляй в него он все равно пустой :)
источник

DB

Danil Berestov in haskell_blah
Alex Gryzlov
ну это просто нерелевантный список получается
То есть? Список который не список?
источник

DB

Danil Berestov in haskell_blah
Так он нонэмпти
источник

AG

Alex Gryzlov in haskell_blah
нет, потому что [x] = []
источник

AG

Alex Gryzlov in haskell_blah
и по индукции
источник

DB

Danil Berestov in haskell_blah
Danil Berestov
 non-empty list is equal to its tail.
Тут же условие!
источник

AG

Alex Gryzlov in haskell_blah
ну вот такое вырожденное условие
источник

к

кана in haskell_blah
про то что tail должен быть non-empty не сказано
источник

DB

Danil Berestov in haskell_blah
кана
про то что tail должен быть non-empty не сказано
Это понятно
источник

к

кана in haskell_blah
(1 :: (2 :: [])) = (2 :: []) = []
источник

DB

Danil Berestov in haskell_blah
Тогда все списки равны
источник

DB

Danil Berestov in haskell_blah
Получается
источник

к

кана in haskell_blah
да
источник

AG

Alex Gryzlov in haskell_blah
так и есть
источник

DB

Danil Berestov in haskell_blah
Щит
источник

к

кана in haskell_blah
ну все "такие" списки
источник

AG

Alex Gryzlov in haskell_blah
я же даже пруф скинул
источник

AG

Alex Gryzlov in haskell_blah
источник