Які найкращі бібліотеки Haskell для функціонування програми? [зачинено]

Якщо я збираюся вкласти програму у виробництво, мені потрібно зробити декілька речей, щоб вважати її "функціоналізованою" - тобто працює та ремонтується вимірюваним і перевіреним способом як інженерами, так і оперативним персоналом. Для моїх цілей операціоналізована програма повинна:

• Вміти входити на кілька рівнів (наприклад: налагодження, попередження тощо).
• Вміти збирати та обмінюватися показниками / статистичними даними про типи роботи, яку проводить програма і скільки часу ця робота займає. В ідеалі зібрані показники доступні у форматі, сумісному з широко використовуваними засобами моніторингу, такими як Ganglia , або можуть бути настільки розробленими.
• Будьте налаштовані, в ідеалі через систему, яка дозволяє оновлювати налаштовані властивості запущених програм без перезапуску зазначених програм.
• Будьте доступними для віддалених серверів повторно.

У світі Scala є хороші бібліотеки для вирішення хоча б перших трьох вимог. Приклади:

• Логула для лісозаготівлі.
• Метрики або страус для збору та повідомлення звітів.
• Конфігурація або Рис для конфігурації.

Що стосується розгортання, то один із підходів у світі Scala полягає в тому, щоб поєднати байт-код і бібліотеки, що містять свою програму чимось на зразок Assembly-sbt , а потім підштовхнути отриманий пакет ("жирний JAR") до віддалених серверів за допомогою інструменту типу Capistrano що паралельно виконує команди над SSH. Це не проблема, яка потребує конкретних мовних інструментів, але мені цікаво, чи існує такий інструмент у спільноті Haskell.

Напевно, є бібліотеки Haskell, які надають ознаки, які я описав вище. Я хотів би знати, яка з доступних бібліотек вважається «найкращою»; тобто найбільш зрілі, доглянуті, зазвичай використовуються в громаді Haskell, і є зразком найкращих практик Haskell.

Якщо є якісь інші бібліотеки, інструменти чи практики щодо створення коду Haskell "готовим до виробництва", я також хотів би знати про них.

Це чудове питання! Ось перший зріз.

Вміти входити на кілька рівнів (наприклад: налагодження, попередження тощо).

hslogger - це найпопулярніший фреймворк.

Вміти збирати та обмінюватися показниками / статистичними даними про типи роботи, яку проводить програма і скільки часу ця робота займає. В ідеалі зібрані показники доступні у форматі, сумісному з широко використовуваними засобами моніторингу, такими як Ganglia, або можуть бути настільки розробленими.

Мені невідомі будь-які стандартизовані інструменти звітності, однак видобуток звітів із +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; або перейти до витримки коду за допомогою pluginsпакетів * або hint. Деякі з них більш експериментальні, ніж інші.

Відтворювані розгортання

Нещодавно вийшов Galois cabal-dev, який є інструментом для відтворення збірок (тобто залежність визначається і контролюється).

• Щодо конфігурації, я визнав ConfigFile корисним для моїх проектів. Я використовую його для всіх своїх демонів у виробництві. Він не оновлюється автоматично.
• Я використовую cabal-dev для створення відтворюваних складових у різних середовищах (локальних, розробників, колег-локальних). Дійсно cabal-dev незамінний, особливо для його здатності підтримувати локальні, виправлені версії бібліотек в каталозі проекту.
• Що варто, я б пішов із перезавантаженням у стилі xmonad. Чистота Хаскелла робить це тривіальним; міграція - це питання, але все одно. Я експериментував з 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 для тестування на основі властивостей
• hlint як розширена версія-Wall

Вони обидва орієнтовані на якість коду.

Як практика кодування уникайте Lazy IO. Якщо вам потрібен потоковий IO, перейдіть до однієї з бібліотек ітерацій, таких як перечислювач . Якщо ви подивитесь на Hackage, ви побачите бібліотеки на зразок http-enumerator, які використовують стиль нумератора для запитів http.

Що стосується вибору бібліотек при злому, то іноді може допомогти подивитися, скільки пакетів залежить від чогось. Легко побачити зворотні залежності пакету, який ви можете використовувати на цьому веб-сайті, який відображає злом:

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

Якщо у вашій програмі роблять жорсткі петлі, як-от веб-сервер, який обробляє багато запитів, лінь може стати проблемою у вигляді витоку місця. Часто це питання додавання анотацій суворості в потрібних місцях. Профілювання, досвід та основи читання - основні методи, які я знаю, для боротьби з подібними речами. Кращий довідник профілювання я знаю, це глава 25 з Real-World Haskell .