ไลบรารี Haskell ที่ดีที่สุดในการใช้งานโปรแกรมคืออะไร [ปิด]

หากฉันจะนำโปรแกรมไปใช้ในการผลิตมีหลายสิ่งที่ฉันต้องการให้โปรแกรมนั้นทำเพื่อที่จะพิจารณาว่า "ใช้งานได้" นั่นคือการทำงานและบำรุงรักษาด้วยวิธีที่วัดผลได้และตรวจสอบได้โดยทั้งวิศวกรและเจ้าหน้าที่ฝ่ายปฏิบัติการ สำหรับวัตถุประสงค์ของฉันโปรแกรมที่ดำเนินการจะต้อง:

• สามารถบันทึกได้หลายระดับ (เช่นการดีบักคำเตือน ฯลฯ )
• สามารถรวบรวมและแบ่งปันเมตริก / สถิติเกี่ยวกับประเภทของงานที่โปรแกรมกำลังทำและระยะเวลาที่งานนั้นใช้ ตามหลักการแล้วเมตริกที่รวบรวมจะมีอยู่ในรูปแบบที่เข้ากันได้กับเครื่องมือการตรวจสอบที่ใช้กันทั่วไปเช่นGangliaหรืออาจเป็นแบบ munged ก็ได้
• สามารถกำหนดค่าได้โดยดีอย่างยิ่งผ่านระบบที่อนุญาตให้คุณสมบัติที่กำหนดค่าไว้ในโปรแกรมที่รันอยู่เพื่ออัปเดตโดยไม่ต้องรีสตาร์ทโปรแกรมดังกล่าว
• สามารถปรับใช้กับเซิร์ฟเวอร์ระยะไกลด้วยวิธีที่ทำซ้ำได้

ในโลกของ Scala มีห้องสมุดที่ดีสำหรับจัดการกับข้อกำหนดอย่างน้อยสามข้อแรก ตัวอย่าง:

• Logulaสำหรับการบันทึก
• เมตริกหรือนกกระจอกเทศสำหรับรวบรวมและรายงานเมตริก
• ConfiggyหรือFigสำหรับการกำหนดค่า

สำหรับการปรับใช้แนวทางหนึ่งที่ใช้ในโลกของ Scala คือการรวมไบต์โค้ดและไลบรารีที่ประกอบด้วยโปรแกรมของตนเข้าด้วยกันเช่นแอสเซมบลี - sbtจากนั้นดันบันเดิลผลลัพธ์ ("fat JAR") ไปยังเซิร์ฟเวอร์ระยะไกลด้วยเครื่องมือเช่นCapistranoที่รันคำสั่งแบบขนานบน SSH นี่ไม่ใช่ปัญหาที่จำเป็นต้องใช้เครื่องมือเฉพาะภาษา แต่ฉันสงสัยว่ามีเครื่องมือดังกล่าวอยู่ในชุมชน Haskell หรือไม่

อาจมีห้องสมุดของ Haskell ที่มีลักษณะที่ฉันได้อธิบายไว้ข้างต้น ฉันต้องการทราบว่าห้องสมุดใดที่มีให้บริการ "ดีที่สุด" นั่นคือซึ่งเป็นผู้ใหญ่มากที่สุดได้รับการดูแลอย่างดีมักใช้ในชุมชน Haskell และเป็นตัวอย่างของแนวทางปฏิบัติที่ดีที่สุดของ Haskell

หากมีไลบรารีเครื่องมือหรือแนวทางปฏิบัติอื่น ๆ เกี่ยวกับการสร้างโค้ด Haskell "พร้อมใช้งานจริง" ฉันก็อยากทราบข้อมูลเหล่านี้เช่นกัน

นี่เป็นคำถามที่ดีมาก! นี่เป็นการตัดครั้งแรก

สามารถบันทึกได้หลายระดับ (เช่นการดีบักคำเตือน ฯลฯ )

hsloggerเป็นเฟรมเวิร์กการบันทึกที่ได้รับความนิยมมากที่สุด

