Type Inference

Type Inference

• Use Hindley-Milner Type inference?
• There is also a different approach described in the dragon book that uses data flow analysis. See A general scheme for the automatic inference of variable types

Is it worth it?

The main issue we have is that without function signatures including return types it is not clear that there is much benefit in performing type inference as the compiler will not have sufficient data to infer types.