[Haskell-cafe] Testing a collision detection system

[Michail Pevnev]

I've just looked up a QuickCheck tutorial, and it looks positively
amazing. Thank you for showing me a beautiful piece of Haskell.

On Sun, Jul 29, 2018 at 02:44:16PM -0700, Brody Berg wrote:
> And you've already ruled out QuickCheck and friends?
> 
> On Sun, Jul 29, 2018 at 2:08 AM, <mpevnev at gmail.com> wrote:
> 
> > As a part of a project, I write a collision detection system. It is in
> > dire need of testing, but designing and writing tests for all possible
> > pairs of types of colliding geometry would be a pretty big effort - not
> > only I would have to calculate the fact of collision manually for
> > 20-something pairs of types of colliding geometry, I would also have to
> > do so multiple times for each pair, since each pair requires several
> > test cases.
> >
> > So the idea is to use an existing collision detection library to
> > generate (a lot of) test cases from random data. I've found two such
> > libraries for Haskell - HODE and Bullet. The problem is, Bullet bindings
> > aren't documented at all, and HODE (which isn't really documented
> > either, but at least lists available functions) is extremely ugly with
> > IO all over the place, and manual tracking of objects' lifetimes (at
> > least that's what I infer from `create :: World -> IO Body` and
> > `destroyBody :: Body -> IO ()`, because again - no documentation).
> >
> > So my question is: does anyone know a library I could use? I'll pretty
> > much settle for whatever.
> >
> > --
> > Michail.
> > _______________________________________________
> > Haskell-Cafe mailing list
> > To (un)subscribe, modify options or view archives go to:
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> > Only members subscribed via the mailman list are allowed to post.

> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.


-- 
Michail.