Pertanyaan yang diberi tag trees

11
Inferring type refinement

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: 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
Apa peluang kode ini berakhir?

Saya menulis kode Python ini, dan bertanya-tanya apakah kadang-kadang tidak berakhir (dengan asumsi kami memiliki memori / waktu tak terbatas dan tidak ada batas kedalaman rekursi). Secara intuitif Anda akan berpikir itu berakhir, karena pada titik tertentu Anda harus beruntung , dan jika tidak...

10
Apa aplikasi dari pohon Rose?

Saya baru-baru ini mengetahui tentang struktur data pohon Rose, tetapi hanya pergi dari datadefinisi Haskell dan deskripsi Wikipedia kecil itu, saya punya beberapa kesulitan memahami aplikasi apa yang mungkin dimiliki pohon Rose. Untuk referensi, datadefinisi Haskell : data RoseTree a = RoseTree...