Телеграмм чат группы haskellru страница 15972

тип List a

19:12пожаловаться #1

я определил индуктивный тип List a, конструкторы которого это или Nil, или пара из a и List a (то есть другого списка, определенного этими же конструкторами)

19:12пожаловаться #2

Это я понимаю.
Это получается обычный плоский список
У меня же вложенный
[1, [2, [3, [4, ]]]] а не [1,2,3,4…]

19:13пожаловаться #3

окей, давай иначе, забудь про этот сахар

ты сказал, что в идеальном твоем списке может быть только запись [x, [y, ...]]

то есть конструктор это или пустой список, или пара из элемента и другого списка, правильно?

19:14пожаловаться #4

то есть список это или []
или если x - элемент, а xs - список, то [x, xs] - тоже список

19:14пожаловаться #5

(нет никакой разницы между плоским списком, и вложенным списком, где вложенность может быть только в хвосте)

19:15пожаловаться #6

так и определяем

пустой список назовем Nil
пару из элемента и вложенного списка назовем Cons

data MyNestedList a
= Nil
| Cons a (MyNestedList a)

19:16пожаловаться #7

Вот этот момент не понятен
[1, [2,3]] это же не одно и то же, что [1,2,3]

19:16пожаловаться #8

так [2,3] не подходит же под твой идеальный список

19:16пожаловаться #9

ты выше написал, что в твоем идеальном списке второй элемент может быть только списком

19:17пожаловаться #10

[1,[2,[3]]] vs [1,2,3]

19:17пожаловаться #11

Да

19:17пожаловаться #12

вот так

19:17пожаловаться #13

вот, если вторым элементом может быть ТОЛЬКО список, а больше элементов быть не может, то да [1, 2, 3] и твой [1, [2, [3]]] это одно и то же

19:17пожаловаться #14

просто переименуй [x, y] в Cons x y
получишь
Cons 1 (Cons 2 (Cons 3 Nil))

19:18пожаловаться #15

[1, 2, 3] это на самом деле и не плоский список, это и есть множество вложенных списков

19:19пожаловаться #16

плоский список выглядел бы как-то так

data List a
= []
| [a]
| [a, a]
| [a, a, a]
| ..... бесконечно

19:20пожаловаться #17

а в хаскеле если
x = [1, 2, 3]
то мы можем сделать 0 : [1, 2, 3], где : это как раз твоя пара из первого элемента и вложенного подсписка

data [a] = [] | a : [a]

или если бы можно было бы иметь такой синтаксис, то

data [a] = [] | [a, [a]]

19:21пожаловаться #18

окей, я согласен, понял, что вы имеете в виду.
Тогда я не понимаю суть учебного задания “определите функцию приводящую список [1, 2, 3] к виду [1, [2, [3]]]”

19:22пожаловаться #19

ты из украины? Или учебное заведение украинское?