one more exercise
[lambda.git] / exercises / _assignment8.mdwn
index 8e28810..a05707a 100644 (file)
@@ -44,3 +44,8 @@ When you have it working, try
     # match eval t2 with Leaf (Num f) -> f g;;
     - : int = 13
 
     # match eval t2 with Leaf (Num f) -> f g;;
     - : int = 13
 
+3. Add in the maybe monad.  Start here:
+
+        type num = env -> int option
+
+   Show that your code handles division by zero gracefully.