С
это кейс для списка где один элемент
Size: a a a
2021 April 11
С
lyah
С
любая новичковая книжка по хаскелю в общем
MK
Это называется pattern matching
AA
это конструкторы алгтд
data [a] = [] | a : [a]
AA
вот интересно, почему (:) это спецсинтаксис, а не обычный конструктор-оператор
AA
AA
Prelude> import Prelude hiding ((:))
Prelude> data List a = Nil | a : List a
<interactive>:2:21: error: Illegal binding of built-in syntax: :
AA
еще страннее, что hiding ((:)) не вызвало ошибки, но скрывания не произошло