Dönem görmedimÜcretsiz Monadbir süre 3* now and then *açılır, ama herkes bir açıklama vermeden bunları tartışmak/kullanmak gibi görünüyor. Ücretsiz monadlar ne?: (Monadlar ve Haskell temelleri aşina değilim, ama kategori teorisi sadece çok kaba bir bilgi var diyebilirim.)

Burada daha basit bir cevap: Bir Monad bir şey bu "hesaplar" bağlam join :: m (m a) -> m a *(*1 ** 2 * olarak tanımlanabilir hatırlatarak) monadic. Serideki her bir noktada, bir önceki aramadan kapsamında gelecek ile çöktü. çünkü bu Monadlar hesaplamaları sıralı bir zincir ile içerik taşır.

Birücretsiz monadher Monad yasalarına karşılar, ama (yani, hesaplama) herhangi bir çökme yapmaz. Sadece bağlamlarda iç içe geçmiş bir dizi kurar. Bu özgür monadic bir değer oluşturan kullanıcı, böylece bu iç içe bağlamlarda bir şeyler yapmak için sorumluduranlammonadic değeri oluşturulduktan sonra böyle bir kompozisyon kadar ertelenmiş olabilir.