Preguntas etiquetadas con trees

11
Inferir tipos de refinamiento

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: 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 => if x...

10
¿Cuáles son las aplicaciones de los rosales?

Hace poco me enteré de la estructura de datos del árbol de rosas, pero simplemente saliendo de una datadefinición de Haskell y la pequeña descripción de Wikipedia , tengo algunos problemas para entender qué aplicaciones podría tener un árbol de rosas. Como referencia, la datadefinición de Haskell...