คำถามติดแท็ก applicative

ในขณะที่อธิบายให้คนฟังว่า class X ชนิดใดที่ฉันพยายามหาตัวอย่างที่ดีของโครงสร้างข้อมูลซึ่งเป็น X อย่างแน่นอน ดังนั้นฉันขอตัวอย่างสำหรับ: คอนสตรัคเตอร์ชนิดที่ไม่ใช่ Functor ตัวสร้างประเภทซึ่งเป็น Functor แต่ไม่สามารถใช้ คอนสตรัคเตอร์ชนิดซึ่งเป็นการใช้งาน แต่ไม่ใช่ Monad ตัวสร้างประเภทซึ่งเป็น Monad ฉันคิดว่ามีตัวอย่างมากมายของ Monad ทุกที่ แต่ตัวอย่างที่ดีของ Monad ที่เกี่ยวข้องกับตัวอย่างก่อนหน้านี้อาจทำให้ภาพสมบูรณ์ ฉันมองหาตัวอย่างที่จะคล้ายกันแตกต่างกันเฉพาะในแง่มุมที่สำคัญสำหรับการเป็นของประเภทประเภทเฉพาะ หากมีใครสามารถจัดการตัวอย่างของ Arrow ที่อยู่ในลำดับชั้นนี้ได้ (มันอยู่ระหว่าง Applicative และ Monad หรือไม่) นั่นก็ยอดเยี่ยมเช่นกัน!

210 haskell  monads  functor  applicative 

ใบสมัครเขียน monads ไม่ได้ ข้อความข้างต้นหมายถึงอะไร? และเมื่อใดที่เป็นที่นิยมมากกว่าคนอื่น ๆ ?

110 haskell  functional-programming  monads  monad-transformers  applicative 

ฉันกำลังเรียนผู้สมัครของ Haskell ดูเหมือนว่าฉัน (ฉันอาจผิด) ว่าpureฟังก์ชั่นไม่จำเป็นจริงๆตัวอย่างเช่น: pure (+) <*> [1,2,3] <*> [3,4,5] สามารถเขียนเป็น (+) <$> [1,2,3] <*> [3,4,5] บางคนสามารถอธิบายถึงประโยชน์ที่pureฟังก์ชั่นมอบให้เหนือการทำแผนที่อย่างชัดเจนด้วยfmapหรือไม่?

19 haskell  applicative 

Applicativetypeclass หมายถึงหละหลวม monoidal functors ที่รักษาโครงสร้าง monoidal คาร์ทีเซียนในหมวดหมู่ของฟังก์ชั่นพิมพ์ กล่าวอีกนัยหนึ่งได้รับ isomorphisms บัญญัติซึ่ง(,)เป็นรูปแบบโครงสร้าง monoidal: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) -> ((a, b), c) lunit_fwd :: ((), a) -> a lunit_bwd :: a -> ((), a) runit_fwd :: …

9 haskell  functor  applicative  category-theory