This site is updated infrequently. For up-to-date information, please visit the new OCaml website at ocaml.org.

is there a switch or cond-statement? + type-problem
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
 Date: -- (:) From: Chris Conway Subject: Re: is there a switch or cond-statement? + type-problem
```circ ular <circularfunc <at> gmail.com> writes:

>
> how can I do like this or use cond or case?
> def power(nbr, po):
>     if po > 0:
>         return nbr * power(nbr, po-1)
>     if po < 0:
>         return 1 / power(nbr, -1 * po)
>     if po == 0:
>         return 1
>
> and ofc make it tailrecursive but that I know how.

The closest thing to "cond" or "case" in OCaml is "match", but "if-then-else" is
probably clearer. In any case, here's how you could do it with "match":

let rec powerx(n, pow, acc) =
match pow with
| 0.0 -> acc
| x when x < 0.0 -> 1.0 /. powerx(n, pow *. (-1.0), acc)
| _ ->  powerx(n, pow -. 1.0, acc *. n);;

The "x" in the second case matches any floating point number, but the "when"
clause restricts it to negatives. The "_" in the last case therefore matches
only positive numbers.

>
> also, how do I get it to be a float-function?
>
> let rec powerx(n, pow, acc) =
>     if pow > 0.0
> 	then powerx(n, pow -. 1, acc *. n)
> 	else if pow < 0.0
> 	    then 1.0 /. powerx(n, pow *. (-1), acc)
> 	    else acc ;;
>
> Characters 70-71:
>   	then powerx(n, pow -. 1, acc *. n)
>                          ^
> This expression has type int but is here used with type float
> #
>
> but it is used with float evrywhere no?

"1" is a int constant. Use "1." or "1.0" for floats.

Regards,
Chris

>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>

```