попытка конструктива

[avva]

Что вы не знаете и хотели бы узнать?

Что вы не понимаете и хотели бы понять?

Напишите в комментариях, и может, другие люди, читающие этот журнал, смогут рассказать, объяснить или дать нужные ссылки.

(это пробный камень. Если запись оправдает себя, сделаю ее регулярной. Прошу не троллить и не паясничать, спасибо)

Comments

[ygam.livejournal.com]

Потому, что определение такого типа данных является уравнением, а сам тип данных является решением этого уравнения.

[(Anonymous)]

Фигня какая-то мутная, вообще потому что
data F = F| G, можно записать как F = F + G, и т.п.
Отсюда следует много интересного, например зипперы как производные.

[ygam.livejournal.com]

Если у нас есть тип

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

То есть бесконечная последовательность типов:

data List0 a = Nil
data List1 a = Nil | Cons a Nil
data List2 a = Nil | Cons a Nil | Cons a (Cons a Nil)
...

и List является пределом этой последовательности. А чтобы был предел, нужна топология. Так что может быть, правильнее было бы их назвать топологическими типами данных.