[Ur] Property-based testing + Contract driven development

[Artyom Shalkhakov]

Hi Simon,

What has been done about this? I'm very interested in making testing easy
to do in Ur/Web.

On Mon, Jul 9, 2018, 2:52 PM Simon Van Casteren <
simon.van.casteren at gmail.com> wrote:

> Hey,
>
> My current urweb project is getting quite big and there's a few places
> where property-based testing would be very handy. I've not found anything
> online though that can do this for urweb. Is anybody working on this?
> Porting Quickcheck or one of its derivatives from Haskell or PureScript
> would probably be the fast way to go.
>
> Secondly, I've found contract driven development to work extremely well
> with property-based testing. Again the same question: Has anyone used it in
> urweb? I'm just looking for a handy way to specify pre/post conditions and
> somehow have the compiler strip them out of production code.
>
> Thanks for any help
>
> Simon
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20181103/f5f28a11/attachment.html>