Back to Questions
897
views1
comment
Mutual Recursive Definition
f#

Is it at all possible or ever be possible to define functions in terms of each other. A simple example is

1
2
3

let func1 xs = map func2 xs
let func2 ys = map func1 ys

I know this is something you wouldn't generally do but something you would probably want to do is

1
2
3
4
5
6
7
8
9

type 'a Tree = Nd of 'a * 'a Tree List
type 'a Forest = 'a Tree List

//fold trees
let foldt f g (Nd(a,ts)) = f a (foldf f g ts)

//fold forests
let foldf f g ts =  g (map (foldt f g) ts)
.

Sure, you want to use 

1

let rec ... and ...

.

1
2

let rec func1 xs = map func2 xs
and func2 ys = map func1 ys

N.B. This code will have a type error but that's a different issue.

By on 7/3/2008 9:01 PM ()

    Topic tags

    IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
    Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy     		Built with WebSharper