Questions marquées «queues»

20
Existe-t-il une structure de données existante de taille fixe qui repoussera l'élément le plus ancien / le dernier si un nouvel élément est inséré?

Je recherche une structure de données qui repoussera son élément le plus ancien / le dernier si un nouvel élément est inséré. Par exemple, Dreprésentons la structure. Dcontient 3 éléments des Number Dvaleurs par défaut du type seront initialisés à 1, 2et 3. D = [ 1 , 2 , 3 ]ré=[1,2,3]D = [1, 2, 3]...

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