Questions marquées «trees»

11
Déduire les types de raffinement

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: 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 then...

10
Quelle est la chance que ce code se termine?

J'ai écrit ce code Python et je me suis demandé s'il ne se terminait pas simplement parfois (en supposant que nous avions une mémoire / temps infinie et aucune limite de profondeur de récursivité). Intuitivement, vous penseriez qu'il se termine, car à un moment donné, vous devez avoir de la chance...

10
Quelles sont les applications des rosiers?

J'ai récemment découvert la structure des données du rosier, mais en partant d'une datadéfinition de Haskell et de la minuscule description de Wikipédia , j'ai du mal à comprendre quelles applications un rosier pourrait avoir. Pour référence, la datadéfinition de Haskell : data RoseTree a =...