Агуулгын хүснэгт:

Яагаад функтор биш гэж?
Яагаад функтор биш гэж?
Anonim

Функторын хуулиудад функцүүдийн орчуулга нь савны бүтцийг хадгалахаас гадна функцүүд хэрхэн бүрдэх бүтцийг хадгалдаг болохыг илэрхийлдэг. Багцыг зураглах нь тэдгээр бүтцийг хадгалахгүй ба энэ нь олонлогууд функц биш байдгийн шалтгаан юм.

Бүх функц эвхэгддэг үү?

Хэдийгээр foldMap гэх мэт арга байгаа нь ямар ч эвхэгддэг төрлүүд Функторын жишээнүүдтэй байх ёстойг харуулж магадгүй ч Функтор нь үнэндээ Эвхэгддэг төрлийн дээд анги биш юм.

Мөр нь функтор Хаскелл мөн үү?

Таны харж байгаагаар String-д төрлийн параметр байхгүй тул функциональ байж болохгүй.

Монадууд нь хэрэглээний функц мөн үү?

Функтор нь Functor төрлийн ангиллыг хэрэгжүүлдэг өгөгдлийн төрөл юм. Аппликатив гэдэг нь Applicative төрлийн ангиллыг хэрэгжүүлдэг өгөгдлийн төрөл юм. Монад гэдэг нь Monad төрлийн ангиллыг хэрэгжүүлдэг өгөгдлийн төрөл юм A Магадгүй гурвыг нь хэрэгжүүлдэг тул функциональ, аппликатив, монад болно.

Бүх монадууд функцүүд мөн үү?

Эхний функц нь таны оруулсан утгыг манай Монадын зохиож чадах утгуудын багц болгон хувиргах боломжийг олгоно. Хоёрдахь функц нь найрлагыг бүрдүүлэх боломжийг олгодог. Дүгнэж хэлэхэд Монад бүр Функтор биш харин зорилгоо биелүүлэхийн тулд Функтор ашигладаг.

Зөвлөмж болгож буй: