Resultados da pesquisa a pedido "coinduction"
Computar uma árvore (infinita) do operador de ponto de fixação usando a modalidade de atraso
Aqui está um quebra-cabeça de programação funcional que envolve estruturas de dados de laço e infinitas. Há um pouco de fundo, então fique firme. A configuração.Vamos definir um tipo de dados representando tipos de dados recursivos: type Var = ...