Tüm monadlar Monoid midir?

2024 Yazar: Miles Stephen | [email protected]. Son düzenleme: 2023-12-15 23:41

İyi söylenmiş, belki de şimdiye kadarki en kısa cevap: A monad sadece bir monoid endofunctors kategorisinde. memnun monoid aksiyomlar (i. & ii.), bir monad olarak görülebilir monoid iki doğal dönüşümle birlikte bir endofunctor olan.

Burada, Monad Endofunctor nedir?

Kategori teorisinde, matematiğin bir dalı, bir monad (ayrıca üçlü, üçlü, standart yapı ve temel yapı) bir endofunktor (bir kategoriyi kendisine eşleyen bir işlev), belirli tutarlılık koşullarını yerine getirmek için gereken iki doğal dönüşümle birlikte.

Daha sonra soru şu, Bifunctor nedir? A iki işlevli (ikili işlev olarak da bilinir), etki alanı bir ürün kategorisi olan bir işlevdir. İki argümanda bir functor olarak görülebilir. Hom functor doğal bir örnektir; bir argümanda kontravaryant, diğerinde kovaryanttır. Çok işlevli, işlev kavramının n değişkene genelleştirilmesidir.

Öyleyse, programlamada Monad nedir?

Wikipedia'dan: İşlevsel olarak programlama , a monad hesaplamaları temsil etmek için kullanılan bir tür soyut veri türüdür (etki alanı modelindeki veriler yerine). Monadlar Izin vermek programcı tarafından sağlanan ek işleme kuralları ile süslenmiş bir işlem hattı oluşturmak için eylemleri birbirine zincirlemek. monad.

Monad Haskell nedir?

İçinde Haskell a monad bir tür oluşturucu (buna m deyin), o türden değerler oluşturan bir işlev (a -> ma) ve bu türün değerlerini, yeni bir hesaplama üretmek üzere bu türden değerleri üreten hesaplamalarla birleştiren bir işlev olarak temsil edilir. bu türden değerler (ma -> (a -> mb) -> mb).