mtl, หม้อแปลง, monads-fd, monadLib และความขัดแย้งของทางเลือก

Hackage มีหลายแพ็คเกจสำหรับ monad transformers:

• mtl : ห้องสมุดหม้อแปลง Monad
• หม้อแปลง : คอนกรีต functor และ monad transformers
• monads-fd : คลาส Monad โดยใช้การพึ่งพาการทำงาน
• monads-tf : คลาส Monad โดยใช้ประเภทครอบครัว
• monadLib : ชุดของหม้อแปลง monad
• mtl-tf : ไลบรารีหม้อแปลง Monad โดยใช้ตระกูลประเภท
• mmtl : ไลบรารีหม้อแปลง Modular Monad
• mtlx : ไลบรารีหม้อแปลง Monad พร้อมดัชนีประเภทให้สำเนา 'ฟรี'
• compose-trans : หม้อแปลง monad ที่ประกอบได้

(และบางทีฉันก็พลาดไปบ้าง)

เราจะใช้อันไหนดี?

mtl เป็นหนึ่งในแพลตฟอร์ม Haskell แต่ฉันเคยได้ยินเกี่ยวกับ reddit ว่ามัน uncool

แต่สิ่งที่ไม่ดีเกี่ยวกับการเลือกมันไม่ใช่แค่สิ่งที่ดีเหรอ

ฉันได้เห็นตัวอย่างเช่นผู้เขียนผู้เข้าถึงข้อมูลต้องทำสิ่งเหล่านี้เพื่อตอบสนองตัวเลือกยอดนิยม:

• data-accessor-monadLib library: ฟังก์ชัน Accessor สำหรับ monads ของ monadLib
• data-accessor-monads-fd library: ใช้ Accessor เพื่อเข้าถึงสถานะในคลาส monad ของ monads-fd State
• ไลบรารี data-accessor-monads-tf: ใช้ Accessor เพื่อเข้าถึงสถานะในตระกูล monad type monads-tf State
• data-accessor-mtl library: ใช้ Accessor เพื่อเข้าถึง state ใน mtl State monad class
• ไลบรารี data-accessor-transformers: ใช้ Accessor เพื่อเข้าถึงสถานะใน transformers State monad

ฉันจินตนาการว่าถ้าสิ่งนี้เกิดขึ้นและตัวอย่างเช่นแพ็คเกจ Arrow ที่แข่งขันกันพัฒนาขึ้นเราอาจเห็นบางอย่างเช่น: spoonklink-arrows-transformers, spoonklink-arrows-monadLib, spoonklink-tfArrows-transformers, spoonklink-tfArrows-monadLib, ...

จากนั้นฉันก็กังวลว่าหาก Spoonklink ถูกส้อมการแฮ็กจะทำให้พื้นที่ดิสก์หมด :)

คำถาม:

• เหตุใดจึงมีแพ็คเกจหม้อแปลง Monad มากมาย?
• เหตุใด mtl จึง [ถือว่า] uncool?
• อะไรคือความแตกต่างที่สำคัญ?
• แพ็คเกจที่ดูเหมือนจะแข่งขันกันเหล่านี้ส่วนใหญ่เขียนโดย Andy Gill และดูแลโดย Ross Paterson หมายความว่าแพ็กเกจเหล่านี้ไม่ได้แข่งขันกัน แต่ทำงานร่วมกันไม่ทางใดก็ทางหนึ่ง? Andy และ Ross คิดว่าแพ็คเกจของตัวเองล้าสมัยหรือไม่?
• คุณและฉันควรใช้อันไหน?

กลุ่มของพวกเขาเกือบจะเทียบเท่ากันทั้งหมด:

• mtlใช้นามสกุล GHC แต่transformersเป็น Haskell 98
• monads-fdและmonads-tfมี add-on เพื่อtransformersใช้อ้างอิงในการทำงานและประเภทครอบครัวตามลำดับทั้งสองให้การทำงานในที่ขาดหายไปจากmtltransformers
• mtl-tfถูกนำมาmtlใช้ใหม่โดยใช้ตระกูลประเภท

