«proof» etiketlenmiş sorular


5
Monadların kompozisyon altında kapatılmadığını gösteren somut örnek (kanıtla)
Kompozisyon altında uygulama işlevlerinin kapalı olduğu ancak monadların kapalı olduğu iyi bilinmektedir. Bununla birlikte, monadların her zaman beste yapmadığını gösteren somut bir karşı örnek bulmakta zorlanıyorum. Bu cevap , [String -> a]monad olmayan bir örnek olarak verir . Bir süre onunla oynadıktan sonra, sezgisel olarak inanıyorum, ancak bu cevap, gerçekten …

9
Layman'ın terimleriyle Pompalama Lemması nedir?
Bu soruyu gördüm ve pompalayan lemmanın ne olduğunu merak ettim ( Wikipedia pek yardımcı olmadı). Bunun temelde bir dilin belirli bir sınıfta olması için doğru olması gereken teorik bir kanıt olduğunu anlıyorum, ama bunun ötesinde gerçekten anlamıyorum. Bunu matematikçi olmayanlar / comp bilim doktorları tarafından anlaşılabilir bir şekilde oldukça ayrıntılı …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.