1
Haskell'de örtük, statik tipte döküm (baskı)
Sorun Haskell'de aşağıdaki tasarım sorununu düşünün. Değişkenleri ve genel ifadeleri (çok değişkenli polinomlar) ifade etmek istediğim basit, sembolik bir EDSL var x^2 * y + 2*z + 1. Buna ek olarak, ben ifadeler, diyelim üzerinde belirli sembolik denklemler ifade etmek istiyorum x^2 + 1 = 1, hem de tanımları gibi …