ดังนั้นหลักmtl== transformers++ monads-fd, mtl-tf== ++transformers monads-tfความสามารถในการพกพาที่ดีขึ้นและความเป็นโมดูลาร์transformersและแพ็คเกจที่เกี่ยวข้องทำให้mtlทุกวันนี้ฉันคิดว่า uncool

mmtlและmtlxทั้งสองดูเหมือนจะคล้ายและ / หรือขึ้นอยู่mtlกับความแตกต่างของ API และคุณสมบัติพิเศษ

MonadLibดูเหมือนจะค่อนข้างแตกต่างกันในเรื่องต่างๆ แต่ฉันไม่คุ้นเคยกับเรื่องนี้โดยตรง ดูเหมือนว่าจะใช้ส่วนขยาย GHC มากกว่าส่วนขยายอื่น ๆ

ในภาพรวมcompose-transดูเหมือนว่าจะเป็นเหมือนโปรแกรม metaprogramming สำหรับการสร้าง monad transformers มันอ้างว่าเข้ากันได้กับControl.Monad.Transซึ่ง ... ฉันเดาว่าหมายถึงmtl?

ไม่ว่าในกรณีใดฉันขอแนะนำให้ใช้อัลกอริทึมการตัดสินใจต่อไปนี้:

• คุณต้องการ monads มาตรฐานสำหรับโครงการใหม่หรือไม่? ใช้transformers& co. ช่วยให้เราmtlพักผ่อน
• คุณใช้งานmtlในโครงการขนาดใหญ่อยู่แล้วหรือไม่? transformersเข้ากันไม่ได้อย่างสมบูรณ์ แต่จะไม่มีใครฆ่าคุณเพราะไม่เปลี่ยน
• หนึ่งในแพ็คเกจอื่น ๆ มีฟังก์ชันการทำงานที่ผิดปกติที่คุณต้องการหรือไม่? เช่นกันอาจใช้แทนการหมุนของคุณเอง
• ยังไม่พอใจ? ทิ้งพวกเขาทั้งหมดดาวน์โหลดcategory-extrasและแก้ไขปัญหาทั้งหมดของโลกด้วยหน้าและครึ่งหนึ่งของรหัสทั่วไปที่ไม่สามารถเข้าใจได้ในเชิงนามธรรมที่น่าทึ่ง

สำหรับช่วงเวลาที่? คุณน่าจะใช้mtl. สิ่งที่เกิดขึ้นคือtransformersห้องสมุดกำลังถูกแยกออกจาก MTL ในรูปแบบที่monads-fdและmonads-tfสามารถอยู่ร่วมกันได้อย่างสงบสุข แต่ในการตรวจสอบครั้งสุดท้ายยังไม่เป็นเช่นนั้น

ที่เกิดขึ้นเมื่อคุณจะสามารถที่จะนำเข้าmonads-fdและtransformersและได้รับ (เกือบ) อินเตอร์เฟซเดียวกันกับข้อยกเว้นที่Stateฯลฯ StateTจะเป็นนามแฝงสำหรับ

ดังนั้นฉันจะเขียนถึงmtlแต่ไม่ได้ขึ้นอยู่กับข้อเท็จจริงที่ว่า State, Reader ฯลฯ อยู่ในขณะนี้dataเนื่องจากจะถูกแทนที่ด้วยtypes

MonadLib เป็นอีกทางเลือกหนึ่งที่ Iavor กำลังดำเนินการอยู่ซึ่งสามารถใช้ได้อย่างปลอดภัยเนื่องจากไม่แชร์ชื่อโมดูลใด ๆ กับผู้อื่น แต่มีรูปแบบการใช้งานที่แตกต่างกันพอสมควร

แฟออกเอ็ดเวิร์ด Kmett กล่าวถึงในคำตอบของเขาเสร็จสมบูรณ์ในช่วงปลายปี 2010 สิ้นผลของมันmonads-FD , สร้างขึ้นบนหม้อแปลงกลายเป็นรุ่นที่ 2 ของMTL อันเป็นผลมาจากความแพร่หลายของmtlทำให้monads-tfไม่เคยติดมาก่อน ในช่วงต้นปี 2560 mtlและหม้อแปลงเป็นไลบรารี monad transformer เพียงแห่งเดียวที่มีการใช้งานอย่างแพร่หลาย