..., inconsist syntaxes in its command line tools's ways of taking arguments. (some parameter influence other parameters. Argument order sometimes matter, sometimes doesn't, sometimes causing unintented output and sometimes causing syntax error. Named parameters sometimes have the names optional(!). Named parameters that are predicates sometimes act by their presence along, sometimes by their ...

...checks during unboxing look like this: # let unint = function `Int n -> n | _ -> invalid_arg "unint";; val unint : [> `Int of 'a ] -> 'a = <fun> The Fibonacci function translates...: # let ( + ) n m = int(unint n + unint m);; val ( + ) : [> `Int of int ... # let ( - ) n m = int(unint n - unint m);; val ( - ) : [> `Int of int ... # let rec fib n = match unint n with | 0 | 1 as n ...

..., inconsist syntaxes in its command line tools's ways of taking arguments. (some parameter influence other parameters. Argument order sometimes matter, sometimes doesn't, sometimes causing unintented output and sometimes causing syntax error. Named parameters sometimes have the names optional(!). Named parameters that are predicates sometimes act by their presence along, sometimes by their ...