SmartCheck for FsCheck?

[rassilon]

Has anyone thought about FsCheck generic shrinking in the context of Haskell's SmartCheck?

I'm fairly new to F# and not sure if similar things are possible.

Thoughts?

[mausch]

FWIW I've been wanting it for some time... though never badly enough to actually implement it myself :)

[kurtschelfthout]

Yeah it should be possible. Same as @mausch I've been toying with the idea and read the paper, but not axed enough to implement myself...

[moodmosaic]

This could probably be easier through a (hypothetical) Jack integration.