Ditutup . Pertanyaan ini perlu lebih fokus . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga berfokus pada satu masalah hanya dengan mengedit posting ini . Ditutup 2 tahun yang lalu . Y-combinator...
Kode untuk fungsi myAny dalam pertanyaan ini menggunakan foldr. Ini berhenti memproses daftar tak terbatas ketika predikat terpenuhi. Saya menulis ulang menggunakan foldl: myAny :: (a -> Bool) -> [a] -> Bool myAny p list = foldl step False list where step acc item = p item ||...
Apa itu kombinator ?? Apakah ini "fungsi atau definisi tanpa variabel bebas" (sebagaimana didefinisikan pada SO)? Atau bagaimana dengan ini: menurut John Hughes dalam makalahnya yang terkenal tentang Arrows, "kombinator adalah fungsi yang membangun fragmen program dari fragmen program" , yang...
Saya agak bingung dengan dokumentasinya fix(meskipun saya pikir saya mengerti apa yang seharusnya dilakukan sekarang), jadi saya melihat kode sumbernya. Itu membuat saya lebih bingung: fix :: (a -> a) -> a fix f = let x = f x in x Bagaimana tepatnya ini mengembalikan titik tetap? Saya...