สามารถรวบรวมและแบ่งปันเมตริก / สถิติเกี่ยวกับประเภทของงานที่โปรแกรมกำลังทำและระยะเวลาที่งานนั้นใช้ ตามหลักการแล้วเมตริกที่รวบรวมไว้จะมีให้ในรูปแบบที่เข้ากันได้กับเครื่องมือตรวจสอบที่ใช้กันทั่วไปเช่น Ganglia หรืออาจเป็นแบบ munged ก็ได้

ฉันไม่ทราบถึงเครื่องมือการรายงานมาตรฐานใด ๆ อย่างไรก็ตามการแยกรายงานจาก+RTS -sสตรีม (หรือผ่านแฟล็กเอาต์พุตการทำโปรไฟล์) เป็นสิ่งที่ฉันเคยทำในอดีต

$ ./A +RTS -s
64,952 bytes allocated in the heap
1 MB total memory in use
 %GC time       0.0%  (6.1% elapsed)
 Productivity 100.0% of total user, 0.0% of total elapsed

คุณสามารถรับสิ่งนี้ในรูปแบบที่เครื่องอ่านได้ด้วย:

$ ./A +RTS -t --machine-readable

 [("bytes allocated", "64952")
 ,("num_GCs", "1")
 ,("average_bytes_used", "43784")
 ,("max_bytes_used", "43784")
 ,("num_byte_usage_samples", "1")
 ,("peak_megabytes_allocated", "1")
 ,("init_cpu_seconds", "0.00")
 ,("init_wall_seconds", "0.00")
 ,("mutator_cpu_seconds", "0.00")
 ,("mutator_wall_seconds", "0.00")
 ,("GC_cpu_seconds", "0.00")
 ,("GC_wall_seconds", "0.00")
 ]

ตามหลักการแล้วคุณสามารถเชื่อมต่อกับรันไทม์ GHC ที่กำลังทำงานอยู่บนซ็อกเก็ตและดูสถิติ GC เหล่านี้ในเชิงโต้ตอบได้ แต่ตอนนี้ไม่ใช่เรื่องง่ายสุด ๆ (ต้องการการเชื่อมโยง FFI กับอินเทอร์เฟซ "rts / Stats.h") คุณสามารถแนบไปกับกระบวนการโดยใช้ThreadScopeและตรวจสอบ GC และลักษณะการทำงานของเธรด

แฟล็กที่คล้ายกันจะพร้อมใช้งานสำหรับการเพิ่มเวลาบันทึกเวลาและการทำโปรไฟล์พื้นที่ซึ่งสามารถใช้สำหรับการมอนิเตอร์ (เช่นกราฟเหล่านี้สามารถสร้างขึ้นทีละน้อย)

hpcรวบรวมสถิติจำนวนมากเกี่ยวกับการทำงานของโปรแกรมผ่านTixประเภทของโปรแกรมและผู้คนได้เขียนเครื่องมือเพื่อเข้าสู่ระบบโดยแบ่งเวลาว่าโค้ดใดกำลังเรียกใช้งาน

สามารถกำหนดค่าได้โดยดีอย่างยิ่งผ่านระบบที่อนุญาตให้คุณสมบัติที่กำหนดค่าไว้ในโปรแกรมที่รันอยู่เพื่ออัปเดตโดยไม่ต้องรีสตาร์ทโปรแกรมดังกล่าว

มีเครื่องมือมากมายสำหรับสิ่งนี้คุณสามารถทำการรีโหลดสถานะแบบ xmonad ได้ หรือเลื่อนขึ้นไปยังโค้ด hotswapping ผ่านpluginsแพ็คเกจ * หรือhint. บางส่วนเป็นการทดลองมากกว่าแบบอื่น ๆ

การปรับใช้ที่ทำซ้ำได้

Galois เพิ่งเปิดตัวcabal-devซึ่งเป็นเครื่องมือสำหรับการสร้างที่ทำซ้ำได้ (เช่นการอ้างอิงจะถูกกำหนดขอบเขตและควบคุม)

