Pyret: A new programming language from the creators of Racket

Re:Pyret: A new programming language from the creators of Ra... by sitkack on Saturday November 09, 2013 @02:10PM (#6702716)

Could the tests be more declarative, defining properties over a space?

[ Parent | on HN ]

Re:Pyret: A new programming language from the creators of Ra... by skrishnamurthi on Saturday November 09, 2013 @05:31PM (#6703685)

Absolutely! Pyret's test section has a "satisfies" keyword for property tests. E.g.:

  check:
    insert(a-value, a-balanced-tree) satisfies is-balanced
  end

or even

  check:
    tree-examples = [ ... ]
    values = [ ... ]
    for each2(t in tree-examples, v in values):
      insert(t, v) satisfies is-rbtree
    end
  end

[ Parent | on HN ]