Beynim mazoşistik modda görünüyor, bu nedenle this, this ve this'da boğulduktan sonra, C# içindeki bazı DIY'lerle uğraşmak istedim. ben Y-combinator sanmıyorum aşağıda, ile geldi, ama kendisine refera
Yaklaşık 800 milyon kez aramam gereken bir yinelemeli işlevim var (C#). Bu normalde normalde 900'üncü çağrıdan sonra bir yığın taşmasıyla sonuçlanacaktır. Bunu birden fazla döngüye attım, ama özyinele
Agda manuel: normalleşmesini sağlamak için, endüktif oluşumları kesinlikle olumlu pozisyonlarda yer almalıdır. Örneğin, aşağıdaki veri türü izin verilmez: data Bad : Set where
bad : (Bad → Bad) →
tek argüman fonksiyonu için Y-combinator Doing iyi belgelenmiştir: http://rosettacode.org/wiki/Y_combinator#Clojure Sorum şu - nasıl bir iki argüman fonksiyonu için yaparım örneğin bu gaz giderici ola