[Haskell-cafe] SmallCheck Depth

Kim-Ee Yeoh ky3 at atamo.com
Wed Feb 11 03:53:57 UTC 2015

On Wed, Feb 11, 2015 at 8:24 AM, Richard A. O'Keefe <ok at cs.otago.ac.nz>

> So we don't just have a potential ambiguity (what is "nested"?) but an
> actual
> clash with standard terminology; you are defining
>   depth tree = height tree + 1

I think Roman defines "depth" that way because it counts the total number
of constructors (i.e. tree nodes) in the path. The advantage is that it
corresponds to the number of words in the syntax: Just (Just True) would
have a "depth" of 3, etc. And you're right that it does clash with standard

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20150211/dd0b1912/attachment-0001.html>

More information about the Haskell-Cafe mailing list