Resultados da pesquisa a pedido "coinduction"

2 a resposta

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 = ...