[<<][softarch][>>][..]
Wed Feb 12 05:41:59 EST 2020

Haskell Seq and testing

It works fairly well, but I can't shake the feeling that it is still
more complicated than necessary.  There are many differnent levels:

- top level exo-ghcid.hs "current test" script

- p_ predicate

- x_ ad hoc test

- e_ quickcheck quantification

- t_ TH wrapper

- test library

- Seq test wrapper

- Seq library code


It seems these are all necessary.  Maybe the problem is just that
complicated.  Maybe it is really about lifting something out of
another world.


Most of the load-beareing, non-recurring work is in:

- x_ ad hoc test 

- p_ predicate

- Seq test wrapper

- Seq library code


Those fork off reusable parts into:

- test library

- Seq library code


Trivial but annoyting bits:

- top level exo-ghcid.hs "current test" script

- e_ quickcheck quantification


So to simplify, streamline the writing _process_ of creating the
load-bearing code, and make the trival bits actually trivial.




[Reply][About]
[<<][softarch][>>][..]