search

puffnfresh / roy

Small functional language that compiles to JavaScript.
http://roy.brianmckenna.org/
MIT License
835 stars 74 forks source link

Write a QuickCheck implementation #21

Open puffnfresh opened 12 years ago

puffnfresh commented 12 years ago

Tool for automatically creating test suites from types:

http://en.wikipedia.org/wiki/QuickCheck

seidtgeist commented 12 years ago

Reminded me of @darrint's qc.js and @wkriesing's qc.js fork. Clearly you want to write yours in roy but maybe it helps :P

puffnfresh commented 12 years ago

Definitely like them.

The point of difference is that Roy's QuickCheck could work on Roy's static types and inference to automatically create the test suites. You won't have to annotate your program with any QuickCheck-specific code.

alvivi commented 12 years ago

I wonder how to achieve automatic testing in the current state of roy. The Haskell QuickCheck implementation heavily depends on Testable and Arbitrary classes, in addition of currying to achieve automatic testing. I think that structural typing can't help here. Some background (35:00).