Perguntas com a marcação «trees»

11
Inferindo tipos de refinamento

No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...

10
Qual é a chance de esse código terminar?

Eu escrevi esse código Python e me perguntei se às vezes simplesmente não terminava (supondo que tivéssemos memória / tempo infinitos e nenhum limite de profundidade de recursão). Intuitivamente, você acha que termina, já que em algum momento você deve ter sorte e, se não terminar, terá um tempo...

10
Quais são as aplicações das roseiras?

Recentemente, descobri sobre a estrutura de dados da árvore Rose, mas, seguindo uma datadefinição de Haskell e a pequena descrição da Wikipedia , tenho alguns problemas para entender quais aplicativos uma árvore Rose pode ter. Para referência, a datadefinição de Haskell : data RoseTree a =...