«recursion» etiketlenmiş sorular

Bağımlı olarak yazılan programlamada, verileri ayrıştırmanın ve özyineleme yapmanın iki ana yolu vardır: Bağımlı örüntü eşleme : fonksiyon tanımları birden fazla cümle olarak verilir. Birleştirme, atlanan tüm vakaların imkansız olmasını sağlar ve harici bir çözücü, özyinelemenin sağlam temelini sağlar. Eliminators : Her endüktif veri tipi , bir indüksiyon prensibi olarak …

10 reference-request  recursion  type-theory  dependent-types  inductive-datatypes 

İkili bir ağaç bir ikili arama ağacı olup olmadığını görmek için özyinelemeli bir algoritma oluşturmak ve aynı zamanda varsayılan bir sayma değişkeni ile kaç tam dalları var (hem sol hem de sağ çocuk düğümleri ile bir üst düğüm) saymak gerekir. Bu benim veri yapıları sınıfım için bir ödev. Şimdiye kadar …

10 algorithms  recursion  trees