[Ur] Property-based testing + Contract driven development

[Simon Van Casteren]

Hey,

Unfortunately, nothing so far. All I have in my current project is unit
tests, which are just an assert coupled with a page that runs it and
generates output on a page.

Simon

On Sat, Nov 3, 2018, 8:07 AM Artyom Shalkhakov <artyom.shalkhakov at gmail.com
wrote:

> 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
>>
> _______________________________________________
> 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/59ab23ae/attachment.html>