Profundidad de un árbol binario

El árbol binario

se puede representar por

El tipo de los árboles binarios se puede definir por

Definir la función

tal que profundidad x es la profundidad del árbol x. Por ejemplo,

Comprobar con QuickCheck que para todo árbol biario x, se tiene que

Soluciones

A continuación se muestran las soluciones en Haskell y las soluciones en Python.


Soluciones en Haskell


Soluciones en Python