к
Size: a a a
2021 April 12
UT
NList — тоже конструктор, правильно?
UT
Я всё это время осмысливаю ). Вроде понятнее, спасибо. Буду пробовать
к
там логика какая
вот у нас есть какой-то список xs
мы можем в начало к нему добавить элемент x через ConsE и получить новый список, где голова - элемент x и хвост - xs : ConsE x xs
а можем добавить в начало к нему список ys, и получить список, где в голове ys, а в хвосте xs : ConsL ys xs
вот у нас есть какой-то список xs
мы можем в начало к нему добавить элемент x через ConsE и получить новый список, где голова - элемент x и хвост - xs : ConsE x xs
а можем добавить в начало к нему список ys, и получить список, где в голове ys, а в хвосте xs : ConsL ys xs
UT
А почему я не могу сделать так просто?
data MyList a = Elem a | List [MyList a]
data MyList a = Elem a | List [MyList a]
UT
Из-за того, что это будет допускать [1, [2], 3, [1,2]]?
JS
можете, но это другой смысл будет иметь
List [Elem 1, List [Elem 2], Elem 3]JS
а вам это надо или не надо?
UT
Идеальный вариант — допускать исключительно [element, [element, [element, …]]]
Но если это слишком сложно, оставлю так )
Но если это слишком сложно, оставлю так )
UT
что значит [] по определению?
UT
Тип списка — это [element, element, …]
А у меня получается список всегда из 2 элементов: первый — элемент, второй такой же список из 2 элементов
А у меня получается список всегда из 2 элементов: первый — элемент, второй такой же список из 2 элементов
UT
Что значит запись (List a) здесь?