แอปพลิเคชันคือประเภทข้อมูลที่ใช้ประเภทคลาสประเภท Applicative ในวิทยาการคอมพิวเตอร์ คลาสประเภทคือ โครงสร้างระบบประเภทที่รองรับความหลากหลายแบบเฉพาะกิจ ซึ่งทำได้โดยการเพิ่มข้อจำกัดในการพิมพ์ตัวแปรในประเภทพหุสัณฐานแบบพาราเมตริก https://en.wikipedia.org › wiki › Type_class
ประเภทคลาส - Wikipedia
. Monad เป็นประเภทข้อมูล ที่ใช้ Monad typeclass A Maybe ใช้ทั้งสามอย่าง ดังนั้นจึงเป็น functor, applicative และ monad
ทุกโมนาดเป็นตัวการหรือไม่
ฟังก์ชันแรกช่วยให้คุณสามารถแปลงค่าที่คุณป้อนเป็นชุดค่าที่ Monad ของเราสามารถเขียนได้ ฟังก์ชั่นที่สองช่วยให้สามารถจัดองค์ประกอบได้ สรุปได้ว่า ทุก Monad ไม่ใช่ Functor แต่ใช้ Functor เพื่อบรรลุวัตถุประสงค์.
โมนาดอะไรไม่ใช่
Monads ไม่เกี่ยวกับสถานะ
ในขณะที่มันเป็นไปได้ที่จะแยกสถานะที่ชัดเจนออกไปโดยใช้ Monad นั่นไม่ใช่สิ่งที่ Monad คืออะไร ตัวอย่าง monads ที่ไม่เกี่ยวกับรัฐ: Identity monad, Reader monad, List monad, Continuation monad, Exception monad
แอพพลิเคชั่นใน Haskell คืออะไร
ใน Haskell แอปพลิเคชันคือ ประเภท parametrized ที่เราคิดว่าเป็นที่เก็บข้อมูลประเภทนั้นบวกสองวิธีบริสุทธิ์และ พิจารณาประเภทพารามิเตอร์ f a วิธีการบริสุทธิ์สำหรับแอปพลิเคชันประเภท f มีประเภท เพียว:: a -> f a. และสามารถคิดว่าเป็นการนำคุณค่ามาสู่แอปพลิเคชัน
functor เป็น monoid หรือไม่
เอกลักษณ์ขององค์ประกอบของ functors คือเอกลักษณ์ functor … หมวดหมู่เล็กๆ ที่มีวัตถุเพียงชิ้นเดียวก็เหมือนกับโมโนออยด์: มอร์ฟิซึมของหมวดหมู่วัตถุเดียวสามารถมองได้ว่าเป็นองค์ประกอบของโมโนอิด และการจัดองค์ประกอบในหมวดหมู่คือ คิดว่าเป็นการผ่าตัดแบบ monoid