Какие библиотеки Haskell лучше всего подходят для реализации программы? [закрыто]

Если я собираюсь запустить программу в производство, мне нужно, чтобы эта программа сделала несколько вещей, чтобы считать ее «введенной в действие», то есть запустить и поддерживать измеримым и проверяемым образом как инженерами, так и оперативным персоналом. Для моих целей действующая программа должна:

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

В мире Scala есть хорошие библиотеки для выполнения хотя бы первых трех требований. Примеры:

• Логула для вырубки.
• Метрики или Страус для сбора и отчетности по метрикам.
• Configgy или рис для настройки.

Что касается развертывания, один из подходов, принятых в мире 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 через сокет и просматривать эту статистику сборщика мусора в интерактивном режиме, но в настоящее время это непросто (требуется привязка FFI к интерфейсу «rts / Stats.h»). Вы можете подключиться к процессу, используя ThreadScopeсборщик мусора и потоковое поведение, и отслеживать их.

Аналогичные флаги доступны для инкрементного, регистрируемого профилирования времени и пространства , которое можно использовать для мониторинга (например, эти графики могут быть построены инкрементально).

hpcсобирает много статистических данных о выполнении программы по ее Tixтипу, и люди написали инструменты для регистрации выполняемого кода по временному интервалу.

Быть настраиваемым, в идеале через систему, которая позволяет обновлять настроенные свойства в запущенных программах без перезапуска указанных программ.

Для этого доступно несколько инструментов, вы можете выполнить перезагрузку состояния в стиле xmonad; или перейти на горячую замену кода через plugins* packages или hint. Некоторые из них более экспериментальны, чем другие.

Воспроизводимые развертывания

Недавно Галуа выпустил cabal-devинструмент для создания воспроизводимых сборок (т. Е. Зависимости ограничены и контролируются).

• Что касается конфигурации, я обнаружил, что ConfigFile полезен для моих проектов. Я использую его для всех своих демонов в продакшене. Он не обновляется автоматически.
• Я использую cabal-dev для создания воспроизводимых сборок в разных средах (локальных, разработчиков, локальных коллег). На самом деле cabal-dev незаменим, особенно из-за его способности поддерживать локальные исправленные версии библиотек в каталоге проекта.
• Как бы то ни было, я бы выбрал перезагрузку состояния в стиле xmonad. Чистота Haskell делает это тривиальным; миграция - это проблема, но это все равно. Я экспериментировал с hsplugins и hint для моего 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

Оба они ориентированы на качество кода.

В качестве практики кодирования избегайте ленивого ввода-вывода. Если вам нужен потоковый ввод-вывод, воспользуйтесь одной из итерационных библиотек, например enumerator . Если вы посмотрите Hackage, вы увидите библиотеки, такие как http-enumerator, которые используют стиль перечислителя для HTTP-запросов.

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

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

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