Course material for the bobkonf course in Berlin on Feb 23rd, 2018.
Thanks to @aische for enlightening discussions.
In the course we will load 0*.hs into ghci in order and fill in the
blanks. If you want to see what the final files are supposed to look
like, you can peak into spoilers/.
You will need an editor of your choice and the terminal to run ghc in interactive mode.
Before you come to the course, you should:
stack upgrade # (just in case, this has been tested with 1.6.3., and is known to fail with 1.5.1)
export PATH=$HOME/.local/bin:$PATH # (just in case... this is where stack just installed itself)
git clone https://github.com/fisx/bob18-tutorial-hedgehog
cd bob18-tutorial-hedgehog
stack setup
stack build --fast # (in case you are in a hurry: `--fast` reduces compile time and increases run time.)
echo 'iAmReady' | stack exec -- ghci 01_Basics.hs
Give it some time, there are a lot of hidden dependencies in some of the exercises. Eventually you should see this on your terminal:
GHCi, version 8.2.2: http://www.haskell.org/ghc/ :? for help
[1 of 1] Compiling Basics ( 01_Basics.hs, interpreted )
Ok, one module loaded.
*Basics> ━━━ Basics ━━━
✓ prop_const passed 100 tests.
✓ 1 succeeded.
*Basics> Leaving GHCi.
That's it! You are ready for the tutorial.
If you are having difficulties getting this far, please check that your local repository is in sync with github, then open an issue.
- bobkonf'18 talk on state machines in quickcheck, project on github with lots of further reading
- hedgehog @ hackage
- hedgehog @ github (start with the examples directory)
- author's blogs: http://blog.nikosbaxevanis.com/, http://teh.id.au/; start with http://teh.id.au/posts/2017/04/23/property-testing-with-hedgehog/index.html
- instant error reporting on source file change: https://github.com/hspec/sensei, UnkindPartition/tasty#210