Consider the following definition: fun g (a, b, c, d) = if a[b(c)] > 5 then...

 

Transcribed Image Text:

Consider the following definition: fun g (a, b, c, d) = if a[b(c)] > 5 then 4.0+ b(c) a Using Hindley-Milner type inference, determine the type of g. 6 [] b V else call def d (b, c) 5 4.0 if + b call C d b call Consider the following definition: fun g (a, b, c, d) = if a[b(c)] > 5 then 4.0+ b(c) a Using Hindley-Milner type inference, determine the type of g. 6 [] b V else call def d (b, c) 5 4.0 if + b call C d b call