Pytania oznaczone «trees»

11
Wnioskowanie o rodzajach uściślenia

W pracy miałem za zadanie wnioskować o pewnych typach informacji o dynamicznym języku. Przepisuję sekwencje instrukcji na letwyrażenia zagnieżdżone , tak jak poniżej: 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 { T;...

9
Splay tree z nieparzystą liczbą obrotów

Podczas wstawiania przedmiotu do drzewa rzutów obroty wykonuje się parami w oparciu o wzór zygzakowaty lub zygzakowaty. Gdy do wykonania jest nieparzysta liczba obrotów, można wykonać dodatkowy obrót, zaczynając od liścia, lub zapisać dodatkowy obrót i zrobić to u podstawy. Czy to ma znaczenie? Na...