IO
Haskell monad genellikle devlet dünya bir devlet monad olarak açıklanmıştır. Dolayısıyla IO a
monad tipi bir değer gibi gözüküyor worldState -> (a, worldState)
.
Bir süre önce bu görüşü eleştiren ve doğru olmamanın birkaç nedeni olan bir makale (ya da bir blog / posta listesi yazısı) okudum. Ancak ne makaleyi ne de sebeplerini hatırlayamıyorum. Bilen var mı
Düzenleme: Makale kaybolmuş görünüyor, bu yüzden burada çeşitli argümanlar toplamaya başlayalım. İşleri daha ilginç hale getirmek için bir ödül alıyorum.
Düzenleme: Aradığım makale , Garip takımın ele alınması: Haskell'de monadik giriş / çıkış, eşzamanlılık, istisnalar ve yabancı dil çağrılarını Simon Peyton Jones. (TacTics'in cevabı sayesinde.)