SORU
10 Temmuz 2015, Cuma

"Monad transformers etkileri" daha güçlü; - Örnekler?

Kağıt 0* *İdris etkileri içerir (başvurulmayan) iddia:

[Efektleri ve monad transformers] güç değil eşdeğer olsa da — monadlar ve monad transformers daha kavramları ifade edebilir — birçok ortak effectful hesaplamaları yakalanır.

Örnekler monad transformers tarafından modellenmiş olabilir ne var ama etkileri değil mi?

CEVAP
6 EYLÜL 2015, Pazar

Devamı monadlar olarak, CPS kullanılarak modellenmiş olabilir, ama modellenmiş Lawvere kuramlarla edilemez olarak cebirsel etkileri değildir. Martin ve John Hyland Güç bakın, 2007, 1**, 172:437-458 ENTCS.

Bunu Paylaş:
  • Google+
  • E-Posta
Etiketler:
Fonksiyonel ProgramlamaFunctional-programmingEfektlerMonadsİdris MonadlarEffects

AYNI ETİKETTEKİ VİDEOLAR

YORUMLAR

SPONSOR VİDEO

Rastgele Yazarlar

  • bombjack2991

    bombjack2991

    29 HAZİRAN 2008
  • Dellbear816

    Dellbear816

    4 Mart 2008
  • Flash CS6 Video Tutorials for Beginners (Actionscript 3 Gaming)

    Flash CS6 Vi

    14 EYLÜL 2012

İLGİLİ SORU / CEVAPLAR

İLGİLİ BAĞLANTILAR