Perguntas com a marcação «functional-programming»

Eu fui brincar com retomadas recentemente, principalmente a partir de papel clássico de Abramsky Refazendo alguns caminhos em Álgebra de Processos . Eles são bastante lisos (basicamente soluções para a equação de domínio ) e lembram muito as redes Kahn.R=I→(O×R)R=I→(O×R)R = I \to (O \times...

Estou procurando um conceito na teoria dos tipos que, com certeza, já foi explorado, mas não sei o nome por trás. Vamos considerar uma linguagem do tipo ML com tipos de produto e soma e um sistema de tipo Hindley-Milner. Vou usar a sintaxe do OCaml. Estou me perguntando sobre maneiras como dois...