с использованием:
data type List a = Empty | Cons a (List a)
Как можно представить [[a]]? У этого должно быть простое решение, к которому я просто слеп, поэтому чей-то вклад будет очень признателен, спасибо!
Я пытался использовать List (List a) или List (Cons x xs), но это отвечает «Список», не входящий в область действия, что для меня имеет смысл.
Тип списка списков a действительно List (List a)). Но мы не создаем значение с этим.
Если мы, например, хотим построить список с одноэлементным списком, который содержит 1, мы можем написать это так:
oneList1 :: List (List Int)
oneList1 = Cons (Cons 1 Empty) EmptyВнешний Cons является минусом внешнего списка, так как первый (и единственный) элемент имеет Cons 1 Empty, это внутренний список. Cons h t представляет собой список с h (здесь 1) в начале (первый элемент) и Empty в конце (остальные элементы). Итак, Cons 1 Empty — это одноэлементный список с 1 единственным значением.
Мы оборачиваем это во внешние cons Cons (Cons 1 Empty) Empty, что таким образом указывает, что внешний список также является одноэлементным списком. Таким образом, oneList1 эквивалентно [[1]].
concatL Empty Empty = ...? или concatL Empty (Cons x xs) = ...? и т. д.
- person Willem Van Onsem; 08.06.2019
concatL (Cons x xs) Empty = Cons x xs правильно. Нет необходимости повторяться в этом. Для concatL (Cons x xs) (Cons y ys) ситуация, конечно, сложнее.
- person Willem Van Onsem; 08.06.2019
List (List a), но это для типа, а не для значения. - person Willem Van Onsem schedule 08.06.20191, значение равноCons (Cons 1 Empty) Empty. - person Willem Van Onsem schedule 08.06.2019data type LIst a = ...является недопустимым синтаксисом. Это похоже на объявлениеdata, но есть и объявлениеtypeдля других целей. Но не оба. - person luqui schedule 09.06.2019