Difference between revisions of "Development Libraries and Tools"

From HaskellWiki
Jump to: navigation, search
(Testing Frameworks: Added dejafu; removed revision from HTF link)
(Testing Frameworks: Added link to dejafu announcement)
Line 30: Line 30:
 
* [http://documentup.com/feuerbach/tasty Tasty] - from the website: "lets you combine your unit tests, golden tests, QuickCheck/SmallCheck properties, and any other types of tests into a single test suite"
 
* [http://documentup.com/feuerbach/tasty Tasty] - from the website: "lets you combine your unit tests, golden tests, QuickCheck/SmallCheck properties, and any other types of tests into a single test suite"
 
* [https://github.com/feuerbach/smallcheck SmallCheck] - Similar to QuickCheck, but tests all values up to a particular depth rather than using a sample of randomly generated values.
 
* [https://github.com/feuerbach/smallcheck SmallCheck] - Similar to QuickCheck, but tests all values up to a particular depth rather than using a sample of randomly generated values.
* [https://hackage.haskell.org/package/dejafu dejafu] - overloadable primitives for testable, potentially non-deterministic, concurrency.
+
* [https://hackage.haskell.org/package/dejafu dejafu] - overloadable primitives for testable, potentially non-deterministic, concurrency. See also the [https://mail.haskell.org/pipermail/haskell-cafe/2015-August/121023.html announcement].
   
 
== Dynamic Analysis Tools ==
 
== Dynamic Analysis Tools ==

Revision as of 20:13, 27 August 2015


This page contains a list of useful tools and libraries used frequently in Haskell development, for things such as debugging, benchmarking, static analysis and testing.

Debuggers

  • ghci powerful and extensible debugger for GHC.
  • hugs a haskell interpreter that includes debugging facilities.

Static Analysis Tools

Tools that perform some form of analysis on your code and provide useful feedback.

  • HLint - Detect common style mistakes and redundant parts of syntax, improving code quality.
  • Haskabelle - Convert haskell programs to isabelle theories.
  • Catch - Detect common sources of runtime errors (currently difficult to compile)
  • Sourcegraph - Haskell visualizer

Also, GHC when using the "-Wall" option provides a great deal of useful feedback.

Testing Frameworks

Libraries for testing Haskell.

  • QuickCheck - powerful testing framework where test cases are generated according to specific properties.
  • HUnit - unit testing framework similar to JUnit.
  • Hspec - a testing framework similar to RSpec with support for QuickCheck and HUnit
  • test-framework integrates both Hunit and QuickCheck
  • The Haskell Test Framework, HTF integrates both Hunit and QuickCheck.
  • Tasty - from the website: "lets you combine your unit tests, golden tests, QuickCheck/SmallCheck properties, and any other types of tests into a single test suite"
  • SmallCheck - Similar to QuickCheck, but tests all values up to a particular depth rather than using a sample of randomly generated values.
  • dejafu - overloadable primitives for testable, potentially non-deterministic, concurrency. See also the announcement.

Dynamic Analysis Tools

Tools that analyse your program's run-time behavior to provide useful information, such as coverage or benchmarks.

  • hat - analyse each evaluation step of your haskell program.
  • hpc - check evaluation coverage of a haskell program, useful for determining test coverage.
  • criterion - powerful benchmarking framework.
  • threadscope - a new feature on the horizon which allows for benchmarking and visualization of multithreaded performance.
  • ghc profiling tools - a powerful suite of profiling tools exist within GHC itself

Ancillary Tools

Tools that aid the development process, such as build tools, revision control systems, and similar, while not performing any interaction with the code itself.