Re: [Haskell-cafe] SmallCheck Depth

On Wed, Feb 11, 2015 at 8:24 AM, Richard A. O'Keefe 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