News for hackers. Stuff that matters.

A comment on Static typing will not save us from broken software. Parent comment

Re:Static typing will not save us from broken software by DRMacIver on Sunday October 23, 2016 @01:51PM (#12774547)
FWIW, rantly (https://github.com/abargnesi/rantly) rather than propr seems to be the most active and usable Ruby property based testing library.

(I maintain a list here: http://hypothesis.works/articles/quickcheck-in-every-languag...)

[ Parent | on HN ]
Re:Static typing will not save us from broken software by LeonidasXIV on Monday October 24, 2016 @06:23AM (#12777733)
For OCaml I'd argue that the canonical QuickCheck is https://github.com/vincent-hugot/iTeML (aka qtest). It looks like it is a unit test tool (which it also is), but it has merged in QCheck which I have used before.
[ Parent | on HN ]
Re:Static typing will not save us from broken software by natec425 on Sunday October 23, 2016 @03:11PM (#12774926)
Ah. Thank you for the links. Also, thanks for hypothesis.
[ Parent | on HN ]