Este artigo não cita fontes confiáveis. (Setembro de 2020) |
Em ciência da computação, um tipo recursivo é um tipo de dado para valores que podem conter outros valores do mesmo tipo.
Um exemplo é uma lista em Haskell:
data List a = Nil | Cons a (List a)
Isso indica que uma lista de a
ou é uma lista vazia ou um elemento a
(a cabeça da lista) seguido de uma lista de a
(a cauda da lista).