search

ponylang / pony-tutorial

:horse: Tutorial for the Pony programming language
http://tutorial.ponylang.io
BSD 2-Clause "Simplified" License
310 stars 111 forks source link

Add PonyCheck to the tutorial #499

Closed SeanTAllen closed 2 years ago

SeanTAllen commented 2 years ago

Per the RFC, this content is repurposed from the PonyCheck README.

I'm trying to find a couple of good "introduction to property based testing" resources to include as well with the target audience of "people who know unit-testing and either don't know what property-based testing is or have heard of it but have never done it".

SeanTAllen commented 2 years ago

This will fail checks until the Ponyc PR is merged.

Also requires the PonyTest rename to be merged.

SeanTAllen commented 2 years ago

Shouldn't be merged until after pony 0.49.0 has been released.

SeanTAllen commented 2 years ago

@rhagenson can you do suggested changes for fixes or go ahead and edit directly and push?

rhagenson commented 2 years ago

I can, yes. Give me a couple minutes to hop back on my laptop and the changes will be in place.

SeanTAllen commented 2 years ago

I made what I could figure out.

rhagenson commented 2 years ago

I will take a look now and push any remaining changes.

rhagenson commented 2 years ago

@SeanTAllen My edits are in place now. You fixed much of what I had suggested as fixes already, but I found some inconsistencies in the URL used for the stdlib (.io versus .org), made a consistency edit to name PropertyHelper parameters the same across this page (as ph rather than h), and modified the language to avoid having to say "UnitTests" then linking to a page for singular "UnitTest" page.