Functional - Instantiation VS definition

Author

Instantiation VS definition

Kiuhnm

2006-03-23, 7:03 pm

Let us consider the following code (Clean):[color=darkred]
/*
iterate :: (t->t) t -> [t]
iterate f x = [x: iterate f (f x)]

takeWhile :: (a -> Bool) [a] -> [a]
takeWhile f [] = []
takeWhile f [x:xs]
| f x = [x:takeWhile f xs]
| otherwise = []
*/
Start = takeWhile ((<> ) 0.0) (iterate (\x = x/10.0) 1.0)
<<<

I am a little surprised that this code works.
Is it because of the "laziness" of Clean?

Kiuhnm

Dinko Tenev

2006-03-23, 7:03 pm

Kiuhnm wrote:
> Let us consider the following code (Clean):
> /*
> iterate :: (t->t) t -> [t]
> iterate f x = [x: iterate f (f x)]
>
> takeWhile :: (a -> Bool) [a] -> [a]
> takeWhile f [] = []
> takeWhile f [x:xs]
> | f x = [x:takeWhile f xs]
> | otherwise = []
> */
> Start = takeWhile ((<> ) 0.0) (iterate (\x = x/10.0) 1.0)
> <<<
>
> I am a little surprised that this code works.
> Is it because of the "laziness" of Clean?

Yes.

I think you're going to love FP ;)

Cheers,

Dinko

Sponsored Links