• เกี่ยวกับการกำหนดค่าฉันพบว่า ConfigFile มีประโยชน์สำหรับโครงการของฉัน ฉันใช้มันสำหรับภูตทั้งหมดของฉันในการผลิต มันไม่อัปเดตโดยอัตโนมัติ
• ฉันใช้ cabal-dev เพื่อสร้างงานสร้างที่ทำซ้ำได้ในสภาพแวดล้อมต่างๆ (ในพื้นที่, ผู้พัฒนา, เพื่อนร่วมงานในพื้นที่) cabal-dev เป็นสิ่งที่ขาดไม่ได้โดยเฉพาะอย่างยิ่งสำหรับความสามารถในการรองรับไลบรารีเวอร์ชันท้องถิ่นที่ได้รับการแก้ไขแล้วภายในไดเรกทอรีโครงการ
• สำหรับสิ่งที่คุ้มค่าฉันจะไปกับการโหลดสถานะแบบ xmonad ความบริสุทธิ์ของ Haskell ทำให้เรื่องนี้เป็นเรื่องเล็กน้อย การโยกย้ายเป็นปัญหา แต่อย่างไรก็ตาม ฉันทดลองใช้ hsplugins และคำใบ้สำหรับ IRCd ของฉันและในกรณีก่อนหน้านี้มีปัญหารันไทม์ GHC และในช่วงหลังเกิดข้อผิดพลาดในการแบ่งส่วน ฉันออกจากสาขาบน Github เพื่อทำการชันสูตรพลิกศพในภายหลัง: https://github.com/chrisdone/hulk

ตัวอย่าง ConfigFile:

# Default options
[DEFAULT]
hostname: localhost
# Options for the first file
[file1]
location: /usr/local
user: Fred

ฉันจะสะท้อนทุกสิ่งที่ดอนพูดและเพิ่มคำแนะนำทั่วไปเล็กน้อย

ตัวอย่างเช่นเครื่องมือและไลบรารีเพิ่มเติมสองรายการที่คุณอาจต้องการพิจารณา:

• QuickCheckสำหรับการทดสอบตามคุณสมบัติ
• คำใบ้เป็นเวอร์ชันขยายของ-Wall

ทั้งสองมีเป้าหมายที่คุณภาพโค้ด

ในการฝึกเขียนโค้ดให้หลีกเลี่ยง Lazy IO หากคุณจำเป็นต้องสตรีมมิ่ง IO แล้วไปกับหนึ่งในห้องสมุด iteratee เช่นการแจงนับ หากคุณดูHackageคุณจะเห็นไลบรารีเช่น http-enumerator ที่ใช้รูปแบบตัวแจงนับสำหรับคำขอ http

สำหรับการเลือกไลบรารีในการแฮ็กบางครั้งอาจช่วยดูว่ามีกี่แพ็คเกจขึ้นอยู่กับบางสิ่ง ดูการอ้างอิงย้อนกลับของแพ็คเกจได้อย่างง่ายดายที่คุณสามารถใช้เว็บไซต์นี้ซึ่งสะท้อนถึงการแฮ็ก:

• http://bifunctor.homelinux.net/~roel/hackage/packages/archive/revdeps-list.html

หากแอปพลิเคชันของคุณต้องวนซ้ำอย่างแน่นหนาเช่นเว็บเซิร์ฟเวอร์ที่จัดการคำขอจำนวนมากความเกียจคร้านอาจเป็นปัญหาในรูปแบบของการรั่วไหลของพื้นที่ บ่อยครั้งสิ่งนี้เป็นเรื่องของการเพิ่มคำอธิบายประกอบที่เข้มงวดในตำแหน่งที่เหมาะสม การสร้างโปรไฟล์ประสบการณ์และหลักในการอ่านเป็นเทคนิคหลักที่ฉันรู้ในการต่อสู้กับสิ่งประเภทนี้ ที่ดีที่สุดของการอ้างอิงโปรไฟล์ฉันรู้ว่าเป็นบทที่ 25ของโลกจริง Haskell