Apa perpustakaan Haskell terbaik untuk menjalankan program? [Tutup]

Jika saya akan memasukkan sebuah program ke dalam produksi, ada beberapa hal yang saya perlu program itu lakukan untuk menganggapnya "dioperasionalkan" - yaitu, berjalan dan dapat dipelihara dengan cara yang terukur dan dapat diverifikasi oleh insinyur dan staf operasi. Untuk tujuan saya, program yang dioperasionalkan harus:

• Mampu masuk di berbagai level (mis: debug, peringatan, dll.).
• Mampu mengumpulkan dan berbagi metrik / statistik tentang jenis pekerjaan yang dilakukan program dan berapa lama waktu yang dibutuhkan untuk pekerjaan itu. Idealnya, metrik yang dikumpulkan tersedia dalam format yang kompatibel dengan alat pemantauan yang umum digunakan seperti Ganglia , atau bisa sangat disesuaikan.
• Dapat dikonfigurasi, idealnya melalui sistem yang memungkinkan properti yang dikonfigurasi dalam menjalankan program diperbarui tanpa memulai ulang program tersebut.
• Dapat diterapkan ke server jarak jauh dengan cara yang berulang.

Di dunia Scala, ada perpustakaan yang bagus untuk menangani setidaknya tiga persyaratan pertama. Contoh:

• Logula untuk penebangan.
• Metrik atau Burung Unta untuk mengumpulkan dan melaporkan metrik.
• Configgy atau Fig untuk konfigurasi.

Adapun penerapan, salah satu pendekatan yang diambil di dunia Scala adalah menggabungkan bersama bytecode dan pustaka yang membentuk program seseorang dengan sesuatu seperti assembly-sbt , lalu mendorong bundel yang dihasilkan ("JAR gemuk") ke server jarak jauh dengan alat seperti Capistrano yang menjalankan perintah secara paralel melalui SSH. Ini bukan masalah yang memerlukan alat khusus bahasa, tapi saya penasaran apakah alat semacam itu ada di komunitas Haskell.

Mungkin ada perpustakaan Haskell yang menyediakan ciri-ciri yang saya jelaskan di atas. Saya ingin tahu perpustakaan mana yang dianggap "terbaik"; yaitu, yang paling matang, terpelihara dengan baik, biasa digunakan dalam komunitas Haskell, dan contoh praktik terbaik Haskell.

Jika ada pustaka, alat, atau praktik lain seputar pembuatan kode Haskell "siap produksi", saya juga ingin mengetahuinya.

Ini pertanyaan yang bagus! Ini potongan pertama.

Mampu masuk di berbagai level (mis: debug, peringatan, dll.).

hslogger adalah framework logging yang paling populer.

Mampu mengumpulkan dan berbagi metrik / statistik tentang jenis pekerjaan yang dilakukan program dan berapa lama waktu yang dibutuhkan untuk pekerjaan itu. Idealnya, metrik yang dikumpulkan tersedia dalam format yang kompatibel dengan alat pemantauan yang umum digunakan seperti Ganglia, atau bisa sangat disesuaikan.

Saya tidak mengetahui adanya alat pelaporan standar, namun, mengekstrak laporan dari +RTS -saliran (atau melalui tanda keluaran profil) telah menjadi sesuatu yang telah saya lakukan di masa lalu.

$ ./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

Anda juga bisa mendapatkan ini dalam format yang dapat dibaca mesin:

$ ./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")
 ]

Idealnya Anda dapat melampirkan ke runtime GHC yang berjalan melalui soket dan melihat statistik GC ini secara interaktif, tetapi saat ini itu tidak super mudah (memerlukan FFI yang mengikat ke antarmuka "rts / Stats.h"). Anda dapat melampirkan ke proses menggunakan ThreadScopedan memantau GC dan perilaku threading.

Bendera serupa tersedia untuk pembuatan profil waktu dan ruang tambahan, yang dicatat , yang dapat digunakan untuk pemantauan (misalnya, grafik ini dapat dibuat secara bertahap).

hpcmengumpulkan banyak statistik tentang eksekusi program, melalui Tixtipenya, dan orang-orang telah menulis alat untuk mencatat menurut pembagian waktu kode apa yang sedang dijalankan.

Dapat dikonfigurasi, idealnya melalui sistem yang memungkinkan properti yang dikonfigurasi dalam menjalankan program diperbarui tanpa memulai ulang program tersebut.

Beberapa alat tersedia untuk ini, Anda dapat melakukan pemuatan status gaya xmonad; atau pindah ke hotswapping kode melalui plugins* paket atau hint. Beberapa di antaranya lebih eksperimental daripada yang lain.

Penerapan yang dapat direproduksi

Galois baru-baru ini dirilis cabal-dev, yang merupakan alat untuk melakukan build yang dapat direproduksi (yaitu dependensi dibatasi dan dikontrol).

• Mengenai konfigurasi, saya menemukan ConfigFile berguna untuk proyek saya. Saya menggunakannya untuk semua daemon saya dalam produksi. Itu tidak diperbarui secara otomatis.
• Saya menggunakan cabal-dev untuk membuat bangunan yang dapat direproduksi di seluruh lingkungan (lokal, dev, kolega-lokal). Benar-benar cabal-dev sangat diperlukan, terutama karena kemampuannya untuk mendukung versi pustaka lokal yang ditambal dalam direktori proyek.
• Untuk apa nilainya, saya akan menggunakan pemuatan status gaya xmonad. Kemurnian Haskell membuat ini sepele; migrasi adalah sebuah masalah tapi bagaimanapun juga. Saya bereksperimen dengan hsplugins dan petunjuk untuk IRCd saya dan dalam kasus sebelumnya ada masalah runtime GHC, dan yang terakhir adalah kesalahan segmentasi. Saya meninggalkan cabang di Github untuk postmortem nanti: https://github.com/chrisdone/hulk

Contoh ConfigFile:

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

Saya akan mengulangi semua yang dikatakan Don dan menambahkan beberapa nasihat umum.

Misalnya, dua alat dan pustaka tambahan yang mungkin ingin Anda pertimbangkan:

• QuickCheck untuk pengujian berbasis properti
• hlint sebagai versi tambahan dari-Wall

Keduanya ditargetkan pada kualitas kode.

Sebagai praktik coding, hindari Lazy IO. Jika Anda memerlukan streaming IO, gunakan salah satu library iteratee seperti enumerator . Jika Anda melihat Hackage Anda akan melihat perpustakaan seperti http-enumerator yang menggunakan gaya enumerator untuk permintaan http.

Sedangkan untuk memilih pustaka pada peretasan terkadang dapat membantu untuk melihat berapa banyak paket yang bergantung pada sesuatu. Dengan mudah melihat ketergantungan kebalikan dari sebuah paket, Anda dapat menggunakan situs web ini, yang mencerminkan peretasan:

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

Jika aplikasi Anda akhirnya melakukan loop ketat, seperti server web yang menangani banyak permintaan, kemalasan bisa menjadi masalah dalam bentuk kebocoran ruang. Seringkali ini adalah masalah menambahkan anotasi ketelitian di tempat yang tepat. Profiling, pengalaman, dan inti membaca adalah teknik utama yang saya ketahui untuk memerangi hal semacam ini. Referensi pembuatan profil terbaik yang saya tahu adalah Bab 25 dari Dunia Nyata Haskell .