halting-problem

7ısı

2cevap

Otomatik olarak ve deterministik bir ilişkilendirme, değişebilirlik vb. Işlevini sınama

İki argümanın başka bir işlevini alan daha yüksek bir sıralama işlevi isAssociative oluşturmak mümkün mü ve bu işlevin birleştirici olup olmadığını belirler mi? Benzer soru, ancak değişebilirlik gibi

haskell higher-order-functions halting-problem associativity commutativity 2011-12-28

---