“ Fonksiyonel Algoritma Tasarımının İncileri ” ve daha sonra “ Programlama Cebiri ” ni okumaya çalışıyorum ve özyinelemeli (ve polinom olarak) tanımlı veri türleri ve birleştirici nesneler arasında, aynı özyinelemeli tanımlamaya sahip olan ve daha sonra da önde gelen bir yazışma var. kombinatoryal türlerin girişlerinde gösterildiği gibi aynı resmi güç serisine (veya üreten fonksiyonlara) (“ Türler ve Functorlar ve Türleri, Oh My! ” okudum ).
Yani, ilk soru için, kuvvet serisinden üreten (özyinelemeli) denklemi kurtarmanın bir yolu var mı? Bu sonradan düşünülen bir şey.
İlk cebir ve son eş cebir kavramını bir çeşit “veri yapısı ile ilgili prosedürleri tanımlamak” olarak daha fazla ilgilendiriyordum. Fonksiyonel programlamada, kompozisyon, cebir ve benzeri arasındaki eşleme ürünleri, örneğin bu derste anlatılan bazı pratik kurallar vardır. Bana öyle geliyor ki, bu karmaşıklığa yaklaşmanın oldukça güçlü bir yolu olabilir ve örneğin, Master'ın teoremini bu bağlamda kurtarmak oldukça basit görünüyor (yani, aynı argümanı yapmanız gerekiyor, bu durumda çok fazla kazanç yok), ve ilk cebirdeki eşsiz katamorfizma ve F-polinom functoru için A ve FA arasındaki cebirlerin izomorfik olduğu gerçeği (yanılıyor muyum), bana bu tür bir yaklaşımın veri yapıları üzerindeki işlemler.
Pratik açıdan, füzyon kurallarına (temel olarak, cebir morfizmlerini birbirleriyle oluşturmanın yolları, kömürge morfizmleri ve genel morfizmler) benziyor, program dönüşümü ve yeniden düzenleme için çok güçlü bir optimizasyon tekniğidir. Bu kuralların tam olarak kullanılmasının optimal program üretebileceğini düşünüyor muyum? (Gereksiz ara veri yapıları veya diğer ekstra işlemler yok).
Burada bir şeye mi (ve ne)? Hesaplama karmaşıklığına bu şekilde bakmaya çalışmak (öğrenme bakış açısından) faydalanıyor mu? "Güzel" başlangıç cebirlerine sahip olabileceğimiz yapılar bazı problemler için bir şekilde çok sınırlı mı?
Ben çoğunlukla arama alanının yapısı ve "arama alanı" ve "arama algoritması" functor ilk cebir gibi bazı "güzel" bir nesne ile etkileşim yolu açısından karmaşıklığı düşünmek için bir yol bulmaya çalışıyorum ve daha karmaşık yapılara bakarken olayları bu şekilde görüntülemenin faydalı olup olmadığını anlamak.