[Haskell-cafe] SmallCheck Depth

[Kim-Ee Yeoh]

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

> 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
terminology